Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tls/diff_2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]diff_2__t1_diff_22017-01-12 22:14 51K 
[ ]diff_2__t2_diff_22017-01-12 22:14 76K 
[ ]diff_2__t3_diff_22017-01-12 22:14 51K 
[ ]diff_2__t4_diff_22017-01-12 22:14 197K 
[ ]diff_2__t5_diff_22017-01-12 22:14 41K 
[ ]diff_2__t6_diff_22017-01-12 22:14 44K 
[ ]diff_2__t7_diff_22017-01-12 22:14 72K 
[ ]diff_2__t8_diff_22017-01-12 22:14 42K 
[ ]diff_2__t9_diff_22017-01-12 22:14 45K 
[ ]diff_2__t10_diff_22017-01-12 22:14 73K 
[ ]diff_2__t11_diff_22017-01-12 22:14 43K 
[ ]diff_2__t12_diff_22017-01-12 22:14 46K 
[ ]diff_2__t13_diff_22017-01-12 22:14 75K 
[ ]diff_2__t14_diff_22017-01-12 22:14 45K 
[ ]diff_2__t15_diff_22017-01-12 22:14 48K 
[ ]diff_2__t16_diff_22017-01-12 22:14 76K 
[ ]diff_2__t17_diff_22017-01-12 22:14 61K 
[ ]diff_2__t18_diff_22017-01-12 22:14 63K 
[ ]diff_2__t19_diff_22017-01-12 22:14 63K 
[ ]diff_2__t20_diff_22017-01-12 22:14 39K 
[ ]diff_2__t21_diff_22017-01-12 22:14 58K 
[ ]diff_2__t22_diff_22017-01-12 22:14 38K 
[ ]diff_2__t23_diff_22017-01-12 22:14 41K 
[ ]diff_2__t24_diff_22017-01-12 22:14 47K 
[ ]diff_2__t25_diff_22017-01-12 22:14 52K 
[ ]diff_2__t26_diff_22017-01-12 22:14 119K 
[ ]diff_2__t27_diff_22017-01-12 22:14 58K 
[ ]diff_2__t28_diff_22017-01-12 22:14 60K 
[ ]diff_2__t29_diff_22017-01-12 22:14 46K 
[ ]diff_2__t30_diff_22017-01-12 22:14 49K 
[ ]diff_2__t31_diff_22017-01-12 22:14 64K 
[ ]diff_2__t32_diff_22017-01-12 22:14 64K 
[ ]diff_2__t33_diff_22017-01-12 22:14 187K 
[ ]diff_2__t34_diff_22017-01-12 22:14 59K 
[ ]diff_2__t35_diff_22017-01-12 22:14 61K 
[ ]diff_2__t36_diff_22017-01-12 22:14 62K 
[ ]diff_2__t37_diff_22017-01-12 22:14 64K 
[ ]diff_2__t38_diff_22017-01-12 22:14 43K 
[ ]diff_2__t39_diff_22017-01-12 22:14 42K 
[ ]diff_2__t40_diff_22017-01-12 22:14 188K 
[ ]diff_2__t41_diff_22017-01-12 22:14 50K 
[ ]diff_2__t42_diff_22017-01-12 22:14 66K 
[ ]diff_2__t43_diff_22017-01-12 22:14 119K 
[ ]diff_2__t44_diff_22017-01-12 22:14 189K 
[ ]diff_2__t45_diff_22017-01-12 22:14 50K 
[ ]diff_2__t46_diff_22017-01-12 22:14 188K 
[ ]diff_2__t47_diff_22017-01-12 22:14 188K 
[ ]diff_2__t48_diff_22017-01-12 22:14 189K 
[ ]diff_2__t49_diff_22017-01-12 22:14 68K 
[ ]diff_2__t50_diff_22017-01-12 22:14 129K 
[ ]diff_2__t51_diff_22017-01-12 22:14 129K 
[ ]diff_2__t52_diff_22017-01-12 22:14 130K 
[ ]diff_2__t53_diff_22017-01-12 22:14 67K 
[ ]diff_2__t54_diff_22017-01-12 22:14 129K 
[ ]diff_2__t55_diff_22017-01-12 22:14 129K 
[ ]diff_2__t56_diff_22017-01-12 22:14 129K 
[ ]diff_2__t57_diff_22017-01-12 22:14 66K 
[ ]diff_2__t58_diff_22017-01-12 22:14 128K 
[ ]diff_2__t59_diff_22017-01-12 22:14 127K 
[ ]diff_2__t60_diff_22017-01-12 22:14 128K 
[ ]diff_2__t61_diff_22017-01-12 22:14 191K 
[ ]diff_2__t62_diff_22017-01-12 22:14 362K 
[ ]diff_2__t63_diff_22017-01-12 22:14 236K 
[ ]diff_2__t64_diff_22017-01-12 22:14 236K 
[ ]diff_2__t65_diff_22017-01-12 22:14 190K 
[ ]diff_2__t66_diff_22017-01-12 22:14 361K 
[ ]diff_2__t67_diff_22017-01-12 22:14 498K 
[ ]diff_2__t68_diff_22017-01-12 22:14 398K 
[ ]diff_2__t69_diff_22017-01-12 22:14 54K 
[ ]diff_2__t70_diff_22017-01-12 22:14 68K 
[ ]diff_2__t71_diff_22017-01-12 22:14 63K 
[ ]diff_2__t72_diff_22017-01-12 22:14 125K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80