Index of /~mptp/7.13.01_4.181.1147/mptp/problems_gdfthf/finseq_3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]finseq_3__l39_finseq_32019-08-28 07:44 159K 
[ ]finseq_3__l48_finseq_32019-08-28 07:49 86K 
[ ]finseq_3__l49_finseq_32019-08-28 07:50 475K 
[ ]finseq_3__l50_finseq_32019-08-28 07:50 84K 
[ ]finseq_3__l52_finseq_32019-08-28 07:50 271K 
[ ]finseq_3__l79_finseq_32019-08-28 07:54 99K 
[ ]finseq_3__l80_finseq_32019-08-28 07:54 89K 
[ ]finseq_3__l81_finseq_32019-08-28 07:54 75K 
[ ]finseq_3__l82_finseq_32019-08-28 07:57 1.1M 
[ ]finseq_3__l83_finseq_32019-08-28 07:57 102K 
[ ]finseq_3__l84_finseq_32019-08-28 07:58 83K 
[ ]finseq_3__l97_finseq_32019-08-28 08:16 732K 
[ ]finseq_3__l98_finseq_32019-08-28 08:17 158K 
[ ]finseq_3__t1_finseq_32019-08-28 07:42 60K 
[ ]finseq_3__t2_finseq_32019-08-28 07:42 61K 
[ ]finseq_3__t3_finseq_32019-08-28 07:42 63K 
[ ]finseq_3__t4_finseq_32019-08-28 07:42 65K 
[ ]finseq_3__t5_finseq_32019-08-28 07:42 67K 
[ ]finseq_3__t6_finseq_32019-08-28 07:42 70K 
[ ]finseq_3__t7_finseq_32019-08-28 07:42 51K 
[ ]finseq_3__t8_finseq_32019-08-28 07:42 73K 
[ ]finseq_3__t9_finseq_32019-08-28 07:42 65K 
[ ]finseq_3__t10_finseq_32019-08-28 07:42 61K 
[ ]finseq_3__t11_finseq_32019-08-28 07:42 61K 
[ ]finseq_3__t12_finseq_32019-08-28 07:42 143K 
[ ]finseq_3__t13_finseq_32019-08-28 07:43 125K 
[ ]finseq_3__t14_finseq_32019-08-28 07:43 96K 
[ ]finseq_3__t15_finseq_32019-08-28 07:43 63K 
[ ]finseq_3__t16_finseq_32019-08-28 07:43 47K 
[ ]finseq_3__t17_finseq_32019-08-28 07:43 47K 
[ ]finseq_3__t18_finseq_32019-08-28 07:43 56K 
[ ]finseq_3__t19_finseq_32019-08-28 07:43 55K 
[ ]finseq_3__t20_finseq_32019-08-28 07:43 78K 
[ ]finseq_3__t21_finseq_32019-08-28 07:43 123K 
[ ]finseq_3__t22_finseq_32019-08-28 07:43 61K 
[ ]finseq_3__t23_finseq_32019-08-28 07:43 43K 
[ ]finseq_3__t24_finseq_32019-08-28 07:43 59K 
[ ]finseq_3__t25_finseq_32019-08-28 07:43 67K 
[ ]finseq_3__t26_finseq_32019-08-28 07:43 92K 
[ ]finseq_3__t29_finseq_32019-08-28 07:43 55K 
[ ]finseq_3__t30_finseq_32019-08-28 07:43 62K 
[ ]finseq_3__t31_finseq_32019-08-28 07:44 67K 
[ ]finseq_3__t32_finseq_32019-08-28 07:44 51K 
[ ]finseq_3__t33_finseq_32019-08-28 07:44 42K 
[ ]finseq_3__t34_finseq_32019-08-28 07:44 42K 
[ ]finseq_3__t35_finseq_32019-08-28 07:44 54K 
[ ]finseq_3__t36_finseq_32019-08-28 07:44 57K 
[ ]finseq_3__t37_finseq_32019-08-28 07:44 58K 
[ ]finseq_3__t38_finseq_32019-08-28 07:44 95K 
[ ]finseq_3__t39_finseq_32019-08-28 07:44 95K 
[ ]finseq_3__t40_finseq_32019-08-28 07:44 66K 
[ ]finseq_3__t41_finseq_32019-08-28 07:44 88K 
[ ]finseq_3__t42_finseq_32019-08-28 07:48 1.1M 
[ ]finseq_3__t43_finseq_32019-08-28 07:48 55K 
[ ]finseq_3__t44_finseq_32019-08-28 07:48 86K 
[ ]finseq_3__t45_finseq_32019-08-28 07:48 157K 
[ ]finseq_3__t46_finseq_32019-08-28 07:48 59K 
[ ]finseq_3__t47_finseq_32019-08-28 07:50 65K 
[ ]finseq_3__t48_finseq_32019-08-28 07:50 76K 
[ ]finseq_3__t49_finseq_32019-08-28 07:50 89K 
[ ]finseq_3__t50_finseq_32019-08-28 07:51 83K 
[ ]finseq_3__t51_finseq_32019-08-28 07:51 103K 
[ ]finseq_3__t52_finseq_32019-08-28 07:51 76K 
[ ]finseq_3__t53_finseq_32019-08-28 07:51 91K 
[ ]finseq_3__t54_finseq_32019-08-28 07:51 86K 
[ ]finseq_3__t55_finseq_32019-08-28 07:51 141K 
[ ]finseq_3__t56_finseq_32019-08-28 07:51 90K 
[ ]finseq_3__t57_finseq_32019-08-28 07:52 406K 
[ ]finseq_3__t58_finseq_32019-08-28 07:52 89K 
[ ]finseq_3__t59_finseq_32019-08-28 07:52 136K 
[ ]finseq_3__t60_finseq_32019-08-28 07:53 92K 
[ ]finseq_3__t61_finseq_32019-08-28 07:53 89K 
[ ]finseq_3__t62_finseq_32019-08-28 07:53 92K 
[ ]finseq_3__t63_finseq_32019-08-28 07:53 82K 
[ ]finseq_3__t64_finseq_32019-08-28 07:53 79K 
[ ]finseq_3__t65_finseq_32019-08-28 07:53 190K 
[ ]finseq_3__t66_finseq_32019-08-28 07:53 70K 
[ ]finseq_3__t67_finseq_32019-08-28 07:53 70K 
[ ]finseq_3__t68_finseq_32019-08-28 07:53 83K 
[ ]finseq_3__t69_finseq_32019-08-28 07:53 104K 
[ ]finseq_3__t70_finseq_32019-08-28 07:54 88K 
[ ]finseq_3__t71_finseq_32019-08-28 07:54 67K 
[ ]finseq_3__t72_finseq_32019-08-28 07:54 62K 
[ ]finseq_3__t73_finseq_32019-08-28 07:58 67K 
[ ]finseq_3__t74_finseq_32019-08-28 07:58 69K 
[ ]finseq_3__t75_finseq_32019-08-28 07:58 61K 
[ ]finseq_3__t76_finseq_32019-08-28 07:58 61K 
[ ]finseq_3__t77_finseq_32019-08-28 07:58 125K 
[ ]finseq_3__t78_finseq_32019-08-28 07:58 100K 
[ ]finseq_3__t79_finseq_32019-08-28 07:58 118K 
[ ]finseq_3__t80_finseq_32019-08-28 07:58 97K 
[ ]finseq_3__t81_finseq_32019-08-28 07:58 118K 
[ ]finseq_3__t82_finseq_32019-08-28 07:58 108K 
[ ]finseq_3__t83_finseq_32019-08-28 07:58 144K 
[ ]finseq_3__t84_finseq_32019-08-28 07:59 134K 
[ ]finseq_3__t85_finseq_32019-08-28 08:17 88K 
[ ]finseq_3__t86_finseq_32019-08-28 07:59 80K 
[ ]finseq_3__t87_finseq_32019-08-28 07:59 76K 
[ ]finseq_3__t88_finseq_32019-08-28 07:59 177K 
[ ]finseq_3__t89_finseq_32019-08-28 07:59 87K 
[ ]finseq_3__t90_finseq_32019-08-28 07:59 92K 
[ ]finseq_3__t91_finseq_32019-08-28 08:00 401K 
[ ]finseq_3__t92_finseq_32019-08-28 08:00 51K 
[ ]finseq_3__t93_finseq_32019-08-28 08:00 74K 
[ ]finseq_3__t94_finseq_32019-08-28 08:01 122K 
[ ]finseq_3__t95_finseq_32019-08-28 08:01 147K 
[ ]finseq_3__t96_finseq_32019-08-28 08:01 110K 
[ ]finseq_3__t97_finseq_32019-08-28 08:01 56K 
[ ]finseq_3__t98_finseq_32019-08-28 08:01 66K 
[ ]finseq_3__t99_finseq_32019-08-28 08:01 89K 
[ ]finseq_3__t100_finseq_32019-08-28 08:01 65K 
[ ]finseq_3__t101_finseq_32019-08-28 08:01 62K 
[ ]finseq_3__t102_finseq_32019-08-28 08:02 286K 
[ ]finseq_3__t103_finseq_32019-08-28 08:02 142K 
[ ]finseq_3__t104_finseq_32019-08-28 08:03 271K 
[ ]finseq_3__t105_finseq_32019-08-28 08:03 128K 
[ ]finseq_3__t106_finseq_32019-08-28 08:03 72K 
[ ]finseq_3__t107_finseq_32019-08-28 08:03 114K 
[ ]finseq_3__t108_finseq_32019-08-28 08:05 857K 
[ ]finseq_3__t109_finseq_32019-08-28 08:05 93K 
[ ]finseq_3__t110_finseq_32019-08-28 08:05 234K 
[ ]finseq_3__t111_finseq_32019-08-28 08:06 186K 
[ ]finseq_3__t112_finseq_32019-08-28 08:06 104K 
[ ]finseq_3__t113_finseq_32019-08-28 08:06 81K 
[ ]finseq_3__t114_finseq_32019-08-28 08:06 273K 
[ ]finseq_3__t115_finseq_32019-08-28 08:08 534K 
[ ]finseq_3__t116_finseq_32019-08-28 08:08 103K 
[ ]finseq_3__t117_finseq_32019-08-28 08:08 74K 
[ ]finseq_3__t118_finseq_32019-08-28 08:08 62K 
[ ]finseq_3__t119_finseq_32019-08-28 08:09 136K 
[ ]finseq_3__t120_finseq_32019-08-28 08:09 111K 
[ ]finseq_3__t121_finseq_32019-08-28 08:09 157K 
[ ]finseq_3__t122_finseq_32019-08-28 08:09 173K 
[ ]finseq_3__t123_finseq_32019-08-28 08:10 109K 
[ ]finseq_3__t124_finseq_32019-08-28 08:10 129K 
[ ]finseq_3__t125_finseq_32019-08-28 08:10 144K 
[ ]finseq_3__t126_finseq_32019-08-28 08:10 90K 
[ ]finseq_3__t127_finseq_32019-08-28 08:17 73K 
[ ]finseq_3__t128_finseq_32019-08-28 08:10 69K 
[ ]finseq_3__t129_finseq_32019-08-28 08:17 77K 
[ ]finseq_3__t130_finseq_32019-08-28 08:10 69K 
[ ]finseq_3__t131_finseq_32019-08-28 08:10 85K 
[ ]finseq_3__t132_finseq_32019-08-28 08:11 112K 
[ ]finseq_3__t133_finseq_32019-08-28 08:11 117K 
[ ]finseq_3__t134_finseq_32019-08-28 08:11 134K 
[ ]finseq_3__t135_finseq_32019-08-28 08:11 67K 
[ ]finseq_3__t136_finseq_32019-08-28 08:11 69K 
[ ]finseq_3__t137_finseq_32019-08-28 08:11 86K 
[ ]finseq_3__t138_finseq_32019-08-28 08:11 97K 
[ ]finseq_3__t139_finseq_32019-08-28 08:11 86K 
[ ]finseq_3__t140_finseq_32019-08-28 08:12 78K 
[ ]finseq_3__t141_finseq_32019-08-28 08:12 144K 
[ ]finseq_3__t142_finseq_32019-08-28 08:12 174K 
[ ]finseq_3__t143_finseq_32019-08-28 08:12 115K 
[ ]finseq_3__t144_finseq_32019-08-28 08:13 149K 
[ ]finseq_3__t145_finseq_32019-08-28 08:13 102K 
[ ]finseq_3__t146_finseq_32019-08-28 08:13 98K 
[ ]finseq_3__t147_finseq_32019-08-28 08:13 76K 
[ ]finseq_3__t148_finseq_32019-08-28 08:13 95K 
[ ]finseq_3__t149_finseq_32019-08-28 08:13 76K 
[ ]finseq_3__t150_finseq_32019-08-28 08:13 95K 
[ ]finseq_3__t151_finseq_32019-08-28 08:14 153K 
[ ]finseq_3__t152_finseq_32019-08-28 08:14 250K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80