Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls/diff_3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]diff_3__t1_diff_32017-01-13 00:36 98K 
[ ]diff_3__t2_diff_32017-01-13 00:36 89K 
[ ]diff_3__t3_diff_32017-01-13 00:36 154K 
[ ]diff_3__t4_diff_32017-01-13 00:36 77K 
[ ]diff_3__t5_diff_32017-01-13 00:36 77K 
[ ]diff_3__t6_diff_32017-01-13 00:36 80K 
[ ]diff_3__t7_diff_32017-01-13 00:36 58K 
[ ]diff_3__t8_diff_32017-01-13 00:36 77K 
[ ]diff_3__t9_diff_32017-01-13 00:36 77K 
[ ]diff_3__t10_diff_32017-01-13 00:36 80K 
[ ]diff_3__t11_diff_32017-01-13 00:36 63K 
[ ]diff_3__t12_diff_32017-01-13 00:36 71K 
[ ]diff_3__t13_diff_32017-01-13 00:36 77K 
[ ]diff_3__t14_diff_32017-01-13 00:36 77K 
[ ]diff_3__t15_diff_32017-01-13 00:36 80K 
[ ]diff_3__t16_diff_32017-01-13 00:36 88K 
[ ]diff_3__t17_diff_32017-01-13 00:36 97K 
[ ]diff_3__t18_diff_32017-01-13 00:36 111K 
[ ]diff_3__t19_diff_32017-01-13 00:36 112K 
[ ]diff_3__t20_diff_32017-01-13 00:36 96K 
[ ]diff_3__t21_diff_32017-01-13 00:36 98K 
[ ]diff_3__t22_diff_32017-01-13 00:36 151K 
[ ]diff_3__t23_diff_32017-01-13 00:36 153K 
[ ]diff_3__t24_diff_32017-01-13 00:36 314K 
[ ]diff_3__t25_diff_32017-01-13 00:36 96K 
[ ]diff_3__t26_diff_32017-01-13 00:36 107K 
[ ]diff_3__t27_diff_32017-01-13 00:36 104K 
[ ]diff_3__t28_diff_32017-01-13 00:36 107K 
[ ]diff_3__t29_diff_32017-01-13 00:36 104K 
[ ]diff_3__t30_diff_32017-01-13 00:36 104K 
[ ]diff_3__t31_diff_32017-01-13 00:36 94K 
[ ]diff_3__t32_diff_32017-01-13 00:36 89K 
[ ]diff_3__t33_diff_32017-01-13 00:36 297K 
[ ]diff_3__t34_diff_32017-01-13 00:36 120K 
[ ]diff_3__t35_diff_32017-01-13 00:36 212K 
[ ]diff_3__t36_diff_32017-01-13 00:36 96K 
[ ]diff_3__t37_diff_32017-01-13 00:36 101K 
[ ]diff_3__t38_diff_32017-01-13 00:36 311K 
[ ]diff_3__t39_diff_32017-01-13 00:36 69K 
[ ]diff_3__t40_diff_32017-01-13 00:36 68K 
[ ]diff_3__t41_diff_32017-01-13 00:37 99K 
[ ]diff_3__t42_diff_32017-01-13 00:37 85K 
[ ]diff_3__t43_diff_32017-01-13 00:37 87K 
[ ]diff_3__t44_diff_32017-01-13 00:37 89K 
[ ]diff_3__t45_diff_32017-01-13 00:37 96K 
[ ]diff_3__t46_diff_32017-01-13 00:37 115K 
[ ]diff_3__t47_diff_32017-01-13 00:37 301K 
[ ]diff_3__t48_diff_32017-01-13 00:37 88K 
[ ]diff_3__t49_diff_32017-01-13 00:37 92K 
[ ]diff_3__t50_diff_32017-01-13 00:37 99K 
[ ]diff_3__t51_diff_32017-01-13 00:37 98K 
[ ]diff_3__t52_diff_32017-01-13 00:37 241K 
[ ]diff_3__t53_diff_32017-01-13 00:37 553K 
[ ]diff_3__t54_diff_32017-01-13 00:37 274K 
[ ]diff_3__t55_diff_32017-01-13 00:37 274K 
[ ]diff_3__t56_diff_32017-01-13 00:37 276K 
[ ]diff_3__t57_diff_32017-01-13 00:37 785K 
[ ]diff_3__t58_diff_32017-01-13 00:37 506K 
[ ]diff_3__t59_diff_32017-01-13 00:37 506K 
[ ]diff_3__t60_diff_32017-01-13 00:37 507K 
[ ]diff_3__t61_diff_32017-01-13 00:37 293K 
[ ]diff_3__t62_diff_32017-01-13 00:37 306K 
[ ]diff_3__t63_diff_32017-01-13 00:37 306K 
[ ]diff_3__t64_diff_32017-01-13 00:37 307K 
[ ]diff_3__t65_diff_32017-01-13 00:37 141K 
[ ]diff_3__t66_diff_32017-01-13 00:37 153K 
[ ]diff_3__t67_diff_32017-01-13 00:37 153K 
[ ]diff_3__t68_diff_32017-01-13 00:37 155K 
[ ]diff_3__t69_diff_32017-01-13 00:37 692K 
[ ]diff_3__t70_diff_32017-01-13 00:37 665K 
[ ]diff_3__t71_diff_32017-01-13 00:37 665K 
[ ]diff_3__t72_diff_32017-01-13 00:37 666K 
[ ]diff_3__t73_diff_32017-01-13 00:37 653K 
[ ]diff_3__t74_diff_32017-01-13 00:37 665K 
[ ]diff_3__t75_diff_32017-01-13 00:37 665K 
[ ]diff_3__t76_diff_32017-01-13 00:37 666K 
[ ]diff_3__t77_diff_32017-01-13 00:37 123K 
[ ]diff_3__t78_diff_32017-01-13 00:37 136K 
[ ]diff_3__t79_diff_32017-01-13 00:37 136K 
[ ]diff_3__t80_diff_32017-01-13 00:37 191K 
[ ]diff_3__t81_diff_32017-01-13 00:37 122K 
[ ]diff_3__t82_diff_32017-01-13 00:37 135K 
[ ]diff_3__t83_diff_32017-01-13 00:37 134K 
[ ]diff_3__t84_diff_32017-01-13 00:37 190K 
[ ]diff_3__t85_diff_32017-01-13 00:37 123K 
[ ]diff_3__t86_diff_32017-01-13 00:37 136K 
[ ]diff_3__t87_diff_32017-01-13 00:37 136K 
[ ]diff_3__t88_diff_32017-01-13 00:37 191K 
[ ]diff_3__t89_diff_32017-01-13 00:37 122K 
[ ]diff_3__t90_diff_32017-01-13 00:37 135K 
[ ]diff_3__t91_diff_32017-01-13 00:37 134K 
[ ]diff_3__t92_diff_32017-01-13 00:37 190K 
[ ]diff_3__t93_diff_32017-01-13 00:37 126K 
[ ]diff_3__t94_diff_32017-01-13 00:37 192K 
[ ]diff_3__t95_diff_32017-01-13 00:37 260K 
[ ]diff_3__t96_diff_32017-01-13 00:37 261K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80