Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/chord

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]chord__t112_chord.vout2025-09-15 14:18 6.8K 
[ ]chord__t112_chord2025-09-09 06:05 165K 
[ ]chord__t111_chord.vout2025-09-15 14:08 5.3K 
[ ]chord__t111_chord2025-09-09 06:03 107K 
[ ]chord__t110_chord.vout2025-09-15 13:58 4.7K 
[ ]chord__t110_chord2025-09-09 06:00 79K 
[ ]chord__t109_chord.vout2025-09-15 15:21 4.7K 
[ ]chord__t109_chord2025-09-09 05:58 214K 
[ ]chord__t108_chord.vout2025-09-15 15:23 4.7K 
[ ]chord__t108_chord2025-09-09 05:55 64K 
[ ]chord__t107_chord.vout2025-09-15 14:20 7.3K 
[ ]chord__t107_chord2025-09-09 05:52 70K 
[ ]chord__t106_chord.vout2025-09-15 15:05 14K 
[ ]chord__t106_chord.vmin1out2025-09-15 19:48 21K 
[ ]chord__t106_chord.vmin12025-09-15 19:47 1.5K 
[ ]chord__t106_chord.depvmin12025-09-15 19:51 46  
[ ]chord__t106_chord.depv12025-09-15 19:46 46  
[ ]chord__t106_chord2025-09-09 05:51 59K 
[ ]chord__t105_chord.vout2025-09-15 17:20 19K 
[ ]chord__t105_chord.vmin1out2025-09-15 19:50 15K 
[ ]chord__t105_chord.vmin12025-09-15 19:47 2.2K 
[ ]chord__t105_chord.depvmin12025-09-15 19:51 199  
[ ]chord__t105_chord.depv12025-09-15 19:46 256  
[ ]chord__t105_chord2025-09-09 02:23 40K 
[ ]chord__t104_chord.vout2025-09-15 18:28 17K 
[ ]chord__t104_chord.vmin1out2025-09-15 19:49 15K 
[ ]chord__t104_chord.vmin12025-09-15 19:47 1.2K 
[ ]chord__t104_chord.depvmin12025-09-15 19:51 74  
[ ]chord__t104_chord.depv12025-09-15 19:46 74  
[ ]chord__t104_chord2025-09-09 05:49 40K 
[ ]chord__t103_chord.vout2025-09-15 18:38 20K 
[ ]chord__t103_chord.vmin1out2025-09-15 19:48 20K 
[ ]chord__t103_chord.vmin12025-09-15 19:47 1.3K 
[ ]chord__t103_chord.depvmin12025-09-15 19:51 64  
[ ]chord__t103_chord.depv12025-09-15 19:46 64  
[ ]chord__t103_chord2025-09-09 05:47 28K 
[ ]chord__t102_chord.vout2025-09-15 13:49 3.6K 
[ ]chord__t102_chord2025-09-09 05:46 98K 
[ ]chord__t101_chord.vout2025-09-15 15:11 56K 
[ ]chord__t101_chord.vmin1out2025-09-15 19:49 57K 
[ ]chord__t101_chord.vmin12025-09-15 19:47 1.7K 
[ ]chord__t101_chord.depvmin12025-09-15 19:51 47  
[ ]chord__t101_chord.depv12025-09-15 19:46 47  
[ ]chord__t101_chord2025-09-09 05:43 45K 
[ ]chord__t100_chord.vout2025-09-15 18:46 3.6K 
[ ]chord__t100_chord2025-09-09 05:41 893K 
[ ]chord__t99_chord.vout2025-09-15 18:32 7.3K 
[ ]chord__t99_chord2025-09-09 05:37 731K 
[ ]chord__t98_chord.vout2025-09-15 14:00 3.6K 
[ ]chord__t98_chord2025-09-09 05:34 382K 
[ ]chord__t97_chord.vout2025-09-15 19:36 4.7K 
[ ]chord__t97_chord2025-09-09 05:30 651K 
[ ]chord__t96_chord.vout2025-09-15 16:34 7.3K 
[ ]chord__t96_chord2025-09-09 05:27 70K 
[ ]chord__t95_chord.vout2025-09-15 15:48 4.7K 
[ ]chord__t95_chord2025-09-09 05:25 189K 
[ ]chord__t94_chord.vout2025-09-15 17:49 6.8K 
[ ]chord__t94_chord2025-09-09 05:23 89K 
[ ]chord__t93_chord.vout2025-09-15 14:39 6.7K 
[ ]chord__t93_chord2025-09-09 05:20 221K 
[ ]chord__t92_chord.vout2025-09-15 17:35 4.7K 
[ ]chord__t92_chord2025-09-09 05:18 116K 
[ ]chord__t91_chord.vout2025-09-15 19:24 11K 
[ ]chord__t91_chord.vmin1out2025-09-15 19:50 12K 
[ ]chord__t91_chord.vmin12025-09-15 19:47 941  
[ ]chord__t91_chord.depvmin12025-09-15 19:51 63  
[ ]chord__t91_chord.depv12025-09-15 19:46 63  
[ ]chord__t91_chord2025-09-09 05:15 43K 
[ ]chord__t90_chord.vout2025-09-15 14:59 4.7K 
[ ]chord__t90_chord2025-09-09 05:14 103K 
[ ]chord__t89_chord.vout2025-09-15 16:28 7.8K 
[ ]chord__t89_chord2025-09-09 02:21 68K 
[ ]chord__t88_chord.vout2025-09-15 16:14 4.7K 
[ ]chord__t88_chord2025-09-09 05:11 153K 
[ ]chord__t87_chord.vout2025-09-15 14:25 6.7K 
[ ]chord__t87_chord2025-09-09 05:09 87K 
[ ]chord__t86_chord.vout2025-09-15 17:13 4.7K 
[ ]chord__t86_chord2025-09-09 05:07 74K 
[ ]chord__t85_chord.vout2025-09-15 17:22 4.7K 
[ ]chord__t85_chord2025-09-09 05:04 328K 
[ ]chord__t84_chord.vout2025-09-15 16:21 7.2K 
[ ]chord__t84_chord2025-09-09 05:02 333K 
[ ]chord__t83_chord.vout2025-09-15 16:08 62K 
[ ]chord__t83_chord.vmin1out2025-09-15 19:50 60K 
[ ]chord__t83_chord.vmin12025-09-15 19:47 2.9K 
[ ]chord__t83_chord.depvmin12025-09-15 19:51 58  
[ ]chord__t83_chord.depv12025-09-15 19:46 80  
[ ]chord__t83_chord2025-09-09 04:59 45K 
[ ]chord__t82_chord.vout2025-09-15 16:47 6.7K 
[ ]chord__t82_chord2025-09-09 04:58 355K 
[ ]chord__t81_chord.vout2025-09-15 15:52 7.3K 
[ ]chord__t81_chord2025-09-09 04:55 71K 
[ ]chord__t80_chord.vout2025-09-15 15:47 7.3K 
[ ]chord__t80_chord2025-09-09 02:19 32K 
[ ]chord__t79_chord.vout2025-09-15 15:33 5.2K 
[ ]chord__t79_chord2025-09-09 04:52 63K 
[ ]chord__t78_chord.vout2025-09-15 16:20 2.0K 
[ ]chord__t78_chord2025-09-09 02:18 31K 
[ ]chord__t77_chord.vout2025-09-15 15:22 6.7K 
[ ]chord__t77_chord2025-09-09 04:51 79K 
[ ]chord__t76_chord.vout2025-09-15 16:26 7.3K 
[ ]chord__t76_chord2025-09-09 04:48 63K 
[ ]chord__t75_chord.vout2025-09-15 16:00 7.2K 
[ ]chord__t75_chord2025-09-09 04:46 80K 
[ ]chord__t74_chord.vout2025-09-15 14:05 7.3K 
[ ]chord__t74_chord2025-09-09 04:44 61K 
[ ]chord__t73_chord.vout2025-09-15 17:26 7.2K 
[ ]chord__t73_chord2025-09-09 04:42 83K 
[ ]chord__t72_chord.vout2025-09-15 14:48 4.7K 
[ ]chord__t72_chord2025-09-09 04:39 52K 
[ ]chord__t71_chord.vout2025-09-15 16:28 4.2K 
[ ]chord__t71_chord2025-09-09 04:37 87K 
[ ]chord__t70_chord.vout2025-09-15 14:07 7.3K 
[ ]chord__t70_chord2025-09-09 04:35 60K 
[ ]chord__t69_chord.vout2025-09-15 13:55 3.6K 
[ ]chord__t69_chord2025-09-09 04:32 70K 
[ ]chord__t68_chord.vout2025-09-15 19:07 3.6K 
[ ]chord__t68_chord2025-09-09 04:30 71K 
[ ]chord__t67_chord.vout2025-09-15 18:44 3.6K 
[ ]chord__t67_chord2025-09-09 04:28 70K 
[ ]chord__t66_chord.vout2025-09-15 16:38 7.3K 
[ ]chord__t66_chord2025-09-09 04:26 61K 
[ ]chord__t65_chord.vout2025-09-15 19:32 3.1K 
[ ]chord__t65_chord2025-09-09 02:16 26K 
[ ]chord__t64_chord.vout2025-09-15 17:57 7.3K 
[ ]chord__t64_chord2025-09-09 04:24 51K 
[ ]chord__t63_chord.vout2025-09-15 17:33 6.7K 
[ ]chord__t63_chord2025-09-09 04:22 66K 
[ ]chord__t62_chord.vout2025-09-15 18:17 4.7K 
[ ]chord__t62_chord2025-09-09 04:20 55K 
[ ]chord__t61_chord.vout2025-09-15 17:23 24K 
[ ]chord__t61_chord.vmin1out2025-09-15 19:51 15K 
[ ]chord__t61_chord.vmin12025-09-15 19:47 1.4K 
[ ]chord__t61_chord.depvmin12025-09-15 19:51 113  
[ ]chord__t61_chord.depv12025-09-15 19:46 126  
[ ]chord__t61_chord2025-09-09 04:18 34K 
[ ]chord__t60_chord.vout2025-09-15 17:01 3.6K 
[ ]chord__t60_chord2025-09-09 04:16 74K 
[ ]chord__t59_chord.vout2025-09-15 15:26 3.6K 
[ ]chord__t59_chord2025-09-09 04:14 73K 
[ ]chord__t58_chord.vout2025-09-15 18:54 3.6K 
[ ]chord__t58_chord2025-09-09 04:12 71K 
[ ]chord__t57_chord.vout2025-09-15 18:44 3.6K 
[ ]chord__t57_chord2025-09-09 04:10 87K 
[ ]chord__t56_chord.vout2025-09-15 15:09 7.3K 
[ ]chord__t56_chord2025-09-09 04:07 61K 
[ ]chord__t55_chord.vout2025-09-15 13:49 6.7K 
[ ]chord__t55_chord2025-09-09 04:05 718K 
[ ]chord__t54_chord.vout2025-09-15 17:02 6.8K 
[ ]chord__t54_chord2025-09-09 04:03 794K 
[ ]chord__t53_chord.vout2025-09-15 17:39 62K 
[ ]chord__t53_chord.vmin1out2025-09-15 19:49 29K 
[ ]chord__t53_chord.vmin12025-09-15 19:47 2.7K 
[ ]chord__t53_chord.depvmin12025-09-15 19:51 156  
[ ]chord__t53_chord.depv12025-09-15 19:46 186  
[ ]chord__t53_chord2025-09-09 04:00 34K 
[ ]chord__t52_chord.vout2025-09-15 18:09 45K 
[ ]chord__t52_chord.vmin1out2025-09-15 19:50 22K 
[ ]chord__t52_chord.vmin12025-09-15 19:47 2.1K 
[ ]chord__t52_chord.depvmin12025-09-15 19:51 109  
[ ]chord__t52_chord.depv12025-09-15 19:46 139  
[ ]chord__t52_chord2025-09-09 03:59 34K 
[ ]chord__t51_chord.vout2025-09-15 15:23 7.3K 
[ ]chord__t51_chord2025-09-09 03:57 56K 
[ ]chord__t50_chord.vout2025-09-15 13:45 37K 
[ ]chord__t50_chord.vmin1out2025-09-15 19:48 26K 
[ ]chord__t50_chord.vmin12025-09-15 19:47 1.3K 
[ ]chord__t50_chord.depvmin12025-09-15 19:51 63  
[ ]chord__t50_chord.depv12025-09-15 19:46 92  
[ ]chord__t50_chord2025-09-09 03:55 32K 
[ ]chord__t49_chord.vout2025-09-15 17:22 16K 
[ ]chord__t49_chord.vmin1out2025-09-15 19:49 12K 
[ ]chord__t49_chord.vmin12025-09-15 19:47 911  
[ ]chord__t49_chord.depvmin12025-09-15 19:51 63  
[ ]chord__t49_chord.depv12025-09-15 19:46 63  
[ ]chord__t49_chord2025-09-09 03:53 32K 
[ ]chord__t48_chord.vout2025-09-15 16:57 4.7K 
[ ]chord__t48_chord2025-09-09 03:52 411K 
[ ]chord__t47_chord.vout2025-09-15 15:01 4.7K 
[ ]chord__t47_chord2025-09-09 03:49 283K 
[ ]chord__t46_chord.vout2025-09-15 15:16 7.3K 
[ ]chord__t46_chord2025-09-09 03:47 77K 
[ ]chord__t45_chord.vout2025-09-15 15:42 6.7K 
[ ]chord__t45_chord2025-09-09 03:45 67K 
[ ]chord__t44_chord.vout2025-09-15 15:52 4.7K 
[ ]chord__t44_chord2025-09-09 03:42 55K 
[ ]chord__t43_chord.vout2025-09-15 14:36 3.6K 
[ ]chord__t43_chord2025-09-09 03:41 134K 
[ ]chord__t42_chord.vout2025-09-15 14:31 7.3K 
[ ]chord__t42_chord2025-09-09 03:38 130K 
[ ]chord__t41_chord.vout2025-09-15 18:21 6.7K 
[ ]chord__t41_chord2025-09-09 03:36 83K 
[ ]chord__t40_chord.vout2025-09-15 13:38 7.2K 
[ ]chord__t40_chord2025-09-09 03:34 199K 
[ ]chord__t39_chord.vout2025-09-15 18:29 4.7K 
[ ]chord__t39_chord2025-09-09 03:31 50K 
[ ]chord__t38_chord.vout2025-09-15 19:34 6.7K 
[ ]chord__t38_chord2025-09-09 03:29 49K 
[ ]chord__t36_chord.vout2025-09-15 17:48 4.7K 
[ ]chord__t36_chord2025-09-09 03:28 50K 
[ ]chord__t35_chord.vout2025-09-15 14:10 4.7K 
[ ]chord__t35_chord2025-09-09 03:26 74K 
[ ]chord__t34_chord.vout2025-09-15 14:15 4.6K 
[ ]chord__t34_chord2025-09-09 03:24 330K 
[ ]chord__t33_chord.vout2025-09-15 14:15 4.7K 
[ ]chord__t33_chord2025-09-09 03:21 205K 
[ ]chord__t32_chord.vout2025-09-15 14:10 7.3K 
[ ]chord__t32_chord2025-09-09 03:19 46K 
[ ]chord__t31_chord.vout2025-09-15 17:37 3.6K 
[ ]chord__t31_chord2025-09-09 03:17 65K 
[ ]chord__t30_chord.vout2025-09-15 19:24 4.2K 
[ ]chord__t30_chord2025-09-09 03:15 69K 
[ ]chord__t29_chord.vout2025-09-15 15:37 3.6K 
[ ]chord__t29_chord2025-09-09 03:13 68K 
[ ]chord__t28_chord.vout2025-09-15 15:33 5.2K 
[ ]chord__t28_chord2025-09-09 03:11 53K 
[ ]chord__t27_chord.vout2025-09-15 18:16 4.7K 
[ ]chord__t27_chord2025-09-09 03:09 144K 
[ ]chord__t26_chord.vout2025-09-15 15:40 4.7K 
[ ]chord__t26_chord2025-09-09 03:07 202K 
[ ]chord__t25_chord.vout2025-09-15 14:17 31K 
[ ]chord__t25_chord.vmin1out2025-09-15 19:51 23K 
[ ]chord__t25_chord.vmin12025-09-15 19:47 1.6K 
[ ]chord__t25_chord.depvmin12025-09-15 19:51 94  
[ ]chord__t25_chord.depv12025-09-15 19:46 108  
[ ]chord__t25_chord2025-09-09 03:04 46K 
[ ]chord__t24_chord.vout2025-09-15 18:54 7.3K 
[ ]chord__t24_chord2025-09-09 02:15 41K 
[ ]chord__t23_chord.vout2025-09-15 15:24 6.7K 
[ ]chord__t23_chord2025-09-09 03:02 74K 
[ ]chord__t22_chord.vout2025-09-15 19:41 4.7K 
[ ]chord__t22_chord2025-09-09 03:00 162K 
[ ]chord__t21_chord.vout2025-09-15 19:43 6.7K 
[ ]chord__t21_chord2025-09-09 02:58 83K 
[ ]chord__t20_chord.vout2025-09-15 16:52 7.3K 
[ ]chord__t20_chord2025-09-09 02:56 73K 
[ ]chord__t19_chord.vout2025-09-15 16:49 7.2K 
[ ]chord__t19_chord2025-09-09 02:54 69K 
[ ]chord__t18_chord.vout2025-09-15 14:55 25K 
[ ]chord__t18_chord.vmin1out2025-09-15 19:48 25K 
[ ]chord__t18_chord.vmin12025-09-15 19:47 2.4K 
[ ]chord__t18_chord.depvmin12025-09-15 19:51 276  
[ ]chord__t18_chord.depv12025-09-15 19:46 276  
[ ]chord__t18_chord2025-09-09 02:52 39K 
[ ]chord__t17_chord.vout2025-09-15 16:33 6.7K 
[ ]chord__t17_chord2025-09-09 02:50 72K 
[ ]chord__t16_chord.vout2025-09-15 16:22 4.7K 
[ ]chord__t16_chord2025-09-09 02:48 59K 
[ ]chord__t15_chord.vout2025-09-15 15:16 19K 
[ ]chord__t15_chord.vmin1out2025-09-15 19:48 11K 
[ ]chord__t15_chord.vmin12025-09-15 19:47 884  
[ ]chord__t15_chord.depvmin12025-09-15 19:51 56  
[ ]chord__t15_chord.depv12025-09-15 19:46 56  
[ ]chord__t15_chord2025-09-09 02:46 33K 
[ ]chord__t14_chord.vout2025-09-15 15:44 4.7K 
[ ]chord__t14_chord2025-09-09 02:45 49K 
[ ]chord__t13_chord.vout2025-09-15 13:42 4.7K 
[ ]chord__t13_chord2025-09-09 02:43 41K 
[ ]chord__t12_chord.vout2025-09-15 14:27 4.7K 
[ ]chord__t12_chord2025-09-09 02:42 38K 
[ ]chord__t11_chord.vout2025-09-15 16:04 4.7K 
[ ]chord__t11_chord2025-09-09 02:40 36K 
[ ]chord__t10_chord.vout2025-09-15 13:53 29K 
[ ]chord__t10_chord.vmin1out2025-09-15 19:49 28K 
[ ]chord__t10_chord.vmin12025-09-15 19:47 3.0K 
[ ]chord__t10_chord.depvmin12025-09-15 19:51 491  
[ ]chord__t10_chord.depv12025-09-15 19:46 491  
[ ]chord__t10_chord2025-09-09 02:39 36K 
[ ]chord__t9_chord.vout2025-09-15 18:44 4.1K 
[ ]chord__t9_chord2025-09-09 02:37 42K 
[ ]chord__t8_chord.vout2025-09-15 16:41 23K 
[ ]chord__t8_chord.vmin1out2025-09-15 19:50 18K 
[ ]chord__t8_chord.vmin12025-09-15 19:47 2.1K 
[ ]chord__t8_chord.depvmin12025-09-15 19:51 311  
[ ]chord__t8_chord.depv12025-09-15 19:46 378  
[ ]chord__t8_chord2025-09-09 02:36 39K 
[ ]chord__t7_chord.vout2025-09-15 16:56 4.1K 
[ ]chord__t7_chord2025-09-09 02:34 36K 
[ ]chord__t6_chord.vout2025-09-15 16:28 19K 
[ ]chord__t6_chord.vmin1out2025-09-15 19:50 16K 
[ ]chord__t6_chord.vmin12025-09-15 19:47 1.6K 
[ ]chord__t6_chord.depvmin12025-09-15 19:51 236  
[ ]chord__t6_chord.depv12025-09-15 19:46 259  
[ ]chord__t6_chord2025-09-09 02:33 35K 
[ ]chord__t5_chord.vout2025-09-15 14:11 4.7K 
[ ]chord__t5_chord2025-09-09 02:32 50K 
[ ]chord__t4_chord.vout2025-09-15 13:35 3.2K 
[ ]chord__t4_chord2025-09-09 02:30 34K 
[ ]chord__t3_chord.vout2025-09-15 14:03 3.2K 
[ ]chord__t3_chord2025-09-09 02:29 40K 
[ ]chord__t2_chord.vout2025-09-15 18:46 5.6K 
[ ]chord__t2_chord.vmin1out2025-09-15 19:50 5.4K 
[ ]chord__t2_chord.vmin12025-09-15 19:47 468  
[ ]chord__t2_chord.depvmin12025-09-15 19:51 38  
[ ]chord__t2_chord.depv12025-09-15 19:46 38  
[ ]chord__t2_chord2025-09-09 02:13 31K 
[ ]chord__t1_chord.vout2025-09-15 15:35 2.0K 
[ ]chord__t1_chord2025-09-09 02:27 33K 
[ ]chord__l105_chord.vout2025-09-15 13:50 7.3K 
[ ]chord__l105_chord2025-09-09 06:11 273K 
[ ]chord__l28_chord.vout2025-09-15 14:54 7.3K 
[ ]chord__l28_chord2025-09-09 02:26 40K 
[ ]chord__l27_chord.vout2025-09-15 16:26 7.2K 
[ ]chord__l27_chord2025-09-09 02:24 41K 
[ ]chord__l15_chord.vout2025-09-15 18:17 13K 
[ ]chord__l15_chord.vmin1out2025-09-15 19:50 13K 
[ ]chord__l15_chord.vmin12025-09-15 19:47 786  
[ ]chord__l15_chord.depvmin12025-09-15 19:51 50  
[ ]chord__l15_chord.depv12025-09-15 19:46 50  
[ ]chord__l15_chord2025-09-09 06:08 52K 
[ ]chord__l3_chord.vout2025-09-15 15:14 1.0K 
[ ]chord__l3_chord2025-09-09 06:07 41K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80