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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]tops_1__t71_tops_1.vout2021-07-25 14:49 7.3K 
[ ]tops_1__t71_tops_12021-07-18 03:45 6.2K 
[ ]tops_1__t70_tops_1.vout2021-07-25 14:26 7.3K 
[ ]tops_1__t70_tops_12021-07-18 03:45 13K 
[ ]tops_1__t69_tops_1.vout2021-07-25 18:22 2.0K 
[ ]tops_1__t69_tops_12021-07-18 03:45 10K 
[ ]tops_1__t68_tops_1.vout2021-07-25 14:40 7.3K 
[ ]tops_1__t68_tops_12021-07-18 03:44 11K 
[ ]tops_1__t67_tops_1.vout2021-07-25 18:18 7.3K 
[ ]tops_1__t67_tops_12021-07-18 03:44 12K 
[ ]tops_1__t66_tops_1.vout2021-07-25 17:21 7.3K 
[ ]tops_1__t66_tops_12021-07-18 03:44 12K 
[ ]tops_1__t65_tops_1.vout2021-07-25 16:14 2.0K 
[ ]tops_1__t65_tops_12021-07-18 03:34 8.6K 
[ ]tops_1__t64_tops_1.vout2021-07-25 15:18 2.0K 
[ ]tops_1__t64_tops_12021-07-18 03:33 6.7K 
[ ]tops_1__t63_tops_1.vout2021-07-25 14:49 7.3K 
[ ]tops_1__t63_tops_12021-07-18 03:33 6.4K 
[ ]tops_1__t62_tops_1.vout2021-07-25 15:12 2.0K 
[ ]tops_1__t62_tops_12021-07-18 03:33 6.2K 
[ ]tops_1__t61_tops_1.vout2021-07-25 16:12 2.0K 
[ ]tops_1__t61_tops_12021-07-18 03:33 4.0K 
[ ]tops_1__t60_tops_1.vout2021-07-25 20:30 15K 
[ ]tops_1__t60_tops_1.vmin1out2021-07-25 21:02 15K 
[ ]tops_1__t60_tops_1.vmin12021-07-25 20:57 1.0K 
[ ]tops_1__t60_tops_1.depvmin12021-07-25 21:03 74  
[ ]tops_1__t60_tops_1.depv12021-07-25 20:57 74  
[ ]tops_1__t60_tops_12021-07-18 03:44 7.8K 
[ ]tops_1__t59_tops_1.vout2021-07-25 14:27 12K 
[ ]tops_1__t59_tops_1.vmin1out2021-07-25 21:01 14K 
[ ]tops_1__t59_tops_1.vmin12021-07-25 20:57 1.5K 
[ ]tops_1__t59_tops_1.depvmin12021-07-25 21:03 152  
[ ]tops_1__t59_tops_1.depv12021-07-25 20:57 152  
[ ]tops_1__t59_tops_12021-07-18 03:43 9.0K 
[ ]tops_1__t58_tops_1.vout2021-07-25 14:44 6.8K 
[ ]tops_1__t58_tops_12021-07-18 03:43 16K 
[ ]tops_1__t57_tops_1.vout2021-07-25 17:10 6.8K 
[ ]tops_1__t57_tops_12021-07-18 03:43 12K 
[ ]tops_1__t56_tops_1.vout2021-07-25 20:35 2.0K 
[ ]tops_1__t56_tops_12021-07-18 03:33 5.7K 
[ ]tops_1__t55_tops_1.vout2021-07-25 14:50 2.0K 
[ ]tops_1__t55_tops_12021-07-18 03:32 4.3K 
[ ]tops_1__t54_tops_1.vout2021-07-25 16:16 7.8K 
[ ]tops_1__t54_tops_12021-07-18 03:43 5.6K 
[ ]tops_1__t53_tops_1.vout2021-07-25 20:41 2.0K 
[ ]tops_1__t53_tops_12021-07-18 03:43 7.7K 
[ ]tops_1__t52_tops_1.vout2021-07-25 17:54 7.3K 
[ ]tops_1__t52_tops_12021-07-18 03:42 7.9K 
[ ]tops_1__t51_tops_1.vout2021-07-25 17:48 7.3K 
[ ]tops_1__t51_tops_12021-07-18 03:42 8.6K 
[ ]tops_1__t50_tops_1.vout2021-07-25 17:46 7.3K 
[ ]tops_1__t50_tops_12021-07-18 03:42 7.2K 
[ ]tops_1__t49_tops_1.vout2021-07-25 14:45 7.3K 
[ ]tops_1__t49_tops_12021-07-18 03:42 11K 
[ ]tops_1__t48_tops_1.vout2021-07-25 16:03 7.8K 
[ ]tops_1__t48_tops_12021-07-18 03:41 5.6K 
[ ]tops_1__t47_tops_1.vout2021-07-25 19:07 2.0K 
[ ]tops_1__t47_tops_12021-07-18 03:32 6.5K 
[ ]tops_1__t46_tops_1.vout2021-07-25 15:40 6.8K 
[ ]tops_1__t46_tops_12021-07-18 03:41 11K 
[ ]tops_1__t45_tops_1.vout2021-07-25 20:20 7.3K 
[ ]tops_1__t45_tops_12021-07-18 03:41 11K 
[ ]tops_1__t44_tops_1.vout2021-07-25 14:49 7.8K 
[ ]tops_1__t44_tops_12021-07-18 03:41 4.4K 
[ ]tops_1__t43_tops_1.vout2021-07-25 15:23 16K 
[ ]tops_1__t43_tops_1.vmin1out2021-07-25 21:02 16K 
[ ]tops_1__t43_tops_1.vmin12021-07-25 20:57 1.8K 
[ ]tops_1__t43_tops_1.depvmin12021-07-25 21:03 179  
[ ]tops_1__t43_tops_1.depv12021-07-25 20:57 179  
[ ]tops_1__t43_tops_12021-07-18 03:41 12K 
[ ]tops_1__t42_tops_1.vout2021-07-25 16:31 7.3K 
[ ]tops_1__t42_tops_12021-07-18 03:40 13K 
[ ]tops_1__t41_tops_1.vout2021-07-25 17:34 2.0K 
[ ]tops_1__t41_tops_12021-07-18 03:40 9.0K 
[ ]tops_1__t40_tops_1.vout2021-07-25 19:56 7.3K 
[ ]tops_1__t40_tops_12021-07-18 03:40 8.5K 
[ ]tops_1__t39_tops_1.vout2021-07-25 18:45 13K 
[ ]tops_1__t39_tops_1.vmin1out2021-07-25 20:59 14K 
[ ]tops_1__t39_tops_1.vmin12021-07-25 20:57 1.8K 
[ ]tops_1__t39_tops_1.depvmin12021-07-25 21:03 173  
[ ]tops_1__t39_tops_1.depv12021-07-25 20:57 185  
[ ]tops_1__t39_tops_12021-07-18 03:40 6.4K 
[ ]tops_1__t38_tops_1.vout2021-07-25 16:10 7.3K 
[ ]tops_1__t38_tops_12021-07-18 03:40 6.0K 
[ ]tops_1__t37_tops_1.vout2021-07-25 18:20 7.3K 
[ ]tops_1__t37_tops_12021-07-18 03:39 6.4K 
[ ]tops_1__t36_tops_1.vout2021-07-25 19:14 7.3K 
[ ]tops_1__t36_tops_12021-07-18 03:39 11K 
[ ]tops_1__t35_tops_1.vout2021-07-25 19:49 15K 
[ ]tops_1__t35_tops_1.vmin1out2021-07-25 20:59 15K 
[ ]tops_1__t35_tops_1.vmin12021-07-25 20:57 1.2K 
[ ]tops_1__t35_tops_1.depvmin12021-07-25 21:03 107  
[ ]tops_1__t35_tops_1.depv12021-07-25 20:57 107  
[ ]tops_1__t35_tops_12021-07-18 03:39 8.0K 
[ ]tops_1__t34_tops_1.vout2021-07-25 14:32 25K 
[ ]tops_1__t34_tops_1.vmin1out2021-07-25 21:00 26K 
[ ]tops_1__t34_tops_1.vmin12021-07-25 20:57 1.8K 
[ ]tops_1__t34_tops_1.depvmin12021-07-25 21:03 149  
[ ]tops_1__t34_tops_1.depv12021-07-25 20:57 149  
[ ]tops_1__t34_tops_12021-07-18 03:39 5.8K 
[ ]tops_1__t33_tops_1.vout2021-07-25 15:59 7.3K 
[ ]tops_1__t33_tops_12021-07-18 03:39 11K 
[ ]tops_1__t32_tops_1.vout2021-07-25 20:35 7.3K 
[ ]tops_1__t32_tops_12021-07-18 03:38 11K 
[ ]tops_1__t31_tops_1.vout2021-07-25 18:45 6.8K 
[ ]tops_1__t31_tops_12021-07-18 03:38 7.8K 
[ ]tops_1__t30_tops_1.vout2021-07-25 18:10 7.3K 
[ ]tops_1__t30_tops_12021-07-18 03:38 7.8K 
[ ]tops_1__t29_tops_1.vout2021-07-25 20:54 9.3K 
[ ]tops_1__t29_tops_1.vmin1out2021-07-25 21:00 8.8K 
[ ]tops_1__t29_tops_1.vmin12021-07-25 20:57 1.1K 
[ ]tops_1__t29_tops_1.depvmin12021-07-25 21:03 129  
[ ]tops_1__t29_tops_1.depv12021-07-25 20:57 129  
[ ]tops_1__t29_tops_12021-07-18 03:32 5.2K 
[ ]tops_1__t28_tops_1.vout2021-07-25 15:09 7.3K 
[ ]tops_1__t28_tops_12021-07-18 03:38 12K 
[ ]tops_1__t27_tops_1.vout2021-07-25 17:23 2.0K 
[ ]tops_1__t27_tops_12021-07-18 03:38 6.9K 
[ ]tops_1__t26_tops_1.vout2021-07-25 17:11 7.3K 
[ ]tops_1__t26_tops_12021-07-18 03:37 5.5K 
[ ]tops_1__t25_tops_1.vout2021-07-25 15:04 6.8K 
[ ]tops_1__t25_tops_12021-07-18 03:37 7.0K 
[ ]tops_1__t24_tops_1.vout2021-07-25 17:41 7.3K 
[ ]tops_1__t24_tops_12021-07-18 03:37 7.1K 
[ ]tops_1__t23_tops_1.vout2021-07-25 14:35 14K 
[ ]tops_1__t23_tops_1.vmin1out2021-07-25 20:57 14K 
[ ]tops_1__t23_tops_1.vmin12021-07-25 20:57 1.4K 
[ ]tops_1__t23_tops_1.depvmin12021-07-25 21:03 97  
[ ]tops_1__t23_tops_1.depv12021-07-25 20:57 97  
[ ]tops_1__t23_tops_12021-07-18 03:37 6.9K 
[ ]tops_1__t22_tops_1.vout2021-07-25 14:41 35K 
[ ]tops_1__t22_tops_1.vmin1out2021-07-25 20:58 36K 
[ ]tops_1__t22_tops_1.vmin12021-07-25 20:57 2.8K 
[ ]tops_1__t22_tops_1.depvmin12021-07-25 21:03 203  
[ ]tops_1__t22_tops_1.depv12021-07-25 20:57 203  
[ ]tops_1__t22_tops_12021-07-18 03:37 7.4K 
[ ]tops_1__t21_tops_1.vout2021-07-25 18:42 7.3K 
[ ]tops_1__t21_tops_12021-07-18 03:36 11K 
[ ]tops_1__t20_tops_1.vout2021-07-25 20:25 7.3K 
[ ]tops_1__t20_tops_12021-07-18 03:36 7.5K 
[ ]tops_1__t19_tops_1.vout2021-07-25 15:59 21K 
[ ]tops_1__t19_tops_1.vmin1out2021-07-25 21:00 19K 
[ ]tops_1__t19_tops_1.vmin12021-07-25 20:57 1.5K 
[ ]tops_1__t19_tops_1.depvmin12021-07-25 21:03 104  
[ ]tops_1__t19_tops_1.depv12021-07-25 20:57 117  
[ ]tops_1__t19_tops_12021-07-18 03:36 5.2K 
[ ]tops_1__t18_tops_1.vout2021-07-25 16:33 3.8K 
[ ]tops_1__t18_tops_1.vmin1out2021-07-25 21:02 3.8K 
[ ]tops_1__t18_tops_1.vmin12021-07-25 20:57 445  
[ ]tops_1__t18_tops_1.depvmin12021-07-25 21:03 58  
[ ]tops_1__t18_tops_1.depv12021-07-25 20:57 58  
[ ]tops_1__t18_tops_12021-07-18 03:32 4.9K 
[ ]tops_1__t17_tops_1.vout2021-07-25 18:57 2.0K 
[ ]tops_1__t17_tops_12021-07-18 03:36 9.5K 
[ ]tops_1__t16_tops_1.vout2021-07-25 20:12 24K 
[ ]tops_1__t16_tops_1.vmin1out2021-07-25 21:02 25K 
[ ]tops_1__t16_tops_1.vmin12021-07-25 20:57 1.8K 
[ ]tops_1__t16_tops_1.depvmin12021-07-25 21:03 133  
[ ]tops_1__t16_tops_1.depv12021-07-25 20:57 187  
[ ]tops_1__t16_tops_12021-07-18 03:36 5.0K 
[ ]tops_1__t15_tops_1.vout2021-07-25 20:47 12K 
[ ]tops_1__t15_tops_1.vmin1out2021-07-25 21:01 12K 
[ ]tops_1__t15_tops_1.vmin12021-07-25 20:57 1.6K 
[ ]tops_1__t15_tops_1.depvmin12021-07-25 21:03 172  
[ ]tops_1__t15_tops_1.depv12021-07-25 20:57 172  
[ ]tops_1__t15_tops_12021-07-18 03:35 6.7K 
[ ]tops_1__t14_tops_1.vout2021-07-25 15:29 7.3K 
[ ]tops_1__t14_tops_12021-07-18 03:35 11K 
[ ]tops_1__t13_tops_1.vout2021-07-25 17:28 7.3K 
[ ]tops_1__t13_tops_12021-07-18 03:35 10K 
[ ]tops_1__t12_tops_1.vout2021-07-25 20:00 6.8K 
[ ]tops_1__t12_tops_12021-07-18 03:35 14K 
[ ]tops_1__t11_tops_1.vout2021-07-25 15:23 7.4K 
[ ]tops_1__t11_tops_1.vmin1out2021-07-25 21:00 7.2K 
[ ]tops_1__t11_tops_1.vmin12021-07-25 20:57 712  
[ ]tops_1__t11_tops_1.depvmin12021-07-25 21:03 47  
[ ]tops_1__t11_tops_1.depv12021-07-25 20:57 47  
[ ]tops_1__t11_tops_12021-07-18 03:32 5.2K 
[ ]tops_1__t10_tops_1.vout2021-07-25 16:42 8.5K 
[ ]tops_1__t10_tops_1.vmin1out2021-07-25 20:59 7.6K 
[ ]tops_1__t10_tops_1.vmin12021-07-25 20:57 749  
[ ]tops_1__t10_tops_1.depvmin12021-07-25 21:03 47  
[ ]tops_1__t10_tops_1.depv12021-07-25 20:57 47  
[ ]tops_1__t10_tops_12021-07-18 03:32 5.5K 
[ ]tops_1__t9_tops_1.vout2021-07-25 17:39 8.5K 
[ ]tops_1__t9_tops_1.vmin1out2021-07-25 20:58 7.6K 
[ ]tops_1__t9_tops_1.vmin12021-07-25 20:57 748  
[ ]tops_1__t9_tops_1.depvmin12021-07-25 21:03 46  
[ ]tops_1__t9_tops_1.depv12021-07-25 20:57 46  
[ ]tops_1__t9_tops_12021-07-18 03:32 5.0K 
[ ]tops_1__t8_tops_1.vout2021-07-25 19:01 7.4K 
[ ]tops_1__t8_tops_1.vmin1out2021-07-25 20:59 7.2K 
[ ]tops_1__t8_tops_1.vmin12021-07-25 20:57 711  
[ ]tops_1__t8_tops_1.depvmin12021-07-25 21:03 46  
[ ]tops_1__t8_tops_1.depv12021-07-25 20:57 46  
[ ]tops_1__t8_tops_12021-07-18 03:31 4.6K 
[ ]tops_1__t7_tops_1.vout2021-07-25 16:04 7.2K 
[ ]tops_1__t7_tops_12021-07-18 03:34 5.7K 
[ ]tops_1__t6_tops_1.vout2021-07-25 17:19 52K 
[ ]tops_1__t6_tops_1.vmin1out2021-07-25 21:00 36K 
[ ]tops_1__t6_tops_1.vmin12021-07-25 20:57 2.2K 
[ ]tops_1__t6_tops_1.depvmin12021-07-25 21:03 176  
[ ]tops_1__t6_tops_1.depv12021-07-25 20:57 227  
[ ]tops_1__t6_tops_12021-07-18 03:34 6.5K 
[ ]tops_1__t5_tops_1.vout2021-07-25 16:19 9.8K 
[ ]tops_1__t5_tops_1.vmin1out2021-07-25 21:00 7.3K 
[ ]tops_1__t5_tops_1.vmin12021-07-25 20:57 767  
[ ]tops_1__t5_tops_1.depvmin12021-07-25 21:03 36  
[ ]tops_1__t5_tops_1.depv12021-07-25 20:57 36  
[ ]tops_1__t5_tops_12021-07-18 03:34 4.7K 
[ ]tops_1__t4_tops_1.vout2021-07-25 18:51 9.4K 
[ ]tops_1__t4_tops_1.vmin1out2021-07-25 21:00 8.8K 
[ ]tops_1__t4_tops_1.vmin12021-07-25 20:57 652  
[ ]tops_1__t4_tops_1.depvmin12021-07-25 21:03 62  
[ ]tops_1__t4_tops_1.depv12021-07-25 20:57 62  
[ ]tops_1__t4_tops_12021-07-18 03:34 3.9K 
[ ]tops_1__t3_tops_1.vout2021-07-25 15:56 13K 
[ ]tops_1__t3_tops_1.vmin1out2021-07-25 21:00 12K 
[ ]tops_1__t3_tops_1.vmin12021-07-25 20:57 1.2K 
[ ]tops_1__t3_tops_1.depvmin12021-07-25 21:03 132  
[ ]tops_1__t3_tops_1.depv12021-07-25 20:57 132  
[ ]tops_1__t3_tops_12021-07-18 03:34 4.5K 
[ ]tops_1__t2_tops_1.vout2021-07-25 20:50 7.8K 
[ ]tops_1__t2_tops_12021-07-18 03:31 4.0K 
[ ]tops_1__t1_tops_1.vout2021-07-25 17:35 7.0K 
[ ]tops_1__t1_tops_1.vmin1out2021-07-25 20:59 5.8K 
[ ]tops_1__t1_tops_1.vmin12021-07-25 20:57 392  
[ ]tops_1__t1_tops_1.depvmin12021-07-25 21:03 37  
[ ]tops_1__t1_tops_1.depv12021-07-25 20:57 37  
[ ]tops_1__t1_tops_12021-07-18 03:31 3.8K 
[ ]tops_1__l48_tops_1.vout2021-07-25 14:31 12K 
[ ]tops_1__l48_tops_1.vmin1out2021-07-25 20:59 12K 
[ ]tops_1__l48_tops_1.vmin12021-07-25 20:57 597  
[ ]tops_1__l48_tops_1.depvmin12021-07-25 21:03 80  
[ ]tops_1__l48_tops_1.depv12021-07-25 20:57 80  
[ ]tops_1__l48_tops_12021-07-18 03:46 3.4K 
[ ]tops_1__l46_tops_1.vout2021-07-25 20:28 7.3K 
[ ]tops_1__l46_tops_12021-07-18 03:46 13K 
[ ]tops_1__l45_tops_1.vout2021-07-25 20:37 2.0K 
[ ]tops_1__l45_tops_12021-07-18 03:46 7.8K 
[ ]tops_1__l44_tops_1.vout2021-07-25 16:24 12K 
[ ]tops_1__l44_tops_1.vmin1out2021-07-25 21:00 14K 
[ ]tops_1__l44_tops_1.vmin12021-07-25 20:57 1.6K 
[ ]tops_1__l44_tops_1.depvmin12021-07-25 21:03 139  
[ ]tops_1__l44_tops_1.depv12021-07-25 20:57 139  
[ ]tops_1__l44_tops_12021-07-18 03:45 6.2K 
[ ]tops_1__l38_tops_1.vout2021-07-25 18:39 7.3K 
[ ]tops_1__l38_tops_12021-07-18 03:45 15K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80