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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]bor_cant__e1_4_1_12017-01-05 21:21 70K 
[ ]bor_cant__e1_7_1_12017-01-05 21:21 73K 
[ ]bor_cant__e1_8_1_12017-01-05 21:21 71K 
[ ]bor_cant__e1_9_1_12017-01-05 21:21 69K 
[ ]bor_cant__e1_10_1_12017-01-05 21:21 74K 
[ ]bor_cant__e1_28_1_12017-01-05 21:21 95K 
[ ]bor_cant__e2_19_1_1_1_12017-01-05 21:21 83K 
[ ]bor_cant__e2_22_1_1_1_12017-01-05 21:21 83K 
[ ]bor_cant__e3_16_42017-01-05 21:21 134K 
[ ]bor_cant__e3_16_4_2_2_1_4_42017-01-05 21:21 98K 
[ ]bor_cant__e3_16_4_2_2_1_52017-01-05 21:21 110K 
[ ]bor_cant__e4_2_4_12017-01-05 21:21 59K 
[ ]bor_cant__e4_14_1_12017-01-05 21:21 99K 
[ ]bor_cant__e4_20_1_12017-01-05 21:21 75K 
[ ]bor_cant__e4_32_3_1_2_1_2_1_1_22017-01-05 21:21 96K 
[ ]bor_cant__e5_23_1_12017-01-05 21:21 75K 
[ ]bor_cant__e6_2_12017-01-05 21:21 59K 
[ ]bor_cant__e6_52017-01-05 21:21 101K 
[ ]bor_cant__e7_262017-01-05 21:21 102K 
[ ]bor_cant__e7_32_3_1_2_2_1_2_1_1_12017-01-05 21:21 137K 
[ ]bor_cant__e8_3_1_1_12017-01-05 21:21 85K 
[ ]bor_cant__e8_3_1_3_1_1_1_1_12017-01-05 21:21 91K 
[ ]bor_cant__e8_29_22017-01-05 21:21 106K 
[ ]bor_cant__e9_352017-01-05 21:21 110K 
[ ]bor_cant__e11_3_1_3_1_1_1_1_1_2_1_2_12017-01-05 21:21 95K 
[ ]bor_cant__e13_16_12017-01-05 21:21 104K 
[ ]bor_cant__e14_62017-01-05 21:21 99K 
[ ]bor_cant__e17_14_12017-01-05 21:21 114K 
[ ]bor_cant__e23_16_4_2_2_12017-01-05 21:21 103K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80