Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/chord

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]chord__l3_chord2024-07-28 17:06 41K 
[ ]chord__l3_chord.vout2024-08-03 09:08 1.1K 
[ ]chord__l15_chord2024-07-28 17:08 52K 
[ ]chord__l15_chord.depv12024-08-03 10:19 50  
[ ]chord__l15_chord.depvmin12024-08-03 10:24 50  
[ ]chord__l15_chord.vmin12024-08-03 10:19 786  
[ ]chord__l15_chord.vmin1out2024-08-03 10:22 13K 
[ ]chord__l15_chord.vout2024-08-03 08:17 13K 
[ ]chord__l103_chord2024-07-28 17:10 265K 
[ ]chord__l103_chord.vout2024-08-03 09:46 7.3K 
[ ]chord__t1_chord2024-07-28 13:37 33K 
[ ]chord__t1_chord.vout2024-08-03 07:00 2.0K 
[ ]chord__t2_chord2024-07-28 13:26 31K 
[ ]chord__t2_chord.depv12024-08-03 10:19 38  
[ ]chord__t2_chord.depvmin12024-08-03 10:24 38  
[ ]chord__t2_chord.vmin12024-08-03 10:19 468  
[ ]chord__t2_chord.vmin1out2024-08-03 10:21 5.4K 
[ ]chord__t2_chord.vout2024-08-03 09:36 5.6K 
[ ]chord__t3_chord2024-07-28 13:39 40K 
[ ]chord__t3_chord.vout2024-08-03 08:49 3.2K 
[ ]chord__t4_chord2024-07-28 13:40 34K 
[ ]chord__t4_chord.vout2024-08-03 04:13 3.2K 
[ ]chord__t5_chord2024-07-28 13:41 50K 
[ ]chord__t5_chord.vout2024-08-03 08:06 4.7K 
[ ]chord__t6_chord2024-07-28 13:43 35K 
[ ]chord__t6_chord.depv12024-08-03 10:19 259  
[ ]chord__t6_chord.depvmin12024-08-03 10:24 236  
[ ]chord__t6_chord.vmin12024-08-03 10:19 1.6K 
[ ]chord__t6_chord.vmin1out2024-08-03 10:23 16K 
[ ]chord__t6_chord.vout2024-08-03 04:59 19K 
[ ]chord__t7_chord2024-07-28 13:44 36K 
[ ]chord__t7_chord.vout2024-08-03 09:15 4.1K 
[ ]chord__t8_chord2024-07-28 13:45 39K 
[ ]chord__t8_chord.depv12024-08-03 10:19 378  
[ ]chord__t8_chord.depvmin12024-08-03 10:24 311  
[ ]chord__t8_chord.vmin12024-08-03 10:19 2.1K 
[ ]chord__t8_chord.vmin1out2024-08-03 10:21 18K 
[ ]chord__t8_chord.vout2024-08-03 04:15 23K 
[ ]chord__t9_chord2024-07-28 13:47 42K 
[ ]chord__t9_chord.vout2024-08-03 08:13 4.1K 
[ ]chord__t10_chord2024-07-28 13:48 36K 
[ ]chord__t10_chord.depv12024-08-03 10:19 491  
[ ]chord__t10_chord.depvmin12024-08-03 10:24 491  
[ ]chord__t10_chord.vmin12024-08-03 10:19 3.0K 
[ ]chord__t10_chord.vmin1out2024-08-03 10:22 28K 
[ ]chord__t10_chord.vout2024-08-03 08:15 29K 
[ ]chord__t11_chord2024-07-28 13:49 36K 
[ ]chord__t11_chord.vout2024-08-03 09:40 4.7K 
[ ]chord__t12_chord2024-07-28 13:51 38K 
[ ]chord__t12_chord.vout2024-08-03 05:10 4.7K 
[ ]chord__t13_chord2024-07-28 13:52 41K 
[ ]chord__t13_chord.vout2024-08-03 07:10 4.7K 
[ ]chord__t14_chord2024-07-28 13:54 48K 
[ ]chord__t14_chord.vout2024-08-03 08:03 4.7K 
[ ]chord__t15_chord2024-07-28 13:55 33K 
[ ]chord__t15_chord.depv12024-08-03 10:19 56  
[ ]chord__t15_chord.depvmin12024-08-03 10:24 56  
[ ]chord__t15_chord.vmin12024-08-03 10:19 884  
[ ]chord__t15_chord.vmin1out2024-08-03 10:20 11K 
[ ]chord__t15_chord.vout2024-08-03 10:18 19K 
[ ]chord__t16_chord2024-07-28 13:57 58K 
[ ]chord__t16_chord.vout2024-08-03 05:10 4.7K 
[ ]chord__t17_chord2024-07-28 13:59 71K 
[ ]chord__t17_chord.vout2024-08-03 10:14 6.8K 
[ ]chord__t18_chord2024-07-28 14:00 39K 
[ ]chord__t18_chord.depv12024-08-03 10:19 276  
[ ]chord__t18_chord.depvmin12024-08-03 10:24 276  
[ ]chord__t18_chord.vmin12024-08-03 10:19 2.4K 
[ ]chord__t18_chord.vmin1out2024-08-03 10:20 25K 
[ ]chord__t18_chord.vout2024-08-03 07:11 25K 
[ ]chord__t19_chord2024-07-28 14:02 67K 
[ ]chord__t19_chord.vout2024-08-03 05:45 6.7K 
[ ]chord__t20_chord2024-07-28 14:04 73K 
[ ]chord__t20_chord.vout2024-08-03 05:54 7.2K 
[ ]chord__t21_chord2024-07-28 14:07 81K 
[ ]chord__t21_chord.vout2024-08-03 08:58 6.8K 
[ ]chord__t22_chord2024-07-28 14:09 160K 
[ ]chord__t22_chord.vout2024-08-03 08:50 4.7K 
[ ]chord__t23_chord2024-07-28 14:11 72K 
[ ]chord__t23_chord.vout2024-08-03 10:03 7.2K 
[ ]chord__t24_chord2024-07-28 13:28 59K 
[ ]chord__t24_chord.vout2024-08-03 10:03 4.7K 
[ ]chord__t25_chord2024-07-28 14:13 46K 
[ ]chord__t25_chord.depv12024-08-03 10:19 108  
[ ]chord__t25_chord.depvmin12024-08-03 10:24 94  
[ ]chord__t25_chord.vmin12024-08-03 10:19 1.6K 
[ ]chord__t25_chord.vmin1out2024-08-03 10:22 23K 
[ ]chord__t25_chord.vout2024-08-03 07:07 31K 
[ ]chord__t26_chord2024-07-28 14:15 200K 
[ ]chord__t26_chord.vout2024-08-03 05:10 4.7K 
[ ]chord__t27_chord2024-07-28 14:18 143K 
[ ]chord__t27_chord.vout2024-08-03 09:04 4.7K 
[ ]chord__t28_chord2024-07-28 14:20 53K 
[ ]chord__t28_chord.vout2024-08-03 06:07 4.7K 
[ ]chord__t29_chord2024-07-28 14:22 67K 
[ ]chord__t29_chord.vout2024-08-03 04:12 4.2K 
[ ]chord__t30_chord2024-07-28 14:24 67K 
[ ]chord__t30_chord.vout2024-08-03 10:08 4.2K 
[ ]chord__t31_chord2024-07-28 14:26 63K 
[ ]chord__t31_chord.vout2024-08-03 06:41 3.6K 
[ ]chord__t32_chord2024-07-28 14:27 46K 
[ ]chord__t32_chord.vout2024-08-03 09:02 7.3K 
[ ]chord__t33_chord2024-07-28 14:30 202K 
[ ]chord__t33_chord.vout2024-08-03 06:22 4.7K 
[ ]chord__t34_chord2024-07-28 14:32 319K 
[ ]chord__t34_chord.vout2024-08-03 07:30 4.7K 
[ ]chord__t35_chord2024-07-28 14:34 74K 
[ ]chord__t35_chord.vout2024-08-03 04:20 4.7K 
[ ]chord__t36_chord2024-07-28 14:36 50K 
[ ]chord__t36_chord.vout2024-08-03 07:17 4.7K 
[ ]chord__t38_chord2024-07-28 14:37 49K 
[ ]chord__t38_chord.vout2024-08-03 04:27 6.7K 
[ ]chord__t39_chord2024-07-28 14:39 50K 
[ ]chord__t39_chord.vout2024-08-03 04:18 4.7K 
[ ]chord__t40_chord2024-07-28 14:42 196K 
[ ]chord__t40_chord.vout2024-08-03 05:30 7.2K 
[ ]chord__t41_chord2024-07-28 14:44 81K 
[ ]chord__t41_chord.vout2024-08-03 05:08 6.8K 
[ ]chord__t42_chord2024-07-28 14:46 129K 
[ ]chord__t42_chord.vout2024-08-03 04:21 7.3K 
[ ]chord__t43_chord2024-07-28 14:48 133K 
[ ]chord__t43_chord.vout2024-08-03 08:17 3.6K 
[ ]chord__t44_chord2024-07-28 14:50 53K 
[ ]chord__t44_chord.vout2024-08-03 06:35 4.7K 
[ ]chord__t45_chord2024-07-28 14:52 65K 
[ ]chord__t45_chord.vout2024-08-03 10:13 6.8K 
[ ]chord__t46_chord2024-07-28 14:54 75K 
[ ]chord__t46_chord.vout2024-08-03 08:14 7.3K 
[ ]chord__t47_chord2024-07-28 14:57 274K 
[ ]chord__t47_chord.vout2024-08-03 07:16 4.7K 
[ ]chord__t48_chord2024-07-28 14:59 398K 
[ ]chord__t48_chord.vout2024-08-03 07:34 4.7K 
[ ]chord__t49_chord2024-07-28 15:01 32K 
[ ]chord__t49_chord.depv12024-08-03 10:19 63  
[ ]chord__t49_chord.depvmin12024-08-03 10:24 63  
[ ]chord__t49_chord.vmin12024-08-03 10:19 911  
[ ]chord__t49_chord.vmin1out2024-08-03 10:20 12K 
[ ]chord__t49_chord.vout2024-08-03 09:07 16K 
[ ]chord__t50_chord2024-07-28 15:02 32K 
[ ]chord__t50_chord.depv12024-08-03 10:19 92  
[ ]chord__t50_chord.depvmin12024-08-03 10:24 63  
[ ]chord__t50_chord.vmin12024-08-03 10:19 1.3K 
[ ]chord__t50_chord.vmin1out2024-08-03 10:22 26K 
[ ]chord__t50_chord.vout2024-08-03 04:20 37K 
[ ]chord__t51_chord2024-07-28 15:04 55K 
[ ]chord__t51_chord.vout2024-08-03 06:25 7.3K 
[ ]chord__t52_chord2024-07-28 15:06 34K 
[ ]chord__t52_chord.depv12024-08-03 10:19 139  
[ ]chord__t52_chord.depvmin12024-08-03 10:24 109  
[ ]chord__t52_chord.vmin12024-08-03 10:19 2.1K 
[ ]chord__t52_chord.vmin1out2024-08-03 10:22 22K 
[ ]chord__t52_chord.vout2024-08-03 06:18 45K 
[ ]chord__t53_chord2024-07-28 15:07 34K 
[ ]chord__t53_chord.depv12024-08-03 10:19 186  
[ ]chord__t53_chord.depvmin12024-08-03 10:24 156  
[ ]chord__t53_chord.vmin12024-08-03 10:19 2.7K 
[ ]chord__t53_chord.vmin1out2024-08-03 10:20 29K 
[ ]chord__t53_chord.vout2024-08-03 09:45 62K 
[ ]chord__t54_chord2024-07-28 15:10 747K 
[ ]chord__t54_chord.vout2024-08-03 04:44 6.7K 
[ ]chord__t55_chord2024-07-28 15:12 685K 
[ ]chord__t55_chord.vout2024-08-03 08:34 6.7K 
[ ]chord__t56_chord2024-07-28 15:14 59K 
[ ]chord__t56_chord.vout2024-08-03 06:56 7.3K 
[ ]chord__t57_chord2024-07-28 15:17 85K 
[ ]chord__t57_chord.vout2024-08-03 04:45 3.6K 
[ ]chord__t58_chord2024-07-28 15:19 68K 
[ ]chord__t58_chord.vout2024-08-03 08:50 3.6K 
[ ]chord__t59_chord2024-07-28 15:21 71K 
[ ]chord__t59_chord.vout2024-08-03 08:26 3.6K 
[ ]chord__t60_chord2024-07-28 15:23 72K 
[ ]chord__t60_chord.vout2024-08-03 09:45 3.6K 
[ ]chord__t61_chord2024-07-28 15:24 33K 
[ ]chord__t61_chord.depv12024-08-03 10:19 126  
[ ]chord__t61_chord.depvmin12024-08-03 10:24 113  
[ ]chord__t61_chord.vmin12024-08-03 10:19 1.4K 
[ ]chord__t61_chord.vmin1out2024-08-03 10:20 15K 
[ ]chord__t61_chord.vout2024-08-03 09:48 24K 
[ ]chord__t62_chord2024-07-28 15:26 54K 
[ ]chord__t62_chord.vout2024-08-03 09:34 4.7K 
[ ]chord__t63_chord2024-07-28 15:28 64K 
[ ]chord__t63_chord.vout2024-08-03 05:39 6.7K 
[ ]chord__t64_chord2024-07-28 15:30 49K 
[ ]chord__t64_chord.vout2024-08-03 05:41 7.8K 
[ ]chord__t65_chord2024-07-28 13:30 26K 
[ ]chord__t65_chord.vout2024-08-03 06:15 110K 
[ ]chord__t66_chord2024-07-28 15:32 60K 
[ ]chord__t66_chord.vout2024-08-03 06:14 7.3K 
[ ]chord__t67_chord2024-07-28 15:34 68K 
[ ]chord__t67_chord.vout2024-08-03 07:36 3.6K 
[ ]chord__t68_chord2024-07-28 15:36 69K 
[ ]chord__t68_chord.vout2024-08-03 08:10 3.6K 
[ ]chord__t69_chord2024-07-28 15:38 68K 
[ ]chord__t69_chord.vout2024-08-03 07:37 3.6K 
[ ]chord__t70_chord2024-07-28 15:40 60K 
[ ]chord__t70_chord.vout2024-08-03 09:20 7.3K 
[ ]chord__t71_chord2024-07-28 15:42 85K 
[ ]chord__t71_chord.vout2024-08-03 06:02 4.7K 
[ ]chord__t72_chord2024-07-28 15:44 52K 
[ ]chord__t72_chord.vout2024-08-03 09:55 4.7K 
[ ]chord__t73_chord2024-07-28 15:47 81K 
[ ]chord__t73_chord.vout2024-08-03 06:55 6.7K 
[ ]chord__t74_chord2024-07-28 15:49 60K 
[ ]chord__t74_chord.vout2024-08-03 10:14 7.3K 
[ ]chord__t75_chord2024-07-28 15:51 78K 
[ ]chord__t75_chord.vout2024-08-03 05:54 6.7K 
[ ]chord__t76_chord2024-07-28 15:53 63K 
[ ]chord__t76_chord.vout2024-08-03 04:54 7.2K 
[ ]chord__t77_chord2024-07-28 15:55 77K 
[ ]chord__t77_chord.vout2024-08-03 06:59 6.7K 
[ ]chord__t78_chord2024-07-28 13:31 31K 
[ ]chord__t78_chord.vout2024-08-03 04:53 2.0K 
[ ]chord__t79_chord2024-07-28 15:57 62K 
[ ]chord__t79_chord.vout2024-08-03 05:51 5.2K 
[ ]chord__t80_chord2024-07-28 13:32 32K 
[ ]chord__t80_chord.vout2024-08-03 07:03 7.3K 
[ ]chord__t81_chord2024-07-28 15:59 69K 
[ ]chord__t81_chord.vout2024-08-03 10:17 7.2K 
[ ]chord__t82_chord2024-07-28 16:02 343K 
[ ]chord__t82_chord.vout2024-08-03 07:39 6.7K 
[ ]chord__t83_chord2024-07-28 16:04 45K 
[ ]chord__t83_chord.depv12024-08-03 10:19 80  
[ ]chord__t83_chord.depvmin12024-08-03 10:24 58  
[ ]chord__t83_chord.vmin12024-08-03 10:19 2.9K 
[ ]chord__t83_chord.vmin1out2024-08-03 10:22 60K 
[ ]chord__t83_chord.vout2024-08-03 07:24 62K 
[ ]chord__t84_chord2024-07-28 16:06 322K 
[ ]chord__t84_chord.vout2024-08-03 08:47 7.2K 
[ ]chord__t85_chord2024-07-28 16:09 316K 
[ ]chord__t85_chord.vout2024-08-03 04:40 4.7K 
[ ]chord__t86_chord2024-07-28 16:11 73K 
[ ]chord__t86_chord.vout2024-08-03 09:25 4.7K 
[ ]chord__t87_chord2024-07-28 16:13 86K 
[ ]chord__t87_chord.vout2024-08-03 06:31 6.7K 
[ ]chord__t88_chord2024-07-28 16:15 150K 
[ ]chord__t88_chord.vout2024-08-03 04:25 5.2K 
[ ]chord__t89_chord2024-07-28 13:34 67K 
[ ]chord__t89_chord.vout2024-08-03 04:15 7.8K 
[ ]chord__t90_chord2024-07-28 16:17 102K 
[ ]chord__t90_chord.vout2024-08-03 07:04 4.7K 
[ ]chord__t91_chord2024-07-28 16:19 43K 
[ ]chord__t91_chord.depv12024-08-03 10:19 63  
[ ]chord__t91_chord.depvmin12024-08-03 10:24 63  
[ ]chord__t91_chord.vmin12024-08-03 10:19 941  
[ ]chord__t91_chord.vmin1out2024-08-03 10:20 12K 
[ ]chord__t91_chord.vout2024-08-03 08:51 11K 
[ ]chord__t92_chord2024-07-28 16:21 114K 
[ ]chord__t92_chord.vout2024-08-03 06:37 4.7K 
[ ]chord__t93_chord2024-07-28 16:24 213K 
[ ]chord__t93_chord.vout2024-08-03 07:01 6.8K 
[ ]chord__t94_chord2024-07-28 16:26 87K 
[ ]chord__t94_chord.vout2024-08-03 04:36 6.7K 
[ ]chord__t95_chord2024-07-28 16:28 187K 
[ ]chord__t95_chord.vout2024-08-03 07:25 4.7K 
[ ]chord__t96_chord2024-07-28 16:30 70K 
[ ]chord__t96_chord.vout2024-08-03 09:30 7.3K 
[ ]chord__t97_chord2024-07-28 16:33 632K 
[ ]chord__t97_chord.vout2024-08-03 07:53 4.7K 
[ ]chord__t98_chord2024-07-28 16:37 371K 
[ ]chord__t98_chord.vout2024-08-03 05:17 3.6K 
[ ]chord__t99_chord2024-07-28 16:40 697K 
[ ]chord__t99_chord.vout2024-08-03 08:26 7.3K 
[ ]chord__t100_chord2024-07-28 16:44 842K 
[ ]chord__t100_chord.vout2024-08-03 04:45 3.6K 
[ ]chord__t101_chord2024-07-28 16:45 45K 
[ ]chord__t101_chord.depv12024-08-03 10:19 47  
[ ]chord__t101_chord.depvmin12024-08-03 10:24 47  
[ ]chord__t101_chord.vmin12024-08-03 10:19 1.7K 
[ ]chord__t101_chord.vmin1out2024-08-03 10:21 57K 
[ ]chord__t101_chord.vout2024-08-03 04:15 56K 
[ ]chord__t102_chord2024-07-28 16:48 96K 
[ ]chord__t102_chord.vout2024-08-03 06:36 3.6K 
[ ]chord__t103_chord2024-07-28 16:50 28K 
[ ]chord__t103_chord.depv12024-08-03 10:19 64  
[ ]chord__t103_chord.depvmin12024-08-03 10:24 64  
[ ]chord__t103_chord.vmin12024-08-03 10:19 1.3K 
[ ]chord__t103_chord.vmin1out2024-08-03 10:20 20K 
[ ]chord__t103_chord.vout2024-08-03 05:24 20K 
[ ]chord__t104_chord2024-07-28 16:51 40K 
[ ]chord__t104_chord.depv12024-08-03 10:19 74  
[ ]chord__t104_chord.depvmin12024-08-03 10:24 74  
[ ]chord__t104_chord.vmin12024-08-03 10:19 1.2K 
[ ]chord__t104_chord.vmin1out2024-08-03 10:21 15K 
[ ]chord__t104_chord.vout2024-08-03 07:41 17K 
[ ]chord__t105_chord2024-07-28 13:36 40K 
[ ]chord__t105_chord.depv12024-08-03 10:19 256  
[ ]chord__t105_chord.depvmin12024-08-03 10:24 199  
[ ]chord__t105_chord.vmin12024-08-03 10:19 2.2K 
[ ]chord__t105_chord.vmin1out2024-08-03 10:23 15K 
[ ]chord__t105_chord.vout2024-08-03 05:17 19K 
[ ]chord__t106_chord2024-07-28 16:53 58K 
[ ]chord__t106_chord.depv12024-08-03 10:19 46  
[ ]chord__t106_chord.depvmin12024-08-03 10:24 46  
[ ]chord__t106_chord.vmin12024-08-03 10:19 1.5K 
[ ]chord__t106_chord.vmin1out2024-08-03 10:20 21K 
[ ]chord__t106_chord.vout2024-08-03 05:50 14K 
[ ]chord__t107_chord2024-07-28 16:55 70K 
[ ]chord__t107_chord.vout2024-08-03 04:29 7.3K 
[ ]chord__t108_chord2024-07-28 16:57 62K 
[ ]chord__t108_chord.vout2024-08-03 08:49 4.7K 
[ ]chord__t109_chord2024-07-28 17:00 211K 
[ ]chord__t109_chord.vout2024-08-03 07:56 4.2K 
[ ]chord__t110_chord2024-07-28 17:02 77K 
[ ]chord__t110_chord.vout2024-08-03 05:27 4.7K 
[ ]chord__t111_chord2024-07-28 17:05 105K 
[ ]chord__t111_chord.vout2024-08-03 06:00 5.2K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80