Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_from1/pre_poly

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]pre_poly__e1_6_1_12017-01-13 18:59 58K 
[ ]pre_poly__e1_23_1_1_1_2_12017-01-13 18:59 48K 
[ ]pre_poly__e1_23_1_1_1_2_62017-01-13 19:00 48K 
[ ]pre_poly__e1_80_1_12017-01-13 19:00 43K 
[ ]pre_poly__e1_86_1_12017-01-13 19:00 43K 
[ ]pre_poly__e1_114_1_12017-01-13 19:00 41K 
[ ]pre_poly__e1_130_1_12017-01-13 19:00 50K 
[ ]pre_poly__e1_136_1_12017-01-13 19:00 53K 
[ ]pre_poly__e2_20_1_12017-01-13 18:59 37K 
[ ]pre_poly__e2_33_1_12017-01-13 19:00 51K 
[ ]pre_poly__e2_142_1_32017-01-13 19:00 56K 
[ ]pre_poly__e2_150_1_12017-01-13 19:00 69K 
[ ]pre_poly__e3_23_1_1_1_2_62017-01-13 19:00 48K 
[ ]pre_poly__e3_712017-01-13 19:00 65K 
[ ]pre_poly__e3_732017-01-13 19:00 75K 
[ ]pre_poly__e3_742017-01-13 19:00 76K 
[ ]pre_poly__e4_1422017-01-13 19:00 72K 
[ ]pre_poly__e5_13_12017-01-13 18:59 38K 
[ ]pre_poly__e6_23_1_1_1_22017-01-13 18:59 53K 
[ ]pre_poly__e6_23_1_1_1_2_52017-01-13 19:00 48K 
[ ]pre_poly__e7_23_1_1_1_2_42017-01-13 19:00 48K 
[ ]pre_poly__e7_1072017-01-13 19:00 44K 
[ ]pre_poly__e7_112_12017-01-13 19:00 45K 
[ ]pre_poly__e8_23_1_1_1_2_52017-01-13 19:00 48K 
[ ]pre_poly__e9_23_1_2_1_22017-01-13 19:00 82K 
[ ]pre_poly__e10_23_1_2_1_2_12017-01-13 19:00 55K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80