Index of /~mptp/mml5.63.1382/MPTP2/problems/dblseq_3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]dblseq_3__l1_dblseq_32023-06-28 07:54 41K 
[ ]dblseq_3__l2_dblseq_32023-06-28 07:54 44K 
[ ]dblseq_3__l10_dblseq_32023-06-28 07:55 66K 
[ ]dblseq_3__l11_dblseq_32023-06-28 07:55 66K 
[ ]dblseq_3__l12_dblseq_32023-06-28 07:56 70K 
[ ]dblseq_3__l22_dblseq_32023-06-28 07:56 104K 
[ ]dblseq_3__l71_dblseq_32023-06-28 07:57 59K 
[ ]dblseq_3__l72_dblseq_32023-06-28 07:57 46K 
[ ]dblseq_3__l73_dblseq_32023-06-28 07:58 47K 
[ ]dblseq_3__l88_dblseq_32023-06-28 07:58 51K 
[ ]dblseq_3__l131_dblseq_32023-06-28 07:58 50K 
[ ]dblseq_3__t1_dblseq_32023-06-28 07:01 64K 
[ ]dblseq_3__t2_dblseq_32023-06-28 07:01 40K 
[ ]dblseq_3__t3_dblseq_32023-06-28 07:02 49K 
[ ]dblseq_3__t4_dblseq_32023-06-28 07:02 53K 
[ ]dblseq_3__t5_dblseq_32023-06-28 07:03 55K 
[ ]dblseq_3__t6_dblseq_32023-06-28 07:03 44K 
[ ]dblseq_3__t7_dblseq_32023-06-28 07:04 80K 
[ ]dblseq_3__t8_dblseq_32023-06-28 07:04 71K 
[ ]dblseq_3__t9_dblseq_32023-06-28 07:05 71K 
[ ]dblseq_3__t10_dblseq_32023-06-28 07:05 51K 
[ ]dblseq_3__t11_dblseq_32023-06-28 07:06 61K 
[ ]dblseq_3__t12_dblseq_32023-06-28 07:06 61K 
[ ]dblseq_3__t13_dblseq_32023-06-28 07:07 62K 
[ ]dblseq_3__t14_dblseq_32023-06-28 07:07 65K 
[ ]dblseq_3__t15_dblseq_32023-06-28 07:08 65K 
[ ]dblseq_3__t16_dblseq_32023-06-28 07:08 67K 
[ ]dblseq_3__t17_dblseq_32023-06-28 07:09 45K 
[ ]dblseq_3__t18_dblseq_32023-06-28 07:09 195K 
[ ]dblseq_3__t19_dblseq_32023-06-28 07:10 104K 
[ ]dblseq_3__t20_dblseq_32023-06-28 07:11 104K 
[ ]dblseq_3__t21_dblseq_32023-06-28 07:11 195K 
[ ]dblseq_3__t22_dblseq_32023-06-28 07:12 105K 
[ ]dblseq_3__t23_dblseq_32023-06-28 07:12 201K 
[ ]dblseq_3__t24_dblseq_32023-06-28 07:13 74K 
[ ]dblseq_3__t25_dblseq_32023-06-28 07:13 80K 
[ ]dblseq_3__t26_dblseq_32023-06-28 07:14 94K 
[ ]dblseq_3__t27_dblseq_32023-06-28 07:14 77K 
[ ]dblseq_3__t28_dblseq_32023-06-28 07:15 77K 
[ ]dblseq_3__t29_dblseq_32023-06-28 07:15 48K 
[ ]dblseq_3__t30_dblseq_32023-06-28 07:16 48K 
[ ]dblseq_3__t31_dblseq_32023-06-28 07:16 39K 
[ ]dblseq_3__t32_dblseq_32023-06-28 07:17 45K 
[ ]dblseq_3__t33_dblseq_32023-06-28 07:17 45K 
[ ]dblseq_3__t34_dblseq_32023-06-28 07:18 49K 
[ ]dblseq_3__t35_dblseq_32023-06-28 07:18 49K 
[ ]dblseq_3__t36_dblseq_32023-06-28 07:19 44K 
[ ]dblseq_3__t37_dblseq_32023-06-28 07:19 50K 
[ ]dblseq_3__t38_dblseq_32023-06-28 07:19 47K 
[ ]dblseq_3__t39_dblseq_32023-06-28 07:20 55K 
[ ]dblseq_3__t40_dblseq_32023-06-28 07:20 47K 
[ ]dblseq_3__t41_dblseq_32023-06-28 07:21 61K 
[ ]dblseq_3__t42_dblseq_32023-06-28 07:21 68K 
[ ]dblseq_3__t43_dblseq_32023-06-28 07:22 58K 
[ ]dblseq_3__t44_dblseq_32023-06-28 07:22 64K 
[ ]dblseq_3__t45_dblseq_32023-06-28 07:23 58K 
[ ]dblseq_3__t46_dblseq_32023-06-28 07:23 57K 
[ ]dblseq_3__t47_dblseq_32023-06-28 07:24 58K 
[ ]dblseq_3__t48_dblseq_32023-06-28 07:24 72K 
[ ]dblseq_3__t49_dblseq_32023-06-28 07:00 43K 
[ ]dblseq_3__t50_dblseq_32023-06-28 07:25 46K 
[ ]dblseq_3__t51_dblseq_32023-06-28 07:25 46K 
[ ]dblseq_3__t52_dblseq_32023-06-28 07:26 49K 
[ ]dblseq_3__t53_dblseq_32023-06-28 07:26 49K 
[ ]dblseq_3__t54_dblseq_32023-06-28 07:26 67K 
[ ]dblseq_3__t55_dblseq_32023-06-28 07:27 90K 
[ ]dblseq_3__t56_dblseq_32023-06-28 07:28 90K 
[ ]dblseq_3__t57_dblseq_32023-06-28 07:28 90K 
[ ]dblseq_3__t58_dblseq_32023-06-28 07:29 90K 
[ ]dblseq_3__t59_dblseq_32023-06-28 07:30 91K 
[ ]dblseq_3__t60_dblseq_32023-06-28 07:30 91K 
[ ]dblseq_3__t61_dblseq_32023-06-28 07:31 68K 
[ ]dblseq_3__t62_dblseq_32023-06-28 07:31 49K 
[ ]dblseq_3__t63_dblseq_32023-06-28 07:32 92K 
[ ]dblseq_3__t64_dblseq_32023-06-28 07:32 50K 
[ ]dblseq_3__t65_dblseq_32023-06-28 07:32 52K 
[ ]dblseq_3__t66_dblseq_32023-06-28 07:01 41K 
[ ]dblseq_3__t67_dblseq_32023-06-28 07:33 76K 
[ ]dblseq_3__t68_dblseq_32023-06-28 07:34 76K 
[ ]dblseq_3__t69_dblseq_32023-06-28 07:34 58K 
[ ]dblseq_3__t70_dblseq_32023-06-28 07:34 58K 
[ ]dblseq_3__t71_dblseq_32023-06-28 07:35 50K 
[ ]dblseq_3__t72_dblseq_32023-06-28 07:35 68K 
[ ]dblseq_3__t73_dblseq_32023-06-28 07:36 68K 
[ ]dblseq_3__t74_dblseq_32023-06-28 07:36 82K 
[ ]dblseq_3__t75_dblseq_32023-06-28 07:37 62K 
[ ]dblseq_3__t76_dblseq_32023-06-28 07:37 58K 
[ ]dblseq_3__t77_dblseq_32023-06-28 07:38 83K 
[ ]dblseq_3__t78_dblseq_32023-06-28 07:38 58K 
[ ]dblseq_3__t79_dblseq_32023-06-28 07:39 221K 
[ ]dblseq_3__t80_dblseq_32023-06-28 07:40 218K 
[ ]dblseq_3__t81_dblseq_32023-06-28 07:40 46K 
[ ]dblseq_3__t82_dblseq_32023-06-28 07:41 60K 
[ ]dblseq_3__t83_dblseq_32023-06-28 07:42 93K 
[ ]dblseq_3__t84_dblseq_32023-06-28 07:42 60K 
[ ]dblseq_3__t85_dblseq_32023-06-28 07:43 56K 
[ ]dblseq_3__t86_dblseq_32023-06-28 07:43 48K 
[ ]dblseq_3__t87_dblseq_32023-06-28 07:43 48K 
[ ]dblseq_3__t88_dblseq_32023-06-28 07:44 87K 
[ ]dblseq_3__t89_dblseq_32023-06-28 07:44 60K 
[ ]dblseq_3__t90_dblseq_32023-06-28 07:45 48K 
[ ]dblseq_3__t91_dblseq_32023-06-28 07:46 75K 
[ ]dblseq_3__t92_dblseq_32023-06-28 07:46 58K 
[ ]dblseq_3__t93_dblseq_32023-06-28 07:47 101K 
[ ]dblseq_3__t94_dblseq_32023-06-28 07:47 100K 
[ ]dblseq_3__t95_dblseq_32023-06-28 07:48 76K 
[ ]dblseq_3__t96_dblseq_32023-06-28 07:49 82K 
[ ]dblseq_3__t97_dblseq_32023-06-28 07:49 48K 
[ ]dblseq_3__t98_dblseq_32023-06-28 07:49 47K 
[ ]dblseq_3__t99_dblseq_32023-06-28 07:50 47K 
[ ]dblseq_3__t100_dblseq_32023-06-28 07:50 48K 
[ ]dblseq_3__t101_dblseq_32023-06-28 07:51 61K 
[ ]dblseq_3__t102_dblseq_32023-06-28 07:51 92K 
[ ]dblseq_3__t103_dblseq_32023-06-28 07:52 206K 
[ ]dblseq_3__t104_dblseq_32023-06-28 07:53 81K 
[ ]dblseq_3__t105_dblseq_32023-06-28 07:54 54K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80