Index of /~mptp/7.13.01_4.181.1147/mptp/ilp1/redefinition_k5_numbers

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]aofa_000__1265_53.min1.thm1.tptp2017-02-06 16:58 284  
[ ]aofa_000__3153_53.min1.thm1.tptp2017-02-06 16:58 274  
[ ]aofa_000__3254_52.min1.thm1.tptp2017-02-06 16:58 269  
[ ]aofa_000__3310_52.min1.thm1.tptp2017-02-06 16:58 270  
[ ]aofa_000__3411_52.min1.thm1.tptp2017-02-06 16:58 270  
[ ]aofa_000__3496_52.min1.thm1.tptp2017-02-06 16:58 270  
[ ]arytm_3__839_64.min1.thm1.tptp2017-02-06 16:58 363  
[ ]bcialg_2__298_30.min1.thm1.tptp2017-02-06 16:58 1.5K 
[ ]bcialg_2__326_30.min1.thm1.tptp2017-02-06 16:58 1.5K 
[ ]bcialg_2__353_30.min1.thm1.tptp2017-02-06 16:58 1.5K 
[ ]bcialg_2__383_30.min1.thm1.tptp2017-02-06 16:58 1.5K 
[ ]bcialg_2__414_30.min1.thm1.tptp2017-02-06 16:58 1.7K 
[ ]bcialg_2__446_30.min1.thm1.tptp2017-02-06 16:58 1.5K 
[ ]bcialg_2__478_30.min1.thm1.tptp2017-02-06 16:58 2.0K 
[ ]bcialg_2__516_30.min1.thm1.tptp2017-02-06 16:58 1.8K 
[ ]bcialg_2__546_30.min1.thm1.tptp2017-02-06 16:58 1.2K 
[ ]card_4__520_42.min1.thm1.tptp2017-02-06 16:58 213  
[ ]fomodel0__1341_23.min1.thm1.tptp2017-02-06 16:58 253  
[ ]graph_2__281_14.min1.thm1.tptp2017-02-06 16:58 460  
[ ]groeb_1__2183_42.min1.thm1.tptp2017-02-06 16:58 202  
[ ]matrix_1__440_16.min1.thm1.tptp2017-02-06 16:58 294  
[ ]matrix_7__985_43.min1.thm1.tptp2017-02-06 16:58 221  
[ ]matrix_7__1553_44.min1.thm1.tptp2017-02-06 16:58 221  
[ ]nat_1__636_15.min1.thm1.tptp2017-02-06 16:58 238  
[ ]numbers__74_14.min1.thm1.tptp2017-02-06 16:58 229  
[ ]ramsey_1__717_13.min1.thm1.tptp2017-02-06 16:58 539  
[ ]ramsey_1__814_15.min1.thm1.tptp2017-02-06 16:58 543  
[ ]zf_fund1__216_9.min1.thm1.tptp2017-02-06 16:58 245  
[ ]zf_fund1__218_10.min1.thm1.tptp2017-02-06 16:58 245  
[ ]zf_fund1__2382_70.min1.thm1.tptp2017-02-06 16:58 1.1K 
[ ]zf_fund1__2397_50.min1.thm1.tptp2017-02-06 16:58 1.5K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80