Index of /~mptp/mml5.63.1382/MPTP2/problems_small/chord

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]chord__l3_chord2021-07-18 05:01 41K 
[ ]chord__l3_chord.vout2021-07-25 18:39 1.1K 
[ ]chord__l15_chord2021-07-18 05:02 51K 
[ ]chord__l15_chord.depv12021-07-25 20:57 50  
[ ]chord__l15_chord.depvmin12021-07-25 21:03 50  
[ ]chord__l15_chord.vmin12021-07-25 20:57 786  
[ ]chord__l15_chord.vmin1out2021-07-25 20:59 13K 
[ ]chord__l15_chord.vout2021-07-25 20:51 13K 
[ ]chord__l103_chord2021-07-18 05:02 253K 
[ ]chord__l103_chord.vout2021-07-25 16:55 7.3K 
[ ]chord__t1_chord2021-07-18 03:49 33K 
[ ]chord__t1_chord.vout2021-07-25 14:44 2.0K 
[ ]chord__t2_chord2021-07-18 03:45 31K 
[ ]chord__t2_chord.depv12021-07-25 20:57 38  
[ ]chord__t2_chord.depvmin12021-07-25 21:03 38  
[ ]chord__t2_chord.vmin12021-07-25 20:57 468  
[ ]chord__t2_chord.vmin1out2021-07-25 20:58 5.4K 
[ ]chord__t2_chord.vout2021-07-25 19:17 5.6K 
[ ]chord__t3_chord2021-07-18 03:49 40K 
[ ]chord__t3_chord.vout2021-07-25 18:32 3.2K 
[ ]chord__t4_chord2021-07-18 03:50 33K 
[ ]chord__t4_chord.vout2021-07-25 18:11 3.2K 
[ ]chord__t5_chord2021-07-18 03:50 50K 
[ ]chord__t5_chord.vout2021-07-25 20:46 4.7K 
[ ]chord__t6_chord2021-07-18 03:50 34K 
[ ]chord__t6_chord.depv12021-07-25 20:57 259  
[ ]chord__t6_chord.depvmin12021-07-25 21:03 236  
[ ]chord__t6_chord.vmin12021-07-25 20:57 1.6K 
[ ]chord__t6_chord.vmin1out2021-07-25 20:59 16K 
[ ]chord__t6_chord.vout2021-07-25 16:18 19K 
[ ]chord__t7_chord2021-07-18 03:51 36K 
[ ]chord__t7_chord.vout2021-07-25 18:15 4.1K 
[ ]chord__t8_chord2021-07-18 03:51 39K 
[ ]chord__t8_chord.depv12021-07-25 20:57 378  
[ ]chord__t8_chord.depvmin12021-07-25 21:03 311  
[ ]chord__t8_chord.vmin12021-07-25 20:57 2.1K 
[ ]chord__t8_chord.vmin1out2021-07-25 20:58 18K 
[ ]chord__t8_chord.vout2021-07-25 19:57 23K 
[ ]chord__t9_chord2021-07-18 03:52 42K 
[ ]chord__t9_chord.vout2021-07-25 19:07 4.1K 
[ ]chord__t10_chord2021-07-18 03:52 36K 
[ ]chord__t10_chord.depv12021-07-25 20:57 493  
[ ]chord__t10_chord.depvmin12021-07-25 21:03 467  
[ ]chord__t10_chord.vmin12021-07-25 20:57 3.1K 
[ ]chord__t10_chord.vmin1out2021-07-25 21:00 28K 
[ ]chord__t10_chord.vout2021-07-25 15:23 29K 
[ ]chord__t11_chord2021-07-18 03:53 35K 
[ ]chord__t11_chord.vout2021-07-25 14:46 4.7K 
[ ]chord__t12_chord2021-07-18 03:53 37K 
[ ]chord__t12_chord.vout2021-07-25 14:48 4.7K 
[ ]chord__t13_chord2021-07-18 03:54 40K 
[ ]chord__t13_chord.vout2021-07-25 15:21 4.7K 
[ ]chord__t14_chord2021-07-18 03:55 48K 
[ ]chord__t14_chord.vout2021-07-25 17:23 4.7K 
[ ]chord__t15_chord2021-07-18 03:55 33K 
[ ]chord__t15_chord.depv12021-07-25 20:57 56  
[ ]chord__t15_chord.depvmin12021-07-25 21:03 56  
[ ]chord__t15_chord.vmin12021-07-25 20:57 884  
[ ]chord__t15_chord.vmin1out2021-07-25 20:59 11K 
[ ]chord__t15_chord.vout2021-07-25 20:10 19K 
[ ]chord__t16_chord2021-07-18 03:56 58K 
[ ]chord__t16_chord.vout2021-07-25 19:52 4.7K 
[ ]chord__t17_chord2021-07-18 03:56 68K 
[ ]chord__t17_chord.vout2021-07-25 15:24 7.3K 
[ ]chord__t18_chord2021-07-18 03:57 38K 
[ ]chord__t18_chord.depv12021-07-25 20:57 352  
[ ]chord__t18_chord.depvmin12021-07-25 21:03 328  
[ ]chord__t18_chord.vmin12021-07-25 20:57 3.0K 
[ ]chord__t18_chord.vmin1out2021-07-25 21:02 28K 
[ ]chord__t18_chord.vout2021-07-25 15:36 30K 
[ ]chord__t19_chord2021-07-18 03:58 66K 
[ ]chord__t19_chord.vout2021-07-25 15:42 7.2K 
[ ]chord__t20_chord2021-07-18 03:58 72K 
[ ]chord__t20_chord.vout2021-07-25 18:03 7.3K 
[ ]chord__t21_chord2021-07-18 03:59 80K 
[ ]chord__t21_chord.vout2021-07-25 15:36 6.7K 
[ ]chord__t22_chord2021-07-18 04:00 156K 
[ ]chord__t22_chord.vout2021-07-25 16:42 4.7K 
[ ]chord__t23_chord2021-07-18 04:01 71K 
[ ]chord__t23_chord.vout2021-07-25 17:52 6.8K 
[ ]chord__t24_chord2021-07-18 03:45 58K 
[ ]chord__t24_chord.vout2021-07-25 17:59 4.7K 
[ ]chord__t25_chord2021-07-18 04:01 45K 
[ ]chord__t25_chord.depv12021-07-25 20:57 108  
[ ]chord__t25_chord.depvmin12021-07-25 21:03 94  
[ ]chord__t25_chord.vmin12021-07-25 20:57 1.6K 
[ ]chord__t25_chord.vmin1out2021-07-25 20:59 23K 
[ ]chord__t25_chord.vout2021-07-25 17:05 29K 
[ ]chord__t26_chord2021-07-18 04:02 195K 
[ ]chord__t26_chord.vout2021-07-25 18:11 4.7K 
[ ]chord__t27_chord2021-07-18 04:03 139K 
[ ]chord__t27_chord.vout2021-07-25 14:53 4.7K 
[ ]chord__t28_chord2021-07-18 04:04 51K 
[ ]chord__t28_chord.vout2021-07-25 14:31 4.7K 
[ ]chord__t29_chord2021-07-18 04:05 65K 
[ ]chord__t29_chord.vout2021-07-25 17:38 3.6K 
[ ]chord__t30_chord2021-07-18 04:05 66K 
[ ]chord__t30_chord.vout2021-07-25 17:49 4.2K 
[ ]chord__t31_chord2021-07-18 04:06 62K 
[ ]chord__t31_chord.vout2021-07-25 20:04 3.6K 
[ ]chord__t32_chord2021-07-18 04:07 45K 
[ ]chord__t32_chord.vout2021-07-25 20:41 7.3K 
[ ]chord__t33_chord2021-07-18 04:07 197K 
[ ]chord__t33_chord.vout2021-07-25 18:54 4.7K 
[ ]chord__t34_chord2021-07-18 04:08 297K 
[ ]chord__t34_chord.vout2021-07-25 17:56 4.7K 
[ ]chord__t35_chord2021-07-18 04:09 73K 
[ ]chord__t35_chord.vout2021-07-25 20:06 4.7K 
[ ]chord__t36_chord2021-07-18 04:10 48K 
[ ]chord__t36_chord.vout2021-07-25 15:32 4.7K 
[ ]chord__t38_chord2021-07-18 04:10 47K 
[ ]chord__t38_chord.vout2021-07-25 20:40 6.8K 
[ ]chord__t39_chord2021-07-18 04:11 49K 
[ ]chord__t39_chord.vout2021-07-25 18:10 4.7K 
[ ]chord__t40_chord2021-07-18 04:12 192K 
[ ]chord__t40_chord.vout2021-07-25 15:53 7.2K 
[ ]chord__t41_chord2021-07-18 04:12 80K 
[ ]chord__t41_chord.vout2021-07-25 17:13 6.7K 
[ ]chord__t42_chord2021-07-18 04:13 126K 
[ ]chord__t42_chord.vout2021-07-25 15:05 7.2K 
[ ]chord__t43_chord2021-07-18 04:14 130K 
[ ]chord__t43_chord.vout2021-07-25 18:50 4.2K 
[ ]chord__t44_chord2021-07-18 04:15 53K 
[ ]chord__t44_chord.vout2021-07-25 16:56 4.6K 
[ ]chord__t45_chord2021-07-18 04:16 64K 
[ ]chord__t45_chord.vout2021-07-25 15:21 6.8K 
[ ]chord__t46_chord2021-07-18 04:16 74K 
[ ]chord__t46_chord.vout2021-07-25 20:47 7.3K 
[ ]chord__t47_chord2021-07-18 04:17 262K 
[ ]chord__t47_chord.vout2021-07-25 17:06 4.7K 
[ ]chord__t48_chord2021-07-18 04:18 352K 
[ ]chord__t48_chord.vout2021-07-25 15:53 4.7K 
[ ]chord__t49_chord2021-07-18 04:19 31K 
[ ]chord__t49_chord.depv12021-07-25 20:57 63  
[ ]chord__t49_chord.depvmin12021-07-25 21:03 63  
[ ]chord__t49_chord.vmin12021-07-25 20:57 911  
[ ]chord__t49_chord.vmin1out2021-07-25 21:00 12K 
[ ]chord__t49_chord.vout2021-07-25 18:06 16K 
[ ]chord__t50_chord2021-07-18 04:19 31K 
[ ]chord__t50_chord.depv12021-07-25 20:57 92  
[ ]chord__t50_chord.depvmin12021-07-25 21:03 63  
[ ]chord__t50_chord.vmin12021-07-25 20:57 1.3K 
[ ]chord__t50_chord.vmin1out2021-07-25 21:02 26K 
[ ]chord__t50_chord.vout2021-07-25 20:44 37K 
[ ]chord__t51_chord2021-07-18 04:20 54K 
[ ]chord__t51_chord.vout2021-07-25 16:52 7.3K 
[ ]chord__t52_chord2021-07-18 04:20 33K 
[ ]chord__t52_chord.depv12021-07-25 20:57 139  
[ ]chord__t52_chord.depvmin12021-07-25 21:03 109  
[ ]chord__t52_chord.vmin12021-07-25 20:57 2.1K 
[ ]chord__t52_chord.vmin1out2021-07-25 20:59 22K 
[ ]chord__t52_chord.vout2021-07-25 16:16 45K 
[ ]chord__t53_chord2021-07-18 04:21 33K 
[ ]chord__t53_chord.depv12021-07-25 20:57 186  
[ ]chord__t53_chord.depvmin12021-07-25 21:03 156  
[ ]chord__t53_chord.vmin12021-07-25 20:57 2.7K 
[ ]chord__t53_chord.vmin1out2021-07-25 20:58 29K 
[ ]chord__t53_chord.vout2021-07-25 15:20 62K 
[ ]chord__t54_chord2021-07-18 04:22 617K 
[ ]chord__t54_chord.vout2021-07-25 20:40 6.8K 
[ ]chord__t55_chord2021-07-18 04:23 578K 
[ ]chord__t55_chord.vout2021-07-25 20:26 6.8K 
[ ]chord__t56_chord2021-07-18 04:24 58K 
[ ]chord__t56_chord.vout2021-07-25 15:36 7.3K 
[ ]chord__t57_chord2021-07-18 04:25 83K 
[ ]chord__t57_chord.vout2021-07-25 16:26 3.6K 
[ ]chord__t58_chord2021-07-18 04:25 67K 
[ ]chord__t58_chord.vout2021-07-25 14:30 3.6K 
[ ]chord__t59_chord2021-07-18 04:26 70K 
[ ]chord__t59_chord.vout2021-07-25 17:21 3.6K 
[ ]chord__t60_chord2021-07-18 04:27 71K 
[ ]chord__t60_chord.vout2021-07-25 17:15 3.6K 
[ ]chord__t61_chord2021-07-18 04:27 33K 
[ ]chord__t61_chord.depv12021-07-25 20:57 126  
[ ]chord__t61_chord.depvmin12021-07-25 21:03 113  
[ ]chord__t61_chord.vmin12021-07-25 20:57 1.4K 
[ ]chord__t61_chord.vmin1out2021-07-25 20:59 15K 
[ ]chord__t61_chord.vout2021-07-25 19:36 24K 
[ ]chord__t62_chord2021-07-18 04:28 53K 
[ ]chord__t62_chord.vout2021-07-25 15:22 4.7K 
[ ]chord__t63_chord2021-07-18 04:29 63K 
[ ]chord__t63_chord.vout2021-07-25 20:14 6.7K 
[ ]chord__t64_chord2021-07-18 04:29 48K 
[ ]chord__t64_chord.vout2021-07-25 16:01 7.3K 
[ ]chord__t65_chord2021-07-18 03:46 26K 
[ ]chord__t65_chord.vout2021-07-25 16:10 117K 
[ ]chord__t66_chord2021-07-18 04:30 59K 
[ ]chord__t66_chord.vout2021-07-25 18:11 7.3K 
[ ]chord__t67_chord2021-07-18 04:31 67K 
[ ]chord__t67_chord.vout2021-07-25 16:31 3.6K 
[ ]chord__t68_chord2021-07-18 04:32 68K 
[ ]chord__t68_chord.vout2021-07-25 20:52 4.7K 
[ ]chord__t69_chord2021-07-18 04:33 67K 
[ ]chord__t69_chord.vout2021-07-25 20:45 3.6K 
[ ]chord__t70_chord2021-07-18 04:33 58K 
[ ]chord__t70_chord.vout2021-07-25 20:21 7.3K 
[ ]chord__t71_chord2021-07-18 04:34 83K 
[ ]chord__t71_chord.vout2021-07-25 15:05 4.1K 
[ ]chord__t72_chord2021-07-18 04:35 51K 
[ ]chord__t72_chord.vout2021-07-25 19:25 4.7K 
[ ]chord__t73_chord2021-07-18 04:36 80K 
[ ]chord__t73_chord.vout2021-07-25 16:28 6.7K 
[ ]chord__t74_chord2021-07-18 04:36 59K 
[ ]chord__t74_chord.vout2021-07-25 15:00 7.2K 
[ ]chord__t75_chord2021-07-18 04:37 77K 
[ ]chord__t75_chord.vout2021-07-25 18:25 6.7K 
[ ]chord__t76_chord2021-07-18 04:38 61K 
[ ]chord__t76_chord.vout2021-07-25 15:20 7.3K 
[ ]chord__t77_chord2021-07-18 04:39 75K 
[ ]chord__t77_chord.vout2021-07-25 14:47 6.7K 
[ ]chord__t78_chord2021-07-18 03:46 30K 
[ ]chord__t78_chord.vout2021-07-25 20:07 2.0K 
[ ]chord__t79_chord2021-07-18 04:39 61K 
[ ]chord__t79_chord.vout2021-07-25 17:09 5.2K 
[ ]chord__t80_chord2021-07-18 03:47 31K 
[ ]chord__t80_chord.vout2021-07-25 18:23 7.3K 
[ ]chord__t81_chord2021-07-18 04:40 67K 
[ ]chord__t81_chord.vout2021-07-25 20:06 7.2K 
[ ]chord__t82_chord2021-07-18 04:41 321K 
[ ]chord__t82_chord.vout2021-07-25 15:35 6.8K 
[ ]chord__t83_chord2021-07-18 04:42 45K 
[ ]chord__t83_chord.depv12021-07-25 20:57 80  
[ ]chord__t83_chord.depvmin12021-07-25 21:03 58  
[ ]chord__t83_chord.vmin12021-07-25 20:57 2.9K 
[ ]chord__t83_chord.vmin1out2021-07-25 20:58 60K 
[ ]chord__t83_chord.vout2021-07-25 16:43 62K 
[ ]chord__t84_chord2021-07-18 04:43 300K 
[ ]chord__t84_chord.vout2021-07-25 18:11 7.3K 
[ ]chord__t85_chord2021-07-18 04:44 286K 
[ ]chord__t85_chord.vout2021-07-25 14:53 4.7K 
[ ]chord__t86_chord2021-07-18 04:44 72K 
[ ]chord__t86_chord.vout2021-07-25 17:31 4.7K 
[ ]chord__t87_chord2021-07-18 04:45 84K 
[ ]chord__t87_chord.vout2021-07-25 17:53 6.8K 
[ ]chord__t88_chord2021-07-18 04:46 146K 
[ ]chord__t88_chord.vout2021-07-25 19:43 4.7K 
[ ]chord__t89_chord2021-07-18 03:47 66K 
[ ]chord__t89_chord.vout2021-07-25 20:14 7.8K 
[ ]chord__t90_chord2021-07-18 04:46 100K 
[ ]chord__t90_chord.vout2021-07-25 18:22 4.7K 
[ ]chord__t91_chord2021-07-18 04:47 41K 
[ ]chord__t91_chord.depv12021-07-25 20:57 63  
[ ]chord__t91_chord.depvmin12021-07-25 21:03 63  
[ ]chord__t91_chord.vmin12021-07-25 20:57 941  
[ ]chord__t91_chord.vmin1out2021-07-25 21:02 12K 
[ ]chord__t91_chord.vout2021-07-25 17:58 11K 
[ ]chord__t92_chord2021-07-18 04:48 112K 
[ ]chord__t92_chord.vout2021-07-25 19:45 4.7K 
[ ]chord__t93_chord2021-07-18 04:49 204K 
[ ]chord__t93_chord.vout2021-07-25 16:55 6.7K 
[ ]chord__t94_chord2021-07-18 04:49 86K 
[ ]chord__t94_chord.vout2021-07-25 16:42 6.8K 
[ ]chord__t95_chord2021-07-18 04:50 183K 
[ ]chord__t95_chord.vout2021-07-25 20:11 4.7K 
[ ]chord__t96_chord2021-07-18 04:50 69K 
[ ]chord__t96_chord.vout2021-07-25 15:17 7.3K 
[ ]chord__t97_chord2021-07-18 04:51 540K 
[ ]chord__t97_chord.vout2021-07-25 16:29 4.7K 
[ ]chord__t98_chord2021-07-18 04:52 348K 
[ ]chord__t98_chord.vout2021-07-25 20:32 3.6K 
[ ]chord__t99_chord2021-07-18 04:53 591K 
[ ]chord__t99_chord.vout2021-07-25 20:18 7.3K 
[ ]chord__t100_chord2021-07-18 04:54 704K 
[ ]chord__t100_chord.vout2021-07-25 18:10 3.6K 
[ ]chord__t101_chord2021-07-18 04:55 44K 
[ ]chord__t101_chord.depv12021-07-25 20:57 47  
[ ]chord__t101_chord.depvmin12021-07-25 21:03 47  
[ ]chord__t101_chord.vmin12021-07-25 20:57 1.7K 
[ ]chord__t101_chord.vmin1out2021-07-25 20:59 57K 
[ ]chord__t101_chord.vout2021-07-25 18:25 56K 
[ ]chord__t102_chord2021-07-18 04:56 94K 
[ ]chord__t102_chord.vout2021-07-25 15:14 3.6K 
[ ]chord__t103_chord2021-07-18 04:57 28K 
[ ]chord__t103_chord.depv12021-07-25 20:57 64  
[ ]chord__t103_chord.depvmin12021-07-25 21:03 64  
[ ]chord__t103_chord.vmin12021-07-25 20:57 1.3K 
[ ]chord__t103_chord.vmin1out2021-07-25 21:01 20K 
[ ]chord__t103_chord.vout2021-07-25 16:38 20K 
[ ]chord__t104_chord2021-07-18 04:57 39K 
[ ]chord__t104_chord.depv12021-07-25 20:57 74  
[ ]chord__t104_chord.depvmin12021-07-25 21:03 74  
[ ]chord__t104_chord.vmin12021-07-25 20:57 1.2K 
[ ]chord__t104_chord.vmin1out2021-07-25 20:59 15K 
[ ]chord__t104_chord.vout2021-07-25 20:50 17K 
[ ]chord__t105_chord2021-07-18 03:48 39K 
[ ]chord__t105_chord.vout2021-07-25 18:32 2.0K 
[ ]chord__t106_chord2021-07-18 04:57 57K 
[ ]chord__t106_chord.depv12021-07-25 20:57 46  
[ ]chord__t106_chord.depvmin12021-07-25 21:03 46  
[ ]chord__t106_chord.vmin12021-07-25 20:57 1.5K 
[ ]chord__t106_chord.vmin1out2021-07-25 21:00 21K 
[ ]chord__t106_chord.vout2021-07-25 15:56 14K 
[ ]chord__t107_chord2021-07-18 04:58 69K 
[ ]chord__t107_chord.vout2021-07-25 16:32 7.3K 
[ ]chord__t108_chord2021-07-18 04:59 60K 
[ ]chord__t108_chord.vout2021-07-25 17:14 4.7K 
[ ]chord__t109_chord2021-07-18 05:00 206K 
[ ]chord__t109_chord.vout2021-07-25 17:13 4.2K 
[ ]chord__t110_chord2021-07-18 05:00 76K 
[ ]chord__t110_chord.vout2021-07-25 20:16 4.7K 
[ ]chord__t111_chord2021-07-18 05:01 103K 
[ ]chord__t111_chord.vout2021-07-25 17:09 5.2K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80