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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]tsep_1__l1_tsep_12017-01-13 00:26 5.2K 
[ ]tsep_1__l2_tsep_12017-01-13 00:26 12K 
[ ]tsep_1__l7_tsep_12017-01-13 00:26 20K 
[ ]tsep_1__l20_tsep_12017-01-13 00:26 20K 
[ ]tsep_1__t1_tsep_12017-01-13 00:26 9.4K 
[ ]tsep_1__t2_tsep_12017-01-13 00:26 9.5K 
[ ]tsep_1__t3_tsep_12017-01-13 00:26 6.7K 
[ ]tsep_1__t4_tsep_12017-01-13 00:26 19K 
[ ]tsep_1__t5_tsep_12017-01-13 00:26 7.5K 
[ ]tsep_1__t6_tsep_12017-01-13 00:26 25K 
[ ]tsep_1__t7_tsep_12017-01-13 00:26 18K 
[ ]tsep_1__t8_tsep_12017-01-13 00:26 12K 
[ ]tsep_1__t9_tsep_12017-01-13 00:26 12K 
[ ]tsep_1__t10_tsep_12017-01-13 00:26 20K 
[ ]tsep_1__t11_tsep_12017-01-13 00:26 4.2K 
[ ]tsep_1__t12_tsep_12017-01-13 00:26 5.6K 
[ ]tsep_1__t13_tsep_12017-01-13 00:26 11K 
[ ]tsep_1__t14_tsep_12017-01-13 00:26 27K 
[ ]tsep_1__t15_tsep_12017-01-13 00:26 27K 
[ ]tsep_1__t16_tsep_12017-01-13 00:26 4.5K 
[ ]tsep_1__t17_tsep_12017-01-13 00:26 6.0K 
[ ]tsep_1__t18_tsep_12017-01-13 00:26 11K 
[ ]tsep_1__t19_tsep_12017-01-13 00:26 27K 
[ ]tsep_1__t20_tsep_12017-01-13 00:26 27K 
[ ]tsep_1__t21_tsep_12017-01-13 00:26 30K 
[ ]tsep_1__t22_tsep_12017-01-13 00:26 29K 
[ ]tsep_1__t23_tsep_12017-01-13 00:26 30K 
[ ]tsep_1__t24_tsep_12017-01-13 00:26 32K 
[ ]tsep_1__t25_tsep_12017-01-13 00:26 32K 
[ ]tsep_1__t26_tsep_12017-01-13 00:26 31K 
[ ]tsep_1__t27_tsep_12017-01-13 00:26 29K 
[ ]tsep_1__t28_tsep_12017-01-13 00:26 30K 
[ ]tsep_1__t29_tsep_12017-01-13 00:26 32K 
[ ]tsep_1__t30_tsep_12017-01-13 00:26 31K 
[ ]tsep_1__t31_tsep_12017-01-13 00:26 29K 
[ ]tsep_1__t32_tsep_12017-01-13 00:26 38K 
[ ]tsep_1__t33_tsep_12017-01-13 00:26 37K 
[ ]tsep_1__t34_tsep_12017-01-13 00:26 6.1K 
[ ]tsep_1__t35_tsep_12017-01-13 00:26 9.9K 
[ ]tsep_1__t36_tsep_12017-01-13 00:26 8.4K 
[ ]tsep_1__t37_tsep_12017-01-13 00:26 7.4K 
[ ]tsep_1__t38_tsep_12017-01-13 00:26 24K 
[ ]tsep_1__t39_tsep_12017-01-13 00:26 5.3K 
[ ]tsep_1__t40_tsep_12017-01-13 00:26 5.3K 
[ ]tsep_1__t41_tsep_12017-01-13 00:26 6.3K 
[ ]tsep_1__t42_tsep_12017-01-13 00:26 6.4K 
[ ]tsep_1__t43_tsep_12017-01-13 00:26 20K 
[ ]tsep_1__t44_tsep_12017-01-13 00:26 8.5K 
[ ]tsep_1__t45_tsep_12017-01-13 00:26 20K 
[ ]tsep_1__t46_tsep_12017-01-13 00:26 5.2K 
[ ]tsep_1__t47_tsep_12017-01-13 00:26 18K 
[ ]tsep_1__t48_tsep_12017-01-13 00:26 16K 
[ ]tsep_1__t49_tsep_12017-01-13 00:26 9.1K 
[ ]tsep_1__t50_tsep_12017-01-13 00:26 21K 
[ ]tsep_1__t51_tsep_12017-01-13 00:26 18K 
[ ]tsep_1__t52_tsep_12017-01-13 00:26 10K 
[ ]tsep_1__t53_tsep_12017-01-13 00:26 9.9K 
[ ]tsep_1__t54_tsep_12017-01-13 00:26 34K 
[ ]tsep_1__t55_tsep_12017-01-13 00:26 34K 
[ ]tsep_1__t56_tsep_12017-01-13 00:26 28K 
[ ]tsep_1__t57_tsep_12017-01-13 00:26 29K 
[ ]tsep_1__t58_tsep_12017-01-13 00:26 43K 
[ ]tsep_1__t59_tsep_12017-01-13 00:26 34K 
[ ]tsep_1__t60_tsep_12017-01-13 00:26 28K 
[ ]tsep_1__t61_tsep_12017-01-13 00:26 29K 
[ ]tsep_1__t62_tsep_12017-01-13 00:26 32K 
[ ]tsep_1__t63_tsep_12017-01-13 00:26 22K 
[ ]tsep_1__t64_tsep_12017-01-13 00:26 24K 
[ ]tsep_1__t65_tsep_12017-01-13 00:26 38K 
[ ]tsep_1__t66_tsep_12017-01-13 00:26 35K 
[ ]tsep_1__t67_tsep_12017-01-13 00:26 24K 
[ ]tsep_1__t68_tsep_12017-01-13 00:26 38K 
[ ]tsep_1__t69_tsep_12017-01-13 00:26 35K 
[ ]tsep_1__t70_tsep_12017-01-13 00:26 33K 
[ ]tsep_1__t71_tsep_12017-01-13 00:26 23K 
[ ]tsep_1__t72_tsep_12017-01-13 00:26 28K 
[ ]tsep_1__t73_tsep_12017-01-13 00:26 35K 
[ ]tsep_1__t74_tsep_12017-01-13 00:26 32K 
[ ]tsep_1__t75_tsep_12017-01-13 00:26 43K 
[ ]tsep_1__t76_tsep_12017-01-13 00:26 32K 
[ ]tsep_1__t77_tsep_12017-01-13 00:26 43K 
[ ]tsep_1__t78_tsep_12017-01-13 00:26 24K 
[ ]tsep_1__t79_tsep_12017-01-13 00:26 22K 
[ ]tsep_1__t80_tsep_12017-01-13 00:26 22K 
[ ]tsep_1__t81_tsep_12017-01-13 00:26 22K 
[ ]tsep_1__t82_tsep_12017-01-13 00:26 33K 
[ ]tsep_1__t83_tsep_12017-01-13 00:26 34K 
[ ]tsep_1__t84_tsep_12017-01-13 00:26 32K 
[ ]tsep_1__t85_tsep_12017-01-13 00:26 33K 
[ ]tsep_1__t86_tsep_12017-01-13 00:26 58K 
[ ]tsep_1__t87_tsep_12017-01-13 00:26 49K 
[ ]tsep_1__t88_tsep_12017-01-13 00:26 40K 
[ ]tsep_1__t89_tsep_12017-01-13 00:26 58K 
[ ]tsep_1__t90_tsep_12017-01-13 00:26 49K 
[ ]tsep_1__t91_tsep_12017-01-13 00:26 40K 
[ ]tsep_1__t92_tsep_12017-01-13 00:26 46K 
[ ]tsep_1__t93_tsep_12017-01-13 00:26 7.5K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80