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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]tops_1__l38_tops_12024-07-28 04:36 15K 
[ ]tops_1__l38_tops_1.vout2024-08-03 05:21 7.3K 
[ ]tops_1__l44_tops_12024-07-28 04:36 6.2K 
[ ]tops_1__l44_tops_1.depv12024-08-03 10:19 139  
[ ]tops_1__l44_tops_1.depvmin12024-08-03 10:24 139  
[ ]tops_1__l44_tops_1.vmin12024-08-03 10:19 1.6K 
[ ]tops_1__l44_tops_1.vmin1out2024-08-03 10:22 14K 
[ ]tops_1__l44_tops_1.vout2024-08-03 04:12 12K 
[ ]tops_1__l45_tops_12024-07-28 04:37 7.8K 
[ ]tops_1__l45_tops_1.vout2024-08-03 06:59 2.0K 
[ ]tops_1__l46_tops_12024-07-28 04:37 13K 
[ ]tops_1__l46_tops_1.vout2024-08-03 05:41 7.3K 
[ ]tops_1__l48_tops_12024-07-28 04:38 3.4K 
[ ]tops_1__l48_tops_1.depv12024-08-03 10:19 80  
[ ]tops_1__l48_tops_1.depvmin12024-08-03 10:24 80  
[ ]tops_1__l48_tops_1.vmin12024-08-03 10:19 597  
[ ]tops_1__l48_tops_1.vmin1out2024-08-03 10:21 12K 
[ ]tops_1__l48_tops_1.vout2024-08-03 06:18 12K 
[ ]tops_1__t1_tops_12024-07-28 03:57 3.8K 
[ ]tops_1__t1_tops_1.depv12024-08-03 10:19 37  
[ ]tops_1__t1_tops_1.depvmin12024-08-03 10:24 37  
[ ]tops_1__t1_tops_1.vmin12024-08-03 10:19 392  
[ ]tops_1__t1_tops_1.vmin1out2024-08-03 10:22 5.8K 
[ ]tops_1__t1_tops_1.vout2024-08-03 09:39 7.0K 
[ ]tops_1__t2_tops_12024-07-28 03:57 4.0K 
[ ]tops_1__t2_tops_1.vout2024-08-03 07:43 7.8K 
[ ]tops_1__t3_tops_12024-07-28 04:04 4.5K 
[ ]tops_1__t3_tops_1.depv12024-08-03 10:19 132  
[ ]tops_1__t3_tops_1.depvmin12024-08-03 10:24 132  
[ ]tops_1__t3_tops_1.vmin12024-08-03 10:19 1.2K 
[ ]tops_1__t3_tops_1.vmin1out2024-08-03 10:23 12K 
[ ]tops_1__t3_tops_1.vout2024-08-03 07:48 13K 
[ ]tops_1__t4_tops_12024-07-28 04:05 3.9K 
[ ]tops_1__t4_tops_1.depv12024-08-03 10:19 62  
[ ]tops_1__t4_tops_1.depvmin12024-08-03 10:24 62  
[ ]tops_1__t4_tops_1.vmin12024-08-03 10:19 652  
[ ]tops_1__t4_tops_1.vmin1out2024-08-03 10:23 8.8K 
[ ]tops_1__t4_tops_1.vout2024-08-03 07:45 9.4K 
[ ]tops_1__t5_tops_12024-07-28 04:05 4.7K 
[ ]tops_1__t5_tops_1.depv12024-08-03 10:19 36  
[ ]tops_1__t5_tops_1.depvmin12024-08-03 10:24 36  
[ ]tops_1__t5_tops_1.vmin12024-08-03 10:19 767  
[ ]tops_1__t5_tops_1.vmin1out2024-08-03 10:21 7.3K 
[ ]tops_1__t5_tops_1.vout2024-08-03 07:40 9.8K 
[ ]tops_1__t6_tops_12024-07-28 04:06 6.5K 
[ ]tops_1__t6_tops_1.depv12024-08-03 10:19 227  
[ ]tops_1__t6_tops_1.depvmin12024-08-03 10:24 176  
[ ]tops_1__t6_tops_1.vmin12024-08-03 10:19 2.2K 
[ ]tops_1__t6_tops_1.vmin1out2024-08-03 10:22 36K 
[ ]tops_1__t6_tops_1.vout2024-08-03 09:45 52K 
[ ]tops_1__t7_tops_12024-07-28 04:06 5.7K 
[ ]tops_1__t7_tops_1.vout2024-08-03 08:30 6.8K 
[ ]tops_1__t8_tops_12024-07-28 03:58 4.6K 
[ ]tops_1__t8_tops_1.depv12024-08-03 10:19 46  
[ ]tops_1__t8_tops_1.depvmin12024-08-03 10:24 46  
[ ]tops_1__t8_tops_1.vmin12024-08-03 10:19 711  
[ ]tops_1__t8_tops_1.vmin1out2024-08-03 10:21 7.2K 
[ ]tops_1__t8_tops_1.vout2024-08-03 04:36 7.4K 
[ ]tops_1__t9_tops_12024-07-28 03:58 5.0K 
[ ]tops_1__t9_tops_1.depv12024-08-03 10:19 46  
[ ]tops_1__t9_tops_1.depvmin12024-08-03 10:24 46  
[ ]tops_1__t9_tops_1.vmin12024-08-03 10:19 748  
[ ]tops_1__t9_tops_1.vmin1out2024-08-03 10:21 7.6K 
[ ]tops_1__t9_tops_1.vout2024-08-03 05:29 8.5K 
[ ]tops_1__t10_tops_12024-07-28 03:59 5.5K 
[ ]tops_1__t10_tops_1.depv12024-08-03 10:19 47  
[ ]tops_1__t10_tops_1.depvmin12024-08-03 10:24 47  
[ ]tops_1__t10_tops_1.vmin12024-08-03 10:19 749  
[ ]tops_1__t10_tops_1.vmin1out2024-08-03 10:22 7.6K 
[ ]tops_1__t10_tops_1.vout2024-08-03 07:14 8.5K 
[ ]tops_1__t11_tops_12024-07-28 03:59 5.2K 
[ ]tops_1__t11_tops_1.depv12024-08-03 10:19 47  
[ ]tops_1__t11_tops_1.depvmin12024-08-03 10:24 47  
[ ]tops_1__t11_tops_1.vmin12024-08-03 10:19 712  
[ ]tops_1__t11_tops_1.vmin1out2024-08-03 10:22 7.2K 
[ ]tops_1__t11_tops_1.vout2024-08-03 04:43 7.4K 
[ ]tops_1__t12_tops_12024-07-28 04:07 14K 
[ ]tops_1__t12_tops_1.vout2024-08-03 09:32 6.8K 
[ ]tops_1__t13_tops_12024-07-28 04:08 10K 
[ ]tops_1__t13_tops_1.vout2024-08-03 04:45 7.3K 
[ ]tops_1__t14_tops_12024-07-28 04:09 11K 
[ ]tops_1__t14_tops_1.vout2024-08-03 07:20 7.3K 
[ ]tops_1__t15_tops_12024-07-28 04:09 6.7K 
[ ]tops_1__t15_tops_1.depv12024-08-03 10:19 172  
[ ]tops_1__t15_tops_1.depvmin12024-08-03 10:24 172  
[ ]tops_1__t15_tops_1.vmin12024-08-03 10:19 1.6K 
[ ]tops_1__t15_tops_1.vmin1out2024-08-03 10:21 12K 
[ ]tops_1__t15_tops_1.vout2024-08-03 04:32 12K 
[ ]tops_1__t16_tops_12024-07-28 04:10 5.0K 
[ ]tops_1__t16_tops_1.depv12024-08-03 10:19 187  
[ ]tops_1__t16_tops_1.depvmin12024-08-03 10:24 133  
[ ]tops_1__t16_tops_1.vmin12024-08-03 10:19 1.8K 
[ ]tops_1__t16_tops_1.vmin1out2024-08-03 10:22 25K 
[ ]tops_1__t16_tops_1.vout2024-08-03 09:12 24K 
[ ]tops_1__t17_tops_12024-07-28 04:10 9.5K 
[ ]tops_1__t17_tops_1.vout2024-08-03 04:44 2.0K 
[ ]tops_1__t18_tops_12024-07-28 04:00 4.9K 
[ ]tops_1__t18_tops_1.depv12024-08-03 10:19 58  
[ ]tops_1__t18_tops_1.depvmin12024-08-03 10:24 58  
[ ]tops_1__t18_tops_1.vmin12024-08-03 10:19 445  
[ ]tops_1__t18_tops_1.vmin1out2024-08-03 10:23 3.8K 
[ ]tops_1__t18_tops_1.vout2024-08-03 07:04 3.8K 
[ ]tops_1__t19_tops_12024-07-28 04:11 5.2K 
[ ]tops_1__t19_tops_1.depv12024-08-03 10:19 117  
[ ]tops_1__t19_tops_1.depvmin12024-08-03 10:24 104  
[ ]tops_1__t19_tops_1.vmin12024-08-03 10:19 1.5K 
[ ]tops_1__t19_tops_1.vmin1out2024-08-03 10:22 19K 
[ ]tops_1__t19_tops_1.vout2024-08-03 07:47 21K 
[ ]tops_1__t20_tops_12024-07-28 04:11 7.5K 
[ ]tops_1__t20_tops_1.vout2024-08-03 05:15 7.3K 
[ ]tops_1__t21_tops_12024-07-28 04:12 11K 
[ ]tops_1__t21_tops_1.vout2024-08-03 04:46 7.3K 
[ ]tops_1__t22_tops_12024-07-28 04:12 7.4K 
[ ]tops_1__t22_tops_1.depv12024-08-03 10:19 203  
[ ]tops_1__t22_tops_1.depvmin12024-08-03 10:24 203  
[ ]tops_1__t22_tops_1.vmin12024-08-03 10:19 2.8K 
[ ]tops_1__t22_tops_1.vmin1out2024-08-03 10:23 36K 
[ ]tops_1__t22_tops_1.vout2024-08-03 06:32 35K 
[ ]tops_1__t23_tops_12024-07-28 04:13 6.9K 
[ ]tops_1__t23_tops_1.depv12024-08-03 10:19 97  
[ ]tops_1__t23_tops_1.depvmin12024-08-03 10:24 97  
[ ]tops_1__t23_tops_1.vmin12024-08-03 10:19 1.4K 
[ ]tops_1__t23_tops_1.vmin1out2024-08-03 10:22 14K 
[ ]tops_1__t23_tops_1.vout2024-08-03 09:39 14K 
[ ]tops_1__t24_tops_12024-07-28 04:13 7.1K 
[ ]tops_1__t24_tops_1.vout2024-08-03 05:42 7.3K 
[ ]tops_1__t25_tops_12024-07-28 04:14 7.0K 
[ ]tops_1__t25_tops_1.vout2024-08-03 08:54 7.3K 
[ ]tops_1__t26_tops_12024-07-28 04:14 5.5K 
[ ]tops_1__t26_tops_1.vout2024-08-03 05:20 7.3K 
[ ]tops_1__t27_tops_12024-07-28 04:15 6.9K 
[ ]tops_1__t27_tops_1.vout2024-08-03 05:28 2.0K 
[ ]tops_1__t28_tops_12024-07-28 04:15 12K 
[ ]tops_1__t28_tops_1.vout2024-08-03 04:14 7.3K 
[ ]tops_1__t29_tops_12024-07-28 04:00 5.2K 
[ ]tops_1__t29_tops_1.depv12024-08-03 10:19 129  
[ ]tops_1__t29_tops_1.depvmin12024-08-03 10:24 129  
[ ]tops_1__t29_tops_1.vmin12024-08-03 10:19 1.1K 
[ ]tops_1__t29_tops_1.vmin1out2024-08-03 10:23 8.8K 
[ ]tops_1__t29_tops_1.vout2024-08-03 05:56 9.3K 
[ ]tops_1__t30_tops_12024-07-28 04:16 7.8K 
[ ]tops_1__t30_tops_1.vout2024-08-03 08:23 7.3K 
[ ]tops_1__t31_tops_12024-07-28 04:17 7.8K 
[ ]tops_1__t31_tops_1.vout2024-08-03 09:37 6.8K 
[ ]tops_1__t32_tops_12024-07-28 04:17 11K 
[ ]tops_1__t32_tops_1.vout2024-08-03 09:01 7.3K 
[ ]tops_1__t33_tops_12024-07-28 04:18 11K 
[ ]tops_1__t33_tops_1.vout2024-08-03 05:53 7.3K 
[ ]tops_1__t34_tops_12024-07-28 04:18 5.8K 
[ ]tops_1__t34_tops_1.depv12024-08-03 10:19 149  
[ ]tops_1__t34_tops_1.depvmin12024-08-03 10:24 149  
[ ]tops_1__t34_tops_1.vmin12024-08-03 10:19 1.8K 
[ ]tops_1__t34_tops_1.vmin1out2024-08-03 10:20 26K 
[ ]tops_1__t34_tops_1.vout2024-08-03 04:28 25K 
[ ]tops_1__t35_tops_12024-07-28 04:19 8.0K 
[ ]tops_1__t35_tops_1.depv12024-08-03 10:19 107  
[ ]tops_1__t35_tops_1.depvmin12024-08-03 10:24 107  
[ ]tops_1__t35_tops_1.vmin12024-08-03 10:19 1.2K 
[ ]tops_1__t35_tops_1.vmin1out2024-08-03 10:20 15K 
[ ]tops_1__t35_tops_1.vout2024-08-03 08:15 15K 
[ ]tops_1__t36_tops_12024-07-28 04:19 11K 
[ ]tops_1__t36_tops_1.vout2024-08-03 06:58 7.3K 
[ ]tops_1__t37_tops_12024-07-28 04:20 6.4K 
[ ]tops_1__t37_tops_1.vout2024-08-03 07:31 7.3K 
[ ]tops_1__t38_tops_12024-07-28 04:20 6.0K 
[ ]tops_1__t38_tops_1.vout2024-08-03 10:16 7.3K 
[ ]tops_1__t39_tops_12024-07-28 04:21 6.4K 
[ ]tops_1__t39_tops_1.depv12024-08-03 10:19 185  
[ ]tops_1__t39_tops_1.depvmin12024-08-03 10:24 173  
[ ]tops_1__t39_tops_1.vmin12024-08-03 10:19 1.8K 
[ ]tops_1__t39_tops_1.vmin1out2024-08-03 10:21 14K 
[ ]tops_1__t39_tops_1.vout2024-08-03 05:33 13K 
[ ]tops_1__t40_tops_12024-07-28 04:21 8.5K 
[ ]tops_1__t40_tops_1.vout2024-08-03 06:45 7.3K 
[ ]tops_1__t41_tops_12024-07-28 04:22 9.0K 
[ ]tops_1__t41_tops_1.vout2024-08-03 07:23 2.0K 
[ ]tops_1__t42_tops_12024-07-28 04:23 13K 
[ ]tops_1__t42_tops_1.vout2024-08-03 07:07 6.8K 
[ ]tops_1__t43_tops_12024-07-28 04:23 12K 
[ ]tops_1__t43_tops_1.depv12024-08-03 10:19 179  
[ ]tops_1__t43_tops_1.depvmin12024-08-03 10:24 179  
[ ]tops_1__t43_tops_1.vmin12024-08-03 10:19 1.8K 
[ ]tops_1__t43_tops_1.vmin1out2024-08-03 10:21 16K 
[ ]tops_1__t43_tops_1.vout2024-08-03 07:26 16K 
[ ]tops_1__t44_tops_12024-07-28 04:24 4.4K 
[ ]tops_1__t44_tops_1.vout2024-08-03 08:03 7.8K 
[ ]tops_1__t45_tops_12024-07-28 04:24 11K 
[ ]tops_1__t45_tops_1.vout2024-08-03 08:48 7.3K 
[ ]tops_1__t46_tops_12024-07-28 04:25 11K 
[ ]tops_1__t46_tops_1.vout2024-08-03 08:03 7.3K 
[ ]tops_1__t47_tops_12024-07-28 04:01 6.5K 
[ ]tops_1__t47_tops_1.vout2024-08-03 06:56 2.0K 
[ ]tops_1__t48_tops_12024-07-28 04:25 5.6K 
[ ]tops_1__t48_tops_1.vout2024-08-03 10:12 7.8K 
[ ]tops_1__t49_tops_12024-07-28 04:26 11K 
[ ]tops_1__t49_tops_1.vout2024-08-03 09:46 6.8K 
[ ]tops_1__t50_tops_12024-07-28 04:26 7.2K 
[ ]tops_1__t50_tops_1.vout2024-08-03 09:41 7.3K 
[ ]tops_1__t51_tops_12024-07-28 04:27 8.6K 
[ ]tops_1__t51_tops_1.vout2024-08-03 09:28 7.3K 
[ ]tops_1__t52_tops_12024-07-28 04:28 7.9K 
[ ]tops_1__t52_tops_1.vout2024-08-03 07:38 7.3K 
[ ]tops_1__t53_tops_12024-07-28 04:28 7.7K 
[ ]tops_1__t53_tops_1.vout2024-08-03 08:47 2.0K 
[ ]tops_1__t54_tops_12024-07-28 04:29 5.6K 
[ ]tops_1__t54_tops_1.vout2024-08-03 07:49 7.8K 
[ ]tops_1__t55_tops_12024-07-28 04:01 4.3K 
[ ]tops_1__t55_tops_1.vout2024-08-03 09:32 2.0K 
[ ]tops_1__t56_tops_12024-07-28 04:01 5.7K 
[ ]tops_1__t56_tops_1.vout2024-08-03 07:26 2.0K 
[ ]tops_1__t57_tops_12024-07-28 04:29 12K 
[ ]tops_1__t57_tops_1.vout2024-08-03 07:20 6.8K 
[ ]tops_1__t58_tops_12024-07-28 04:30 16K 
[ ]tops_1__t58_tops_1.vout2024-08-03 07:33 6.8K 
[ ]tops_1__t59_tops_12024-07-28 04:31 9.0K 
[ ]tops_1__t59_tops_1.depv12024-08-03 10:19 152  
[ ]tops_1__t59_tops_1.depvmin12024-08-03 10:24 152  
[ ]tops_1__t59_tops_1.vmin12024-08-03 10:19 1.5K 
[ ]tops_1__t59_tops_1.vmin1out2024-08-03 10:20 14K 
[ ]tops_1__t59_tops_1.vout2024-08-03 08:50 12K 
[ ]tops_1__t60_tops_12024-07-28 04:31 7.8K 
[ ]tops_1__t60_tops_1.depv12024-08-03 10:19 74  
[ ]tops_1__t60_tops_1.depvmin12024-08-03 10:24 74  
[ ]tops_1__t60_tops_1.vmin12024-08-03 10:19 1.0K 
[ ]tops_1__t60_tops_1.vmin1out2024-08-03 10:22 15K 
[ ]tops_1__t60_tops_1.vout2024-08-03 08:09 15K 
[ ]tops_1__t61_tops_12024-07-28 04:02 4.0K 
[ ]tops_1__t61_tops_1.vout2024-08-03 09:43 2.0K 
[ ]tops_1__t62_tops_12024-07-28 04:02 6.2K 
[ ]tops_1__t62_tops_1.vout2024-08-03 07:30 2.0K 
[ ]tops_1__t63_tops_12024-07-28 04:03 6.4K 
[ ]tops_1__t63_tops_1.vout2024-08-03 09:43 7.3K 
[ ]tops_1__t64_tops_12024-07-28 04:03 6.7K 
[ ]tops_1__t64_tops_1.vout2024-08-03 07:31 2.0K 
[ ]tops_1__t65_tops_12024-07-28 04:04 8.6K 
[ ]tops_1__t65_tops_1.vout2024-08-03 09:54 2.0K 
[ ]tops_1__t66_tops_12024-07-28 04:32 12K 
[ ]tops_1__t66_tops_1.vout2024-08-03 09:24 7.8K 
[ ]tops_1__t67_tops_12024-07-28 04:32 12K 
[ ]tops_1__t67_tops_1.vout2024-08-03 05:22 7.3K 
[ ]tops_1__t68_tops_12024-07-28 04:33 11K 
[ ]tops_1__t68_tops_1.vout2024-08-03 07:45 7.3K 
[ ]tops_1__t69_tops_12024-07-28 04:34 10K 
[ ]tops_1__t69_tops_1.vout2024-08-03 09:17 2.0K 
[ ]tops_1__t70_tops_12024-07-28 04:34 13K 
[ ]tops_1__t70_tops_1.vout2024-08-03 07:42 7.3K 
[ ]tops_1__t71_tops_12024-07-28 04:35 6.2K 
[ ]tops_1__t71_tops_1.vout2024-08-03 09:34 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80