Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_from/pre_poly

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]pre_poly__e1_6_1_12017-01-13 00:08 94K 
[ ]pre_poly__e1_23_1_1_1_2_12017-01-13 00:08 78K 
[ ]pre_poly__e1_23_1_1_1_2_62017-01-13 00:08 78K 
[ ]pre_poly__e1_80_1_12017-01-13 00:08 71K 
[ ]pre_poly__e1_86_1_12017-01-13 00:08 70K 
[ ]pre_poly__e1_114_1_12017-01-13 00:08 68K 
[ ]pre_poly__e1_130_1_12017-01-13 00:08 82K 
[ ]pre_poly__e1_136_1_12017-01-13 00:08 87K 
[ ]pre_poly__e2_20_1_12017-01-13 00:08 61K 
[ ]pre_poly__e2_33_1_12017-01-13 00:08 83K 
[ ]pre_poly__e2_142_1_32017-01-13 00:08 91K 
[ ]pre_poly__e2_150_1_12017-01-13 00:08 112K 
[ ]pre_poly__e3_23_1_1_1_2_62017-01-13 00:08 78K 
[ ]pre_poly__e3_712017-01-13 00:08 105K 
[ ]pre_poly__e3_732017-01-13 00:08 120K 
[ ]pre_poly__e3_742017-01-13 00:08 120K 
[ ]pre_poly__e4_1422017-01-13 00:08 115K 
[ ]pre_poly__e5_13_12017-01-13 00:08 62K 
[ ]pre_poly__e6_23_1_1_1_22017-01-13 00:08 87K 
[ ]pre_poly__e6_23_1_1_1_2_52017-01-13 00:08 78K 
[ ]pre_poly__e7_23_1_1_1_2_42017-01-13 00:08 78K 
[ ]pre_poly__e7_1072017-01-13 00:08 73K 
[ ]pre_poly__e7_112_12017-01-13 00:08 74K 
[ ]pre_poly__e8_23_1_1_1_2_52017-01-13 00:08 78K 
[ ]pre_poly__e9_23_1_2_1_22017-01-13 00:08 128K 
[ ]pre_poly__e10_23_1_2_1_2_12017-01-13 00:08 90K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80