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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]goboard6__t93_goboard6.vout2024-08-03 07:29 7.3K 
[ ]goboard6__t93_goboard62024-07-28 19:13 34K 
[ ]goboard6__t92_goboard6.vout2024-08-03 08:57 62K 
[ ]goboard6__t92_goboard6.vmin1out2024-08-03 10:21 63K 
[ ]goboard6__t92_goboard6.vmin12024-08-03 10:19 2.8K 
[ ]goboard6__t92_goboard6.depvmin12024-08-03 10:24 168  
[ ]goboard6__t92_goboard6.depv12024-08-03 10:19 168  
[ ]goboard6__t92_goboard62024-07-28 19:12 20K 
[ ]goboard6__t91_goboard6.vout2024-08-03 04:41 22K 
[ ]goboard6__t91_goboard6.vmin1out2024-08-03 10:23 24K 
[ ]goboard6__t91_goboard6.vmin12024-08-03 10:19 2.0K 
[ ]goboard6__t91_goboard6.depvmin12024-08-03 10:24 141  
[ ]goboard6__t91_goboard6.depv12024-08-03 10:19 141  
[ ]goboard6__t91_goboard62024-07-28 19:10 18K 
[ ]goboard6__t90_goboard6.vout2024-08-03 04:52 7.9K 
[ ]goboard6__t90_goboard62024-07-28 19:09 35K 
[ ]goboard6__t89_goboard6.vout2024-08-03 08:05 7.9K 
[ ]goboard6__t89_goboard62024-07-28 19:08 35K 
[ ]goboard6__t88_goboard6.vout2024-08-03 07:28 8.4K 
[ ]goboard6__t88_goboard62024-07-28 19:06 35K 
[ ]goboard6__t87_goboard6.vout2024-08-03 06:11 8.4K 
[ ]goboard6__t87_goboard62024-07-28 19:04 37K 
[ ]goboard6__t86_goboard6.vout2024-08-03 08:17 7.3K 
[ ]goboard6__t86_goboard62024-07-28 19:03 47K 
[ ]goboard6__t85_goboard6.vout2024-08-03 05:09 7.4K 
[ ]goboard6__t85_goboard62024-07-28 19:01 49K 
[ ]goboard6__t84_goboard6.vout2024-08-03 10:04 7.3K 
[ ]goboard6__t84_goboard62024-07-28 18:59 49K 
[ ]goboard6__t83_goboard6.vout2024-08-03 05:15 7.3K 
[ ]goboard6__t83_goboard62024-07-28 18:57 47K 
[ ]goboard6__t82_goboard6.vout2024-08-03 08:05 7.4K 
[ ]goboard6__t82_goboard62024-07-28 18:55 47K 
[ ]goboard6__t81_goboard6.vout2024-08-03 07:29 3.7K 
[ ]goboard6__t81_goboard62024-07-28 18:53 101K 
[ ]goboard6__t80_goboard6.vout2024-08-03 05:10 3.7K 
[ ]goboard6__t80_goboard62024-07-28 18:51 104K 
[ ]goboard6__t79_goboard6.vout2024-08-03 07:26 3.7K 
[ ]goboard6__t79_goboard62024-07-28 18:49 100K 
[ ]goboard6__t78_goboard6.vout2024-08-03 08:44 3.7K 
[ ]goboard6__t78_goboard62024-07-28 18:47 103K 
[ ]goboard6__t77_goboard6.vout2024-08-03 05:20 3.7K 
[ ]goboard6__t77_goboard62024-07-28 18:45 101K 
[ ]goboard6__t76_goboard6.vout2024-08-03 05:28 3.7K 
[ ]goboard6__t76_goboard62024-07-28 18:43 104K 
[ ]goboard6__t75_goboard6.vout2024-08-03 08:50 3.7K 
[ ]goboard6__t75_goboard62024-07-28 18:41 100K 
[ ]goboard6__t74_goboard6.vout2024-08-03 04:28 3.7K 
[ ]goboard6__t74_goboard62024-07-28 18:39 103K 
[ ]goboard6__t73_goboard6.vout2024-08-03 04:36 3.7K 
[ ]goboard6__t73_goboard62024-07-28 18:37 103K 
[ ]goboard6__t72_goboard6.vout2024-08-03 08:30 3.7K 
[ ]goboard6__t72_goboard62024-07-28 18:35 106K 
[ ]goboard6__t71_goboard6.vout2024-08-03 05:02 3.7K 
[ ]goboard6__t71_goboard62024-07-28 18:33 103K 
[ ]goboard6__t70_goboard6.vout2024-08-03 05:33 3.7K 
[ ]goboard6__t70_goboard62024-07-28 18:31 106K 
[ ]goboard6__t69_goboard6.vout2024-08-03 08:55 3.7K 
[ ]goboard6__t69_goboard62024-07-28 18:29 104K 
[ ]goboard6__t68_goboard6.vout2024-08-03 09:32 3.7K 
[ ]goboard6__t68_goboard62024-07-28 18:27 107K 
[ ]goboard6__t67_goboard6.vout2024-08-03 05:43 3.7K 
[ ]goboard6__t67_goboard62024-07-28 18:25 104K 
[ ]goboard6__t66_goboard6.vout2024-08-03 08:17 3.7K 
[ ]goboard6__t66_goboard62024-07-28 18:23 107K 
[ ]goboard6__t65_goboard6.vout2024-08-03 05:47 4.8K 
[ ]goboard6__t65_goboard62024-07-28 18:21 102K 
[ ]goboard6__t64_goboard6.vout2024-08-03 07:46 4.8K 
[ ]goboard6__t64_goboard62024-07-28 18:19 102K 
[ ]goboard6__t63_goboard6.vout2024-08-03 09:32 3.7K 
[ ]goboard6__t63_goboard62024-07-28 18:17 47K 
[ ]goboard6__t62_goboard6.vout2024-08-03 06:28 3.7K 
[ ]goboard6__t62_goboard62024-07-28 18:15 47K 
[ ]goboard6__t61_goboard6.vout2024-08-03 09:56 3.7K 
[ ]goboard6__t61_goboard62024-07-28 18:13 50K 
[ ]goboard6__t60_goboard6.vout2024-08-03 09:27 3.7K 
[ ]goboard6__t60_goboard62024-07-28 18:11 48K 
[ ]goboard6__t59_goboard6.vout2024-08-03 06:04 3.7K 
[ ]goboard6__t59_goboard62024-07-28 18:09 47K 
[ ]goboard6__t58_goboard6.vout2024-08-03 07:55 3.7K 
[ ]goboard6__t58_goboard62024-07-28 18:08 50K 
[ ]goboard6__t57_goboard6.vout2024-08-03 05:18 3.7K 
[ ]goboard6__t57_goboard62024-07-28 18:06 47K 
[ ]goboard6__t56_goboard6.vout2024-08-03 08:09 3.7K 
[ ]goboard6__t56_goboard62024-07-28 18:04 48K 
[ ]goboard6__t55_goboard6.vout2024-08-03 08:56 3.7K 
[ ]goboard6__t55_goboard62024-07-28 18:02 60K 
[ ]goboard6__t54_goboard6.vout2024-08-03 06:49 3.7K 
[ ]goboard6__t54_goboard62024-07-28 18:00 60K 
[ ]goboard6__t53_goboard6.vout2024-08-03 06:52 3.7K 
[ ]goboard6__t53_goboard62024-07-28 17:58 63K 
[ ]goboard6__t52_goboard6.vout2024-08-03 10:03 3.7K 
[ ]goboard6__t52_goboard62024-07-28 17:56 62K 
[ ]goboard6__t51_goboard6.vout2024-08-03 09:41 3.7K 
[ ]goboard6__t51_goboard62024-07-28 17:54 60K 
[ ]goboard6__t50_goboard6.vout2024-08-03 09:28 3.7K 
[ ]goboard6__t50_goboard62024-07-28 17:52 60K 
[ ]goboard6__t49_goboard6.vout2024-08-03 07:32 3.7K 
[ ]goboard6__t49_goboard62024-07-28 17:50 63K 
[ ]goboard6__t48_goboard6.vout2024-08-03 08:28 3.7K 
[ ]goboard6__t48_goboard62024-07-28 17:48 62K 
[ ]goboard6__t47_goboard6.vout2024-08-03 09:12 3.7K 
[ ]goboard6__t47_goboard62024-07-28 17:46 60K 
[ ]goboard6__t46_goboard6.vout2024-08-03 07:49 3.7K 
[ ]goboard6__t46_goboard62024-07-28 17:44 63K 
[ ]goboard6__t45_goboard6.vout2024-08-03 06:46 3.7K 
[ ]goboard6__t45_goboard62024-07-28 17:42 60K 
[ ]goboard6__t44_goboard6.vout2024-08-03 08:33 3.7K 
[ ]goboard6__t44_goboard62024-07-28 17:40 63K 
[ ]goboard6__t43_goboard6.vout2024-08-03 04:49 3.7K 
[ ]goboard6__t43_goboard62024-07-28 17:39 60K 
[ ]goboard6__t42_goboard6.vout2024-08-03 06:37 3.7K 
[ ]goboard6__t42_goboard62024-07-28 17:37 60K 
[ ]goboard6__t41_goboard6.vout2024-08-03 05:12 3.7K 
[ ]goboard6__t41_goboard62024-07-28 17:34 60K 
[ ]goboard6__t40_goboard6.vout2024-08-03 05:35 3.7K 
[ ]goboard6__t40_goboard62024-07-28 17:32 60K 
[ ]goboard6__t39_goboard6.vout2024-08-03 05:28 7.3K 
[ ]goboard6__t39_goboard62024-07-28 17:31 37K 
[ ]goboard6__t38_goboard6.vout2024-08-03 08:18 7.3K 
[ ]goboard6__t38_goboard62024-07-28 17:29 37K 
[ ]goboard6__t37_goboard6.vout2024-08-03 08:11 7.4K 
[ ]goboard6__t37_goboard62024-07-28 17:27 30K 
[ ]goboard6__t36_goboard6.vout2024-08-03 08:57 7.4K 
[ ]goboard6__t36_goboard62024-07-28 17:25 36K 
[ ]goboard6__t35_goboard6.vout2024-08-03 06:29 7.3K 
[ ]goboard6__t35_goboard62024-07-28 17:24 56K 
[ ]goboard6__t34_goboard6.vout2024-08-03 07:24 7.3K 
[ ]goboard6__t34_goboard62024-07-28 17:22 40K 
[ ]goboard6__t33_goboard6.vout2024-08-03 06:22 7.3K 
[ ]goboard6__t33_goboard62024-07-28 17:20 56K 
[ ]goboard6__t32_goboard6.vout2024-08-03 10:15 7.3K 
[ ]goboard6__t32_goboard62024-07-28 17:18 40K 
[ ]goboard6__t31_goboard6.vout2024-08-03 05:12 7.3K 
[ ]goboard6__t31_goboard62024-07-28 17:16 41K 
[ ]goboard6__t30_goboard6.vout2024-08-03 09:07 43K 
[ ]goboard6__t30_goboard6.vmin1out2024-08-03 10:20 41K 
[ ]goboard6__t30_goboard6.vmin12024-08-03 10:19 3.3K 
[ ]goboard6__t30_goboard6.depvmin12024-08-03 10:24 298  
[ ]goboard6__t30_goboard6.depv12024-08-03 10:19 322  
[ ]goboard6__t30_goboard62024-07-28 17:14 28K 
[ ]goboard6__t29_goboard6.vout2024-08-03 09:40 43K 
[ ]goboard6__t29_goboard6.vmin1out2024-08-03 10:23 35K 
[ ]goboard6__t29_goboard6.vmin12024-08-03 10:19 3.5K 
[ ]goboard6__t29_goboard6.depvmin12024-08-03 10:24 229  
[ ]goboard6__t29_goboard6.depv12024-08-03 10:19 253  
[ ]goboard6__t29_goboard62024-07-28 17:13 27K 
[ ]goboard6__t28_goboard6.vout2024-08-03 09:01 42K 
[ ]goboard6__t28_goboard6.vmin1out2024-08-03 10:23 45K 
[ ]goboard6__t28_goboard6.vmin12024-08-03 10:19 3.3K 
[ ]goboard6__t28_goboard6.depvmin12024-08-03 10:24 298  
[ ]goboard6__t28_goboard6.depv12024-08-03 10:19 322  
[ ]goboard6__t28_goboard62024-07-28 17:11 27K 
[ ]goboard6__t27_goboard6.vout2024-08-03 04:40 42K 
[ ]goboard6__t27_goboard6.vmin1out2024-08-03 10:21 33K 
[ ]goboard6__t27_goboard6.vmin12024-08-03 10:19 3.4K 
[ ]goboard6__t27_goboard6.depvmin12024-08-03 10:24 216  
[ ]goboard6__t27_goboard6.depv12024-08-03 10:19 240  
[ ]goboard6__t27_goboard62024-07-28 17:10 26K 
[ ]goboard6__t26_goboard6.vout2024-08-03 04:57 3.6K 
[ ]goboard6__t26_goboard62024-07-28 19:42 31K 
[ ]goboard6__t25_goboard6.vout2024-08-03 09:51 3.7K 
[ ]goboard6__t25_goboard62024-07-28 19:40 30K 
[ ]goboard6__t24_goboard6.vout2024-08-03 09:31 3.7K 
[ ]goboard6__t24_goboard62024-07-28 19:39 30K 
[ ]goboard6__t23_goboard6.vout2024-08-03 09:24 3.7K 
[ ]goboard6__t23_goboard62024-07-28 19:37 30K 
[ ]goboard6__t22_goboard6.vout2024-08-03 04:31 3.7K 
[ ]goboard6__t22_goboard62024-07-28 19:35 28K 
[ ]goboard6__t21_goboard6.vout2024-08-03 04:37 3.7K 
[ ]goboard6__t21_goboard62024-07-28 19:34 28K 
[ ]goboard6__t20_goboard6.vout2024-08-03 08:02 3.7K 
[ ]goboard6__t20_goboard62024-07-28 19:32 30K 
[ ]goboard6__t19_goboard6.vout2024-08-03 04:33 3.7K 
[ ]goboard6__t19_goboard62024-07-28 19:30 27K 
[ ]goboard6__t18_goboard6.vout2024-08-03 07:02 3.7K 
[ ]goboard6__t18_goboard62024-07-28 19:28 27K 
[ ]goboard6__t17_goboard6.vout2024-08-03 09:48 3.7K 
[ ]goboard6__t17_goboard62024-07-28 19:27 62K 
[ ]goboard6__t16_goboard6.vout2024-08-03 08:25 3.7K 
[ ]goboard6__t16_goboard62024-07-28 19:24 59K 
[ ]goboard6__t15_goboard6.vout2024-08-03 04:14 3.7K 
[ ]goboard6__t15_goboard62024-07-28 19:22 59K 
[ ]goboard6__t14_goboard6.vout2024-08-03 09:31 3.7K 
[ ]goboard6__t14_goboard62024-07-28 19:20 62K 
[ ]goboard6__t13_goboard6.vout2024-08-03 08:36 3.7K 
[ ]goboard6__t13_goboard62024-07-28 19:18 59K 
[ ]goboard6__t12_goboard6.vout2024-08-03 04:29 3.7K 
[ ]goboard6__t12_goboard62024-07-28 19:15 59K 
[ ]goboard6__t11_goboard6.vout2024-08-03 08:41 4.7K 
[ ]goboard6__t11_goboard62024-07-28 17:08 28K 
[ ]goboard6__t10_goboard6.vout2024-08-03 09:18 4.7K 
[ ]goboard6__t10_goboard62024-07-28 17:06 47K 
[ ]goboard6__t9_goboard6.vout2024-08-03 05:46 4.7K 
[ ]goboard6__t9_goboard62024-07-28 17:05 47K 
[ ]goboard6__t8_goboard6.vout2024-08-03 05:13 4.7K 
[ ]goboard6__t8_goboard62024-07-28 17:03 47K 
[ ]goboard6__t7_goboard6.vout2024-08-03 04:48 4.7K 
[ ]goboard6__t7_goboard62024-07-28 17:01 47K 
[ ]goboard6__t6_goboard6.vout2024-08-03 06:24 4.1K 
[ ]goboard6__t6_goboard62024-07-28 16:59 41K 
[ ]goboard6__t5_goboard6.vout2024-08-03 08:26 60K 
[ ]goboard6__t5_goboard6.vmin1out2024-08-03 10:23 48K 
[ ]goboard6__t5_goboard6.vmin12024-08-03 10:19 3.8K 
[ ]goboard6__t5_goboard6.depvmin12024-08-03 10:24 196  
[ ]goboard6__t5_goboard6.depv12024-08-03 10:19 269  
[ ]goboard6__t5_goboard62024-07-28 16:58 28K 
[ ]goboard6__t4_goboard6.vout2024-08-03 04:23 7.3K 
[ ]goboard6__t4_goboard62024-07-28 16:56 19K 
[ ]goboard6__t3_goboard6.vout2024-08-03 06:11 32K 
[ ]goboard6__t3_goboard6.vmin1out2024-08-03 10:20 28K 
[ ]goboard6__t3_goboard6.vmin12024-08-03 10:19 3.7K 
[ ]goboard6__t3_goboard6.depvmin12024-08-03 10:24 186  
[ ]goboard6__t3_goboard6.depv12024-08-03 10:19 296  
[ ]goboard6__t3_goboard62024-07-28 16:55 25K 
[ ]goboard6__t2_goboard6.vout2024-08-03 07:19 6.8K 
[ ]goboard6__t2_goboard62024-07-28 16:53 28K 
[ ]goboard6__t1_goboard6.vout2024-08-03 07:31 17K 
[ ]goboard6__t1_goboard6.vmin1out2024-08-03 10:20 11K 
[ ]goboard6__t1_goboard6.vmin12024-08-03 10:19 1.1K 
[ ]goboard6__t1_goboard6.depvmin12024-08-03 10:24 84  
[ ]goboard6__t1_goboard6.depv12024-08-03 10:19 108  
[ ]goboard6__t1_goboard62024-07-28 16:52 12K 
[ ]goboard6__l76_goboard6.vout2024-08-03 09:28 1.4K 
[ ]goboard6__l76_goboard6.vmin1out2024-08-03 10:21 1.6K 
[ ]goboard6__l76_goboard6.vmin12024-08-03 10:19 189  
[ ]goboard6__l76_goboard6.depvmin12024-08-03 10:24 52  
[ ]goboard6__l76_goboard6.depv12024-08-03 10:19 52  
[ ]goboard6__l76_goboard62024-07-28 16:51 12K 
[ ]goboard6__l17_goboard6.vout2024-08-03 04:47 12K 
[ ]goboard6__l17_goboard6.vmin1out2024-08-03 10:23 10K 
[ ]goboard6__l17_goboard6.vmin12024-08-03 10:19 1.5K 
[ ]goboard6__l17_goboard6.depvmin12024-08-03 10:24 90  
[ ]goboard6__l17_goboard6.depv12024-08-03 10:19 101  
[ ]goboard6__l17_goboard62024-07-28 19:50 25K 
[ ]goboard6__l9_goboard6.vout2024-08-03 06:22 33K 
[ ]goboard6__l9_goboard6.vmin1out2024-08-03 10:23 18K 
[ ]goboard6__l9_goboard6.vmin12024-08-03 10:19 2.0K 
[ ]goboard6__l9_goboard6.depvmin12024-08-03 10:24 127  
[ ]goboard6__l9_goboard6.depv12024-08-03 10:19 127  
[ ]goboard6__l9_goboard62024-07-28 19:48 15K 
[ ]goboard6__l5_goboard6.vout2024-08-03 10:16 11K 
[ ]goboard6__l5_goboard6.vmin1out2024-08-03 10:21 13K 
[ ]goboard6__l5_goboard6.vmin12024-08-03 10:19 1.5K 
[ ]goboard6__l5_goboard6.depvmin12024-08-03 10:24 134  
[ ]goboard6__l5_goboard6.depv12024-08-03 10:19 134  
[ ]goboard6__l5_goboard62024-07-28 19:47 15K 
[ ]goboard6__l3_goboard6.vout2024-08-03 09:06 12K 
[ ]goboard6__l3_goboard6.vmin1out2024-08-03 10:23 10K 
[ ]goboard6__l3_goboard6.vmin12024-08-03 10:19 1.0K 
[ ]goboard6__l3_goboard6.depvmin12024-08-03 10:24 74  
[ ]goboard6__l3_goboard6.depv12024-08-03 10:19 74  
[ ]goboard6__l3_goboard62024-07-28 19:46 22K 
[ ]goboard6__l2_goboard6.vout2024-08-03 09:31 4.1K 
[ ]goboard6__l2_goboard62024-07-28 19:45 27K 
[ ]goboard6__l1_goboard6.vout2024-08-03 06:13 4.1K 
[ ]goboard6__l1_goboard62024-07-28 19:44 23K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80