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

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