Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/pdiff_7

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]pdiff_7__l1_pdiff_72017-01-05 20:54 72K 
[ ]pdiff_7__l2_pdiff_72016-03-08 13:08 73K 
[ ]pdiff_7__l5_pdiff_72017-01-05 20:54 86K 
[ ]pdiff_7__l6_pdiff_72017-01-05 20:54 89K 
[ ]pdiff_7__l12_pdiff_72017-01-05 20:54 77K 
[ ]pdiff_7__l14_pdiff_72017-01-05 20:54 52K 
[ ]pdiff_7__l15_pdiff_72017-01-05 20:54 77K 
[ ]pdiff_7__l35_pdiff_72017-01-05 20:54 114K 
[ ]pdiff_7__t1_pdiff_72017-01-05 20:54 107K 
[ ]pdiff_7__t2_pdiff_72017-01-05 20:54 79K 
[ ]pdiff_7__t3_pdiff_72017-01-05 20:54 69K 
[ ]pdiff_7__t4_pdiff_72017-01-05 20:54 74K 
[ ]pdiff_7__t5_pdiff_72017-01-05 20:54 160K 
[ ]pdiff_7__t6_pdiff_72017-01-05 20:54 147K 
[ ]pdiff_7__t7_pdiff_72017-01-05 20:54 132K 
[ ]pdiff_7__t8_pdiff_72016-03-08 13:08 147K 
[ ]pdiff_7__t9_pdiff_72017-01-05 20:54 105K 
[ ]pdiff_7__t10_pdiff_72017-01-05 20:54 92K 
[ ]pdiff_7__t11_pdiff_72017-01-05 20:54 76K 
[ ]pdiff_7__t12_pdiff_72017-01-05 20:54 144K 
[ ]pdiff_7__t13_pdiff_72017-01-05 20:54 92K 
[ ]pdiff_7__t14_pdiff_72017-01-05 20:54 115K 
[ ]pdiff_7__t15_pdiff_72017-01-05 20:54 88K 
[ ]pdiff_7__t16_pdiff_72017-01-05 20:54 111K 
[ ]pdiff_7__t17_pdiff_72017-01-05 20:54 78K 
[ ]pdiff_7__t18_pdiff_72017-01-05 20:54 99K 
[ ]pdiff_7__t19_pdiff_72017-01-05 20:54 110K 
[ ]pdiff_7__t20_pdiff_72017-01-05 20:54 135K 
[ ]pdiff_7__t21_pdiff_72017-01-05 20:54 189K 
[ ]pdiff_7__t22_pdiff_72017-01-05 20:54 138K 
[ ]pdiff_7__t23_pdiff_72017-01-05 20:54 167K 
[ ]pdiff_7__t24_pdiff_72017-01-05 20:54 155K 
[ ]pdiff_7__t25_pdiff_72017-01-05 20:54 154K 
[ ]pdiff_7__t26_pdiff_72017-01-05 20:54 166K 
[ ]pdiff_7__t27_pdiff_72017-01-05 20:54 126K 
[ ]pdiff_7__t28_pdiff_72017-01-05 20:54 192K 
[ ]pdiff_7__t29_pdiff_72017-01-05 20:54 93K 
[ ]pdiff_7__t30_pdiff_72017-01-05 20:54 76K 
[ ]pdiff_7__t31_pdiff_72017-01-05 20:54 143K 
[ ]pdiff_7__t32_pdiff_72017-01-05 20:54 56K 
[ ]pdiff_7__t33_pdiff_72017-01-05 20:54 92K 
[ ]pdiff_7__t34_pdiff_72017-01-05 20:54 89K 
[ ]pdiff_7__t35_pdiff_72017-01-05 20:54 68K 
[ ]pdiff_7__t36_pdiff_72017-01-05 20:54 140K 
[ ]pdiff_7__t37_pdiff_72017-01-05 20:54 92K 
[ ]pdiff_7__t38_pdiff_72017-01-05 20:54 139K 
[ ]pdiff_7__t39_pdiff_72017-01-05 20:54 71K 
[ ]pdiff_7__t40_pdiff_72017-01-05 20:54 118K 
[ ]pdiff_7__t41_pdiff_72017-01-05 20:54 81K 
[ ]pdiff_7__t42_pdiff_72017-01-05 20:54 141K 
[ ]pdiff_7__t43_pdiff_72017-01-05 20:54 109K 
[ ]pdiff_7__t44_pdiff_72017-01-05 20:54 200K 
[ ]pdiff_7__t45_pdiff_72017-01-05 20:54 149K 
[ ]pdiff_7__t46_pdiff_72017-01-05 20:54 145K 
[ ]pdiff_7__t47_pdiff_72017-01-05 20:54 335K 
[ ]pdiff_7__t48_pdiff_72017-01-05 20:54 228K 
[ ]pdiff_7__t49_pdiff_72017-01-05 20:54 270K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80