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

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