Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/dblseq_3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]dblseq_3__l1_dblseq_32025-09-12 19:48 47K 
[ ]dblseq_3__l2_dblseq_32025-09-12 19:50 50K 
[ ]dblseq_3__l10_dblseq_32025-09-12 19:51 74K 
[ ]dblseq_3__l11_dblseq_32025-09-12 19:53 74K 
[ ]dblseq_3__l12_dblseq_32025-09-12 19:54 77K 
[ ]dblseq_3__l22_dblseq_32025-09-12 19:56 109K 
[ ]dblseq_3__l71_dblseq_32025-09-12 19:58 65K 
[ ]dblseq_3__l72_dblseq_32025-09-12 19:59 52K 
[ ]dblseq_3__l73_dblseq_32025-09-12 20:00 53K 
[ ]dblseq_3__l88_dblseq_32025-09-12 20:02 57K 
[ ]dblseq_3__l131_dblseq_32025-09-12 20:03 55K 
[ ]dblseq_3__t1_dblseq_32025-09-12 17:03 70K 
[ ]dblseq_3__t2_dblseq_32025-09-12 17:05 47K 
[ ]dblseq_3__t3_dblseq_32025-09-12 17:06 57K 
[ ]dblseq_3__t4_dblseq_32025-09-12 17:07 59K 
[ ]dblseq_3__t5_dblseq_32025-09-12 17:09 62K 
[ ]dblseq_3__t6_dblseq_32025-09-12 17:10 50K 
[ ]dblseq_3__t7_dblseq_32025-09-12 17:12 88K 
[ ]dblseq_3__t8_dblseq_32025-09-12 17:13 79K 
[ ]dblseq_3__t9_dblseq_32025-09-12 17:15 79K 
[ ]dblseq_3__t10_dblseq_32025-09-12 17:16 58K 
[ ]dblseq_3__t11_dblseq_32025-09-12 17:17 67K 
[ ]dblseq_3__t12_dblseq_32025-09-12 17:19 67K 
[ ]dblseq_3__t13_dblseq_32025-09-12 17:20 68K 
[ ]dblseq_3__t14_dblseq_32025-09-12 17:22 73K 
[ ]dblseq_3__t15_dblseq_32025-09-12 17:23 73K 
[ ]dblseq_3__t16_dblseq_32025-09-12 17:25 74K 
[ ]dblseq_3__t17_dblseq_32025-09-12 17:26 51K 
[ ]dblseq_3__t18_dblseq_32025-09-12 17:28 111K 
[ ]dblseq_3__t19_dblseq_32025-09-12 17:30 109K 
[ ]dblseq_3__t20_dblseq_32025-09-12 17:32 109K 
[ ]dblseq_3__t21_dblseq_32025-09-12 17:33 101K 
[ ]dblseq_3__t22_dblseq_32025-09-12 17:35 111K 
[ ]dblseq_3__t23_dblseq_32025-09-12 17:37 116K 
[ ]dblseq_3__t24_dblseq_32025-09-12 17:39 80K 
[ ]dblseq_3__t25_dblseq_32025-09-12 17:41 86K 
[ ]dblseq_3__t26_dblseq_32025-09-12 17:42 100K 
[ ]dblseq_3__t27_dblseq_32025-09-12 17:44 83K 
[ ]dblseq_3__t28_dblseq_32025-09-12 17:46 83K 
[ ]dblseq_3__t29_dblseq_32025-09-12 17:47 53K 
[ ]dblseq_3__t30_dblseq_32025-09-12 17:48 53K 
[ ]dblseq_3__t31_dblseq_32025-09-12 17:50 45K 
[ ]dblseq_3__t32_dblseq_32025-09-12 17:51 53K 
[ ]dblseq_3__t33_dblseq_32025-09-12 17:52 53K 
[ ]dblseq_3__t34_dblseq_32025-09-12 17:54 57K 
[ ]dblseq_3__t35_dblseq_32025-09-12 17:55 57K 
[ ]dblseq_3__t36_dblseq_32025-09-12 17:57 50K 
[ ]dblseq_3__t37_dblseq_32025-09-12 17:59 56K 
[ ]dblseq_3__t38_dblseq_32025-09-12 18:00 52K 
[ ]dblseq_3__t39_dblseq_32025-09-12 18:01 61K 
[ ]dblseq_3__t40_dblseq_32025-09-12 18:03 53K 
[ ]dblseq_3__t41_dblseq_32025-09-12 18:05 67K 
[ ]dblseq_3__t42_dblseq_32025-09-12 18:06 74K 
[ ]dblseq_3__t43_dblseq_32025-09-12 18:08 64K 
[ ]dblseq_3__t44_dblseq_32025-09-12 18:10 70K 
[ ]dblseq_3__t45_dblseq_32025-09-12 18:11 64K 
[ ]dblseq_3__t46_dblseq_32025-09-12 18:12 63K 
[ ]dblseq_3__t47_dblseq_32025-09-12 18:14 64K 
[ ]dblseq_3__t48_dblseq_32025-09-12 18:16 78K 
[ ]dblseq_3__t49_dblseq_32025-09-12 17:01 49K 
[ ]dblseq_3__t50_dblseq_32025-09-12 18:17 52K 
[ ]dblseq_3__t51_dblseq_32025-09-12 18:18 52K 
[ ]dblseq_3__t52_dblseq_32025-09-12 18:19 55K 
[ ]dblseq_3__t53_dblseq_32025-09-12 18:21 55K 
[ ]dblseq_3__t54_dblseq_32025-09-12 18:22 73K 
[ ]dblseq_3__t55_dblseq_32025-09-12 18:24 98K 
[ ]dblseq_3__t56_dblseq_32025-09-12 18:26 98K 
[ ]dblseq_3__t57_dblseq_32025-09-12 18:28 98K 
[ ]dblseq_3__t58_dblseq_32025-09-12 18:30 98K 
[ ]dblseq_3__t59_dblseq_32025-09-12 18:32 99K 
[ ]dblseq_3__t60_dblseq_32025-09-12 18:34 99K 
[ ]dblseq_3__t61_dblseq_32025-09-12 18:35 73K 
[ ]dblseq_3__t62_dblseq_32025-09-12 18:37 55K 
[ ]dblseq_3__t63_dblseq_32025-09-12 18:38 97K 
[ ]dblseq_3__t64_dblseq_32025-09-12 18:40 56K 
[ ]dblseq_3__t65_dblseq_32025-09-12 18:41 58K 
[ ]dblseq_3__t66_dblseq_32025-09-12 17:02 47K 
[ ]dblseq_3__t67_dblseq_32025-09-12 18:43 81K 
[ ]dblseq_3__t68_dblseq_32025-09-12 18:44 81K 
[ ]dblseq_3__t69_dblseq_32025-09-12 18:46 62K 
[ ]dblseq_3__t70_dblseq_32025-09-12 18:47 62K 
[ ]dblseq_3__t71_dblseq_32025-09-12 18:49 56K 
[ ]dblseq_3__t72_dblseq_32025-09-12 18:50 73K 
[ ]dblseq_3__t73_dblseq_32025-09-12 18:52 73K 
[ ]dblseq_3__t74_dblseq_32025-09-12 18:54 88K 
[ ]dblseq_3__t75_dblseq_32025-09-12 18:55 68K 
[ ]dblseq_3__t76_dblseq_32025-09-12 18:57 64K 
[ ]dblseq_3__t77_dblseq_32025-09-12 18:58 90K 
[ ]dblseq_3__t78_dblseq_32025-09-12 19:00 64K 
[ ]dblseq_3__t79_dblseq_32025-09-12 19:02 136K 
[ ]dblseq_3__t80_dblseq_32025-09-12 19:04 134K 
[ ]dblseq_3__t81_dblseq_32025-09-12 19:06 52K 
[ ]dblseq_3__t82_dblseq_32025-09-12 19:07 66K 
[ ]dblseq_3__t83_dblseq_32025-09-12 19:10 99K 
[ ]dblseq_3__t84_dblseq_32025-09-12 19:11 66K 
[ ]dblseq_3__t85_dblseq_32025-09-12 19:13 62K 
[ ]dblseq_3__t86_dblseq_32025-09-12 19:14 54K 
[ ]dblseq_3__t87_dblseq_32025-09-12 19:15 54K 
[ ]dblseq_3__t88_dblseq_32025-09-12 19:17 92K 
[ ]dblseq_3__t89_dblseq_32025-09-12 19:18 65K 
[ ]dblseq_3__t90_dblseq_32025-09-12 19:20 54K 
[ ]dblseq_3__t91_dblseq_32025-09-12 19:22 81K 
[ ]dblseq_3__t92_dblseq_32025-09-12 19:23 64K 
[ ]dblseq_3__t93_dblseq_32025-09-12 19:25 106K 
[ ]dblseq_3__t94_dblseq_32025-09-12 19:27 105K 
[ ]dblseq_3__t95_dblseq_32025-09-12 19:29 82K 
[ ]dblseq_3__t96_dblseq_32025-09-12 19:31 87K 
[ ]dblseq_3__t97_dblseq_32025-09-12 19:33 54K 
[ ]dblseq_3__t98_dblseq_32025-09-12 19:34 53K 
[ ]dblseq_3__t99_dblseq_32025-09-12 19:35 52K 
[ ]dblseq_3__t100_dblseq_32025-09-12 19:37 54K 
[ ]dblseq_3__t101_dblseq_32025-09-12 19:38 66K 
[ ]dblseq_3__t102_dblseq_32025-09-12 19:41 96K 
[ ]dblseq_3__t103_dblseq_32025-09-12 19:43 199K 
[ ]dblseq_3__t104_dblseq_32025-09-12 19:45 80K 
[ ]dblseq_3__t105_dblseq_32025-09-12 19:47 60K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80