Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls1/finseq_6

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]finseq_6__l1_finseq_62017-01-13 17:55 64K 
[ ]finseq_6__l2_finseq_62017-01-13 17:55 63K 
[ ]finseq_6__l82_finseq_62017-01-13 17:55 116K 
[ ]finseq_6__t1_finseq_62017-01-13 17:54 65K 
[ ]finseq_6__t2_finseq_62017-01-13 17:54 52K 
[ ]finseq_6__t3_finseq_62017-01-13 17:54 69K 
[ ]finseq_6__t4_finseq_62017-01-13 17:54 70K 
[ ]finseq_6__t5_finseq_62017-01-13 17:54 70K 
[ ]finseq_6__t6_finseq_62017-01-13 17:54 67K 
[ ]finseq_6__t7_finseq_62017-01-13 17:54 104K 
[ ]finseq_6__t8_finseq_62017-01-13 17:54 113K 
[ ]finseq_6__t9_finseq_62017-01-13 17:54 104K 
[ ]finseq_6__t10_finseq_62017-01-13 17:54 58K 
[ ]finseq_6__t11_finseq_62017-01-13 17:54 59K 
[ ]finseq_6__t12_finseq_62017-01-13 17:54 106K 
[ ]finseq_6__t13_finseq_62017-01-13 17:54 86K 
[ ]finseq_6__t14_finseq_62017-01-13 17:54 115K 
[ ]finseq_6__t15_finseq_62017-01-13 17:54 92K 
[ ]finseq_6__t16_finseq_62017-01-13 17:54 57K 
[ ]finseq_6__t17_finseq_62017-01-13 17:54 53K 
[ ]finseq_6__t18_finseq_62017-01-13 17:54 57K 
[ ]finseq_6__t19_finseq_62017-01-13 17:54 52K 
[ ]finseq_6__t20_finseq_62017-01-13 17:54 63K 
[ ]finseq_6__t21_finseq_62017-01-13 17:54 53K 
[ ]finseq_6__t22_finseq_62017-01-13 17:54 65K 
[ ]finseq_6__t23_finseq_62017-01-13 17:54 63K 
[ ]finseq_6__t24_finseq_62017-01-13 17:54 51K 
[ ]finseq_6__t25_finseq_62017-01-13 17:54 40K 
[ ]finseq_6__t26_finseq_62017-01-13 17:54 151K 
[ ]finseq_6__t27_finseq_62017-01-13 17:54 225K 
[ ]finseq_6__t28_finseq_62017-01-13 17:54 165K 
[ ]finseq_6__t29_finseq_62017-01-13 17:54 96K 
[ ]finseq_6__t30_finseq_62017-01-13 17:54 125K 
[ ]finseq_6__t31_finseq_62017-01-13 17:54 124K 
[ ]finseq_6__t32_finseq_62017-01-13 17:54 47K 
[ ]finseq_6__t33_finseq_62017-01-13 17:54 47K 
[ ]finseq_6__t34_finseq_62017-01-13 17:54 47K 
[ ]finseq_6__t35_finseq_62017-01-13 17:54 53K 
[ ]finseq_6__t36_finseq_62017-01-13 17:54 84K 
[ ]finseq_6__t37_finseq_62017-01-13 17:54 94K 
[ ]finseq_6__t38_finseq_62017-01-13 17:54 113K 
[ ]finseq_6__t39_finseq_62017-01-13 17:54 48K 
[ ]finseq_6__t40_finseq_62017-01-13 17:54 63K 
[ ]finseq_6__t41_finseq_62017-01-13 17:54 63K 
[ ]finseq_6__t42_finseq_62017-01-13 17:54 55K 
[ ]finseq_6__t43_finseq_62017-01-13 17:54 61K 
[ ]finseq_6__t44_finseq_62017-01-13 17:54 66K 
[ ]finseq_6__t45_finseq_62017-01-13 17:54 74K 
[ ]finseq_6__t46_finseq_62017-01-13 17:54 67K 
[ ]finseq_6__t47_finseq_62017-01-13 17:54 66K 
[ ]finseq_6__t48_finseq_62017-01-13 17:54 61K 
[ ]finseq_6__t49_finseq_62017-01-13 17:54 69K 
[ ]finseq_6__t50_finseq_62017-01-13 17:54 72K 
[ ]finseq_6__t51_finseq_62017-01-13 17:54 68K 
[ ]finseq_6__t52_finseq_62017-01-13 17:54 68K 
[ ]finseq_6__t53_finseq_62017-01-13 17:54 64K 
[ ]finseq_6__t54_finseq_62017-01-13 17:54 72K 
[ ]finseq_6__t55_finseq_62017-01-13 17:54 64K 
[ ]finseq_6__t56_finseq_62017-01-13 17:54 117K 
[ ]finseq_6__t57_finseq_62017-01-13 17:54 107K 
[ ]finseq_6__t58_finseq_62017-01-13 17:54 114K 
[ ]finseq_6__t59_finseq_62017-01-13 17:54 104K 
[ ]finseq_6__t60_finseq_62017-01-13 17:54 58K 
[ ]finseq_6__t61_finseq_62017-01-13 17:54 69K 
[ ]finseq_6__t62_finseq_62017-01-13 17:54 72K 
[ ]finseq_6__t63_finseq_62017-01-13 17:54 78K 
[ ]finseq_6__t64_finseq_62017-01-13 17:54 64K 
[ ]finseq_6__t65_finseq_62017-01-13 17:54 65K 
[ ]finseq_6__t66_finseq_62017-01-13 17:54 63K 
[ ]finseq_6__t67_finseq_62017-01-13 17:54 66K 
[ ]finseq_6__t68_finseq_62017-01-13 17:54 63K 
[ ]finseq_6__t69_finseq_62017-01-13 17:54 66K 
[ ]finseq_6__t70_finseq_62017-01-13 17:54 65K 
[ ]finseq_6__t71_finseq_62017-01-13 17:54 68K 
[ ]finseq_6__t72_finseq_62017-01-13 17:54 66K 
[ ]finseq_6__t73_finseq_62017-01-13 17:54 59K 
[ ]finseq_6__t74_finseq_62017-01-13 17:54 52K 
[ ]finseq_6__t75_finseq_62017-01-13 17:54 68K 
[ ]finseq_6__t76_finseq_62017-01-13 17:54 67K 
[ ]finseq_6__t77_finseq_62017-01-13 17:54 63K 
[ ]finseq_6__t78_finseq_62017-01-13 17:54 71K 
[ ]finseq_6__t79_finseq_62017-01-13 17:54 48K 
[ ]finseq_6__t80_finseq_62017-01-13 17:54 70K 
[ ]finseq_6__t81_finseq_62017-01-13 17:54 85K 
[ ]finseq_6__t82_finseq_62017-01-13 17:54 67K 
[ ]finseq_6__t83_finseq_62017-01-13 17:54 58K 
[ ]finseq_6__t84_finseq_62017-01-13 17:55 109K 
[ ]finseq_6__t85_finseq_62017-01-13 17:55 78K 
[ ]finseq_6__t86_finseq_62017-01-13 17:55 114K 
[ ]finseq_6__t87_finseq_62017-01-13 17:55 70K 
[ ]finseq_6__t88_finseq_62017-01-13 17:55 70K 
[ ]finseq_6__t89_finseq_62017-01-13 17:55 76K 
[ ]finseq_6__t90_finseq_62017-01-13 17:55 143K 
[ ]finseq_6__t91_finseq_62017-01-13 17:55 71K 
[ ]finseq_6__t92_finseq_62017-01-13 17:55 66K 
[ ]finseq_6__t93_finseq_62017-01-13 17:55 74K 
[ ]finseq_6__t94_finseq_62017-01-13 17:55 49K 
[ ]finseq_6__t95_finseq_62017-01-13 17:55 50K 
[ ]finseq_6__t96_finseq_62017-01-13 17:55 74K 
[ ]finseq_6__t97_finseq_62017-01-13 17:55 51K 
[ ]finseq_6__t98_finseq_62017-01-13 17:55 72K 
[ ]finseq_6__t99_finseq_62017-01-13 17:55 73K 
[ ]finseq_6__t100_finseq_62017-01-13 17:55 200K 
[ ]finseq_6__t101_finseq_62017-01-13 17:55 118K 
[ ]finseq_6__t102_finseq_62017-01-13 17:55 82K 
[ ]finseq_6__t103_finseq_62017-01-13 17:55 74K 
[ ]finseq_6__t104_finseq_62017-01-13 17:55 82K 
[ ]finseq_6__t105_finseq_62017-01-13 17:55 91K 
[ ]finseq_6__t106_finseq_62017-01-13 17:55 124K 
[ ]finseq_6__t107_finseq_62017-01-13 17:55 59K 
[ ]finseq_6__t108_finseq_62017-01-13 17:55 100K 
[ ]finseq_6__t109_finseq_62017-01-13 17:55 76K 
[ ]finseq_6__t110_finseq_62017-01-13 17:55 45K 
[ ]finseq_6__t111_finseq_62017-01-13 17:54 52K 
[ ]finseq_6__t112_finseq_62017-01-13 17:54 51K 
[ ]finseq_6__t113_finseq_62017-01-13 17:55 118K 
[ ]finseq_6__t114_finseq_62017-01-13 17:55 85K 
[ ]finseq_6__t115_finseq_62017-01-13 17:55 74K 
[ ]finseq_6__t116_finseq_62017-01-13 17:55 67K 
[ ]finseq_6__t117_finseq_62017-01-13 17:55 132K 
[ ]finseq_6__t118_finseq_62017-01-13 17:55 217K 
[ ]finseq_6__t119_finseq_62017-01-13 17:55 72K 
[ ]finseq_6__t120_finseq_62017-01-13 17:55 70K 
[ ]finseq_6__t121_finseq_62017-01-13 17:55 73K 
[ ]finseq_6__t122_finseq_62017-01-13 17:55 88K 
[ ]finseq_6__t123_finseq_62017-01-13 17:55 78K 
[ ]finseq_6__t124_finseq_62017-01-13 17:55 85K 
[ ]finseq_6__t125_finseq_62017-01-13 17:55 74K 
[ ]finseq_6__t126_finseq_62017-01-13 17:55 117K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80