Index of /~mptp/mml5.63.1382/MPTP2/problems_small_thf.orig2021/dblseq_3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]dblseq_3__l1_dblseq_32021-07-18 19:02 41K 
[ ]dblseq_3__l2_dblseq_32021-07-18 19:02 44K 
[ ]dblseq_3__l10_dblseq_32021-07-18 19:02 66K 
[ ]dblseq_3__l11_dblseq_32021-07-18 19:03 66K 
[ ]dblseq_3__l12_dblseq_32021-07-18 19:03 70K 
[ ]dblseq_3__l22_dblseq_32021-07-18 19:04 103K 
[ ]dblseq_3__l71_dblseq_32021-07-18 19:04 59K 
[ ]dblseq_3__l72_dblseq_32021-07-18 19:05 46K 
[ ]dblseq_3__l73_dblseq_32021-07-18 19:05 47K 
[ ]dblseq_3__l88_dblseq_32021-07-18 19:05 51K 
[ ]dblseq_3__l131_dblseq_32021-07-18 19:06 50K 
[ ]dblseq_3__t1_dblseq_32021-07-18 18:18 64K 
[ ]dblseq_3__t2_dblseq_32021-07-18 18:18 40K 
[ ]dblseq_3__t3_dblseq_32021-07-18 18:18 50K 
[ ]dblseq_3__t4_dblseq_32021-07-18 18:19 53K 
[ ]dblseq_3__t5_dblseq_32021-07-18 18:19 55K 
[ ]dblseq_3__t6_dblseq_32021-07-18 18:19 44K 
[ ]dblseq_3__t7_dblseq_32021-07-18 18:20 81K 
[ ]dblseq_3__t8_dblseq_32021-07-18 18:20 72K 
[ ]dblseq_3__t9_dblseq_32021-07-18 18:21 72K 
[ ]dblseq_3__t10_dblseq_32021-07-18 18:21 51K 
[ ]dblseq_3__t11_dblseq_32021-07-18 18:21 61K 
[ ]dblseq_3__t12_dblseq_32021-07-18 18:22 61K 
[ ]dblseq_3__t13_dblseq_32021-07-18 18:22 63K 
[ ]dblseq_3__t14_dblseq_32021-07-18 18:23 66K 
[ ]dblseq_3__t15_dblseq_32021-07-18 18:23 66K 
[ ]dblseq_3__t16_dblseq_32021-07-18 18:23 67K 
[ ]dblseq_3__t17_dblseq_32021-07-18 18:24 45K 
[ ]dblseq_3__t18_dblseq_32021-07-18 18:24 190K 
[ ]dblseq_3__t19_dblseq_32021-07-18 18:25 104K 
[ ]dblseq_3__t20_dblseq_32021-07-18 18:25 104K 
[ ]dblseq_3__t21_dblseq_32021-07-18 18:26 190K 
[ ]dblseq_3__t22_dblseq_32021-07-18 18:26 105K 
[ ]dblseq_3__t23_dblseq_32021-07-18 18:27 197K 
[ ]dblseq_3__t24_dblseq_32021-07-18 18:27 74K 
[ ]dblseq_3__t25_dblseq_32021-07-18 18:28 81K 
[ ]dblseq_3__t26_dblseq_32021-07-18 18:28 94K 
[ ]dblseq_3__t27_dblseq_32021-07-18 18:29 78K 
[ ]dblseq_3__t28_dblseq_32021-07-18 18:29 78K 
[ ]dblseq_3__t29_dblseq_32021-07-18 18:30 48K 
[ ]dblseq_3__t30_dblseq_32021-07-18 18:30 48K 
[ ]dblseq_3__t31_dblseq_32021-07-18 18:30 39K 
[ ]dblseq_3__t32_dblseq_32021-07-18 18:31 45K 
[ ]dblseq_3__t33_dblseq_32021-07-18 18:31 45K 
[ ]dblseq_3__t34_dblseq_32021-07-18 18:31 49K 
[ ]dblseq_3__t35_dblseq_32021-07-18 18:32 49K 
[ ]dblseq_3__t36_dblseq_32021-07-18 18:32 44K 
[ ]dblseq_3__t37_dblseq_32021-07-18 18:33 50K 
[ ]dblseq_3__t38_dblseq_32021-07-18 18:33 47K 
[ ]dblseq_3__t39_dblseq_32021-07-18 18:33 55K 
[ ]dblseq_3__t40_dblseq_32021-07-18 18:34 47K 
[ ]dblseq_3__t41_dblseq_32021-07-18 18:34 61K 
[ ]dblseq_3__t42_dblseq_32021-07-18 18:35 69K 
[ ]dblseq_3__t43_dblseq_32021-07-18 18:35 58K 
[ ]dblseq_3__t44_dblseq_32021-07-18 18:35 64K 
[ ]dblseq_3__t45_dblseq_32021-07-18 18:36 59K 
[ ]dblseq_3__t46_dblseq_32021-07-18 18:36 57K 
[ ]dblseq_3__t47_dblseq_32021-07-18 18:37 58K 
[ ]dblseq_3__t48_dblseq_32021-07-18 18:37 73K 
[ ]dblseq_3__t49_dblseq_32021-07-18 18:17 43K 
[ ]dblseq_3__t50_dblseq_32021-07-18 18:37 46K 
[ ]dblseq_3__t51_dblseq_32021-07-18 18:38 46K 
[ ]dblseq_3__t52_dblseq_32021-07-18 18:38 49K 
[ ]dblseq_3__t53_dblseq_32021-07-18 18:38 49K 
[ ]dblseq_3__t54_dblseq_32021-07-18 18:39 68K 
[ ]dblseq_3__t55_dblseq_32021-07-18 18:39 91K 
[ ]dblseq_3__t56_dblseq_32021-07-18 18:40 91K 
[ ]dblseq_3__t57_dblseq_32021-07-18 18:40 91K 
[ ]dblseq_3__t58_dblseq_32021-07-18 18:41 91K 
[ ]dblseq_3__t59_dblseq_32021-07-18 18:41 92K 
[ ]dblseq_3__t60_dblseq_32021-07-18 18:42 92K 
[ ]dblseq_3__t61_dblseq_32021-07-18 18:42 68K 
[ ]dblseq_3__t62_dblseq_32021-07-18 18:42 49K 
[ ]dblseq_3__t63_dblseq_32021-07-18 18:43 91K 
[ ]dblseq_3__t64_dblseq_32021-07-18 18:43 50K 
[ ]dblseq_3__t65_dblseq_32021-07-18 18:44 52K 
[ ]dblseq_3__t66_dblseq_32021-07-18 18:17 41K 
[ ]dblseq_3__t67_dblseq_32021-07-18 18:44 76K 
[ ]dblseq_3__t68_dblseq_32021-07-18 18:45 76K 
[ ]dblseq_3__t69_dblseq_32021-07-18 18:45 58K 
[ ]dblseq_3__t70_dblseq_32021-07-18 18:45 58K 
[ ]dblseq_3__t71_dblseq_32021-07-18 18:46 50K 
[ ]dblseq_3__t72_dblseq_32021-07-18 18:46 68K 
[ ]dblseq_3__t73_dblseq_32021-07-18 18:47 68K 
[ ]dblseq_3__t74_dblseq_32021-07-18 18:47 82K 
[ ]dblseq_3__t75_dblseq_32021-07-18 18:47 62K 
[ ]dblseq_3__t76_dblseq_32021-07-18 18:48 58K 
[ ]dblseq_3__t77_dblseq_32021-07-18 18:48 84K 
[ ]dblseq_3__t78_dblseq_32021-07-18 18:49 58K 
[ ]dblseq_3__t79_dblseq_32021-07-18 18:49 216K 
[ ]dblseq_3__t80_dblseq_32021-07-18 18:50 214K 
[ ]dblseq_3__t81_dblseq_32021-07-18 18:50 46K 
[ ]dblseq_3__t82_dblseq_32021-07-18 18:51 60K 
[ ]dblseq_3__t83_dblseq_32021-07-18 18:51 94K 
[ ]dblseq_3__t84_dblseq_32021-07-18 18:52 60K 
[ ]dblseq_3__t85_dblseq_32021-07-18 18:52 56K 
[ ]dblseq_3__t86_dblseq_32021-07-18 18:52 48K 
[ ]dblseq_3__t87_dblseq_32021-07-18 18:53 48K 
[ ]dblseq_3__t88_dblseq_32021-07-18 18:53 86K 
[ ]dblseq_3__t89_dblseq_32021-07-18 18:54 60K 
[ ]dblseq_3__t90_dblseq_32021-07-18 18:54 49K 
[ ]dblseq_3__t91_dblseq_32021-07-18 18:55 75K 
[ ]dblseq_3__t92_dblseq_32021-07-18 18:55 59K 
[ ]dblseq_3__t93_dblseq_32021-07-18 18:55 100K 
[ ]dblseq_3__t94_dblseq_32021-07-18 18:56 99K 
[ ]dblseq_3__t95_dblseq_32021-07-18 18:56 76K 
[ ]dblseq_3__t96_dblseq_32021-07-18 18:57 82K 
[ ]dblseq_3__t97_dblseq_32021-07-18 18:57 48K 
[ ]dblseq_3__t98_dblseq_32021-07-18 18:58 47K 
[ ]dblseq_3__t99_dblseq_32021-07-18 18:58 47K 
[ ]dblseq_3__t100_dblseq_32021-07-18 18:59 48K 
[ ]dblseq_3__t101_dblseq_32021-07-18 18:59 61K 
[ ]dblseq_3__t102_dblseq_32021-07-18 19:00 92K 
[ ]dblseq_3__t103_dblseq_32021-07-18 19:00 202K 
[ ]dblseq_3__t104_dblseq_32021-07-18 19:01 81K 
[ ]dblseq_3__t105_dblseq_32021-07-18 19:01 54K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80