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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]tops_1__l38_tops_12025-09-09 14:15 15K 
[ ]tops_1__l38_tops_1.vout2025-09-15 17:49 7.3K 
[ ]tops_1__l44_tops_12025-09-09 14:16 6.2K 
[ ]tops_1__l44_tops_1.depv12025-09-15 19:47 139  
[ ]tops_1__l44_tops_1.depvmin12025-09-15 19:52 139  
[ ]tops_1__l44_tops_1.vmin12025-09-15 19:47 1.6K 
[ ]tops_1__l44_tops_1.vmin1out2025-09-15 19:48 14K 
[ ]tops_1__l44_tops_1.vout2025-09-15 15:24 12K 
[ ]tops_1__l45_tops_12025-09-09 14:16 7.8K 
[ ]tops_1__l45_tops_1.vout2025-09-15 14:20 2.0K 
[ ]tops_1__l46_tops_12025-09-09 14:17 13K 
[ ]tops_1__l46_tops_1.vout2025-09-15 13:46 7.3K 
[ ]tops_1__l48_tops_12025-09-09 14:18 3.4K 
[ ]tops_1__l48_tops_1.depv12025-09-15 19:47 80  
[ ]tops_1__l48_tops_1.depvmin12025-09-15 19:52 80  
[ ]tops_1__l48_tops_1.vmin12025-09-15 19:47 597  
[ ]tops_1__l48_tops_1.vmin1out2025-09-15 19:49 12K 
[ ]tops_1__l48_tops_1.vout2025-09-15 14:01 12K 
[ ]tops_1__t1_tops_12025-09-09 13:30 3.8K 
[ ]tops_1__t1_tops_1.depv12025-09-15 19:47 37  
[ ]tops_1__t1_tops_1.depvmin12025-09-15 19:52 37  
[ ]tops_1__t1_tops_1.vmin12025-09-15 19:47 392  
[ ]tops_1__t1_tops_1.vmin1out2025-09-15 19:50 5.8K 
[ ]tops_1__t1_tops_1.vout2025-09-15 17:45 7.0K 
[ ]tops_1__t2_tops_12025-09-09 13:30 4.0K 
[ ]tops_1__t2_tops_1.vout2025-09-15 17:21 7.8K 
[ ]tops_1__t3_tops_12025-09-09 13:39 4.5K 
[ ]tops_1__t3_tops_1.depv12025-09-15 19:47 132  
[ ]tops_1__t3_tops_1.depvmin12025-09-15 19:52 132  
[ ]tops_1__t3_tops_1.vmin12025-09-15 19:47 1.2K 
[ ]tops_1__t3_tops_1.vmin1out2025-09-15 19:50 12K 
[ ]tops_1__t3_tops_1.vout2025-09-15 19:35 13K 
[ ]tops_1__t4_tops_12025-09-09 13:40 3.9K 
[ ]tops_1__t4_tops_1.depv12025-09-15 19:47 62  
[ ]tops_1__t4_tops_1.depvmin12025-09-15 19:52 62  
[ ]tops_1__t4_tops_1.vmin12025-09-15 19:47 652  
[ ]tops_1__t4_tops_1.vmin1out2025-09-15 19:51 8.8K 
[ ]tops_1__t4_tops_1.vout2025-09-15 14:32 9.4K 
[ ]tops_1__t5_tops_12025-09-09 13:40 4.7K 
[ ]tops_1__t5_tops_1.depv12025-09-15 19:47 36  
[ ]tops_1__t5_tops_1.depvmin12025-09-15 19:52 36  
[ ]tops_1__t5_tops_1.vmin12025-09-15 19:47 767  
[ ]tops_1__t5_tops_1.vmin1out2025-09-15 19:49 7.3K 
[ ]tops_1__t5_tops_1.vout2025-09-15 15:33 9.8K 
[ ]tops_1__t6_tops_12025-09-09 13:41 6.5K 
[ ]tops_1__t6_tops_1.vout2025-09-15 15:30 7.3K 
[ ]tops_1__t7_tops_12025-09-09 13:41 5.7K 
[ ]tops_1__t7_tops_1.vout2025-09-15 16:36 7.3K 
[ ]tops_1__t8_tops_12025-09-09 13:31 4.6K 
[ ]tops_1__t8_tops_1.depv12025-09-15 19:47 46  
[ ]tops_1__t8_tops_1.depvmin12025-09-15 19:52 46  
[ ]tops_1__t8_tops_1.vmin12025-09-15 19:47 711  
[ ]tops_1__t8_tops_1.vmin1out2025-09-15 19:49 7.2K 
[ ]tops_1__t8_tops_1.vout2025-09-15 19:21 7.4K 
[ ]tops_1__t9_tops_12025-09-09 13:32 5.0K 
[ ]tops_1__t9_tops_1.depv12025-09-15 19:47 46  
[ ]tops_1__t9_tops_1.depvmin12025-09-15 19:52 46  
[ ]tops_1__t9_tops_1.vmin12025-09-15 19:47 748  
[ ]tops_1__t9_tops_1.vmin1out2025-09-15 19:48 7.6K 
[ ]tops_1__t9_tops_1.vout2025-09-15 13:30 8.5K 
[ ]tops_1__t10_tops_12025-09-09 13:32 5.5K 
[ ]tops_1__t10_tops_1.depv12025-09-15 19:47 47  
[ ]tops_1__t10_tops_1.depvmin12025-09-15 19:52 47  
[ ]tops_1__t10_tops_1.vmin12025-09-15 19:47 749  
[ ]tops_1__t10_tops_1.vmin1out2025-09-15 19:47 7.6K 
[ ]tops_1__t10_tops_1.vout2025-09-15 18:33 8.5K 
[ ]tops_1__t11_tops_12025-09-09 13:33 5.2K 
[ ]tops_1__t11_tops_1.depv12025-09-15 19:47 47  
[ ]tops_1__t11_tops_1.depvmin12025-09-15 19:52 47  
[ ]tops_1__t11_tops_1.vmin12025-09-15 19:47 712  
[ ]tops_1__t11_tops_1.vmin1out2025-09-15 19:48 7.2K 
[ ]tops_1__t11_tops_1.vout2025-09-15 14:47 7.4K 
[ ]tops_1__t12_tops_12025-09-09 13:42 14K 
[ ]tops_1__t12_tops_1.vout2025-09-15 14:15 6.8K 
[ ]tops_1__t13_tops_12025-09-09 13:43 10K 
[ ]tops_1__t13_tops_1.vout2025-09-15 16:58 7.3K 
[ ]tops_1__t14_tops_12025-09-09 13:44 11K 
[ ]tops_1__t14_tops_1.vout2025-09-15 14:27 7.3K 
[ ]tops_1__t15_tops_12025-09-09 13:44 6.7K 
[ ]tops_1__t15_tops_1.depv12025-09-15 19:47 172  
[ ]tops_1__t15_tops_1.depvmin12025-09-15 19:52 172  
[ ]tops_1__t15_tops_1.vmin12025-09-15 19:47 1.6K 
[ ]tops_1__t15_tops_1.vmin1out2025-09-15 19:49 12K 
[ ]tops_1__t15_tops_1.vout2025-09-15 16:56 12K 
[ ]tops_1__t16_tops_12025-09-09 13:45 5.0K 
[ ]tops_1__t16_tops_1.depv12025-09-15 19:47 187  
[ ]tops_1__t16_tops_1.depvmin12025-09-15 19:52 133  
[ ]tops_1__t16_tops_1.vmin12025-09-15 19:47 1.8K 
[ ]tops_1__t16_tops_1.vmin1out2025-09-15 19:49 25K 
[ ]tops_1__t16_tops_1.vout2025-09-15 16:11 24K 
[ ]tops_1__t17_tops_12025-09-09 13:46 9.5K 
[ ]tops_1__t17_tops_1.vout2025-09-15 18:49 2.0K 
[ ]tops_1__t18_tops_12025-09-09 13:33 4.9K 
[ ]tops_1__t18_tops_1.depv12025-09-15 19:47 58  
[ ]tops_1__t18_tops_1.depvmin12025-09-15 19:52 58  
[ ]tops_1__t18_tops_1.vmin12025-09-15 19:47 445  
[ ]tops_1__t18_tops_1.vmin1out2025-09-15 19:49 3.8K 
[ ]tops_1__t18_tops_1.vout2025-09-15 14:36 3.8K 
[ ]tops_1__t19_tops_12025-09-09 13:46 5.2K 
[ ]tops_1__t19_tops_1.depv12025-09-15 19:47 117  
[ ]tops_1__t19_tops_1.depvmin12025-09-15 19:52 104  
[ ]tops_1__t19_tops_1.vmin12025-09-15 19:47 1.5K 
[ ]tops_1__t19_tops_1.vmin1out2025-09-15 19:50 19K 
[ ]tops_1__t19_tops_1.vout2025-09-15 17:38 21K 
[ ]tops_1__t20_tops_12025-09-09 13:47 7.5K 
[ ]tops_1__t20_tops_1.vout2025-09-15 15:30 7.3K 
[ ]tops_1__t21_tops_12025-09-09 13:48 11K 
[ ]tops_1__t21_tops_1.vout2025-09-15 14:43 7.3K 
[ ]tops_1__t22_tops_12025-09-09 13:48 7.4K 
[ ]tops_1__t22_tops_1.depv12025-09-15 19:47 203  
[ ]tops_1__t22_tops_1.depvmin12025-09-15 19:52 203  
[ ]tops_1__t22_tops_1.vmin12025-09-15 19:47 2.8K 
[ ]tops_1__t22_tops_1.vmin1out2025-09-15 19:48 36K 
[ ]tops_1__t22_tops_1.vout2025-09-15 19:27 35K 
[ ]tops_1__t23_tops_12025-09-09 13:49 6.9K 
[ ]tops_1__t23_tops_1.depv12025-09-15 19:47 97  
[ ]tops_1__t23_tops_1.depvmin12025-09-15 19:52 97  
[ ]tops_1__t23_tops_1.vmin12025-09-15 19:47 1.4K 
[ ]tops_1__t23_tops_1.vmin1out2025-09-15 19:48 14K 
[ ]tops_1__t23_tops_1.vout2025-09-15 15:29 14K 
[ ]tops_1__t24_tops_12025-09-09 13:50 7.1K 
[ ]tops_1__t24_tops_1.vout2025-09-15 14:55 7.3K 
[ ]tops_1__t25_tops_12025-09-09 13:50 7.0K 
[ ]tops_1__t25_tops_1.vout2025-09-15 17:46 6.8K 
[ ]tops_1__t26_tops_12025-09-09 13:51 5.5K 
[ ]tops_1__t26_tops_1.vout2025-09-15 19:18 7.3K 
[ ]tops_1__t27_tops_12025-09-09 13:52 6.9K 
[ ]tops_1__t27_tops_1.vout2025-09-15 15:56 2.0K 
[ ]tops_1__t28_tops_12025-09-09 13:52 12K 
[ ]tops_1__t28_tops_1.vout2025-09-15 15:29 7.3K 
[ ]tops_1__t29_tops_12025-09-09 13:34 5.2K 
[ ]tops_1__t29_tops_1.depv12025-09-15 19:47 129  
[ ]tops_1__t29_tops_1.depvmin12025-09-15 19:52 129  
[ ]tops_1__t29_tops_1.vmin12025-09-15 19:47 1.1K 
[ ]tops_1__t29_tops_1.vmin1out2025-09-15 19:49 8.8K 
[ ]tops_1__t29_tops_1.vout2025-09-15 15:54 9.3K 
[ ]tops_1__t30_tops_12025-09-09 13:53 7.8K 
[ ]tops_1__t30_tops_1.vout2025-09-15 13:39 7.3K 
[ ]tops_1__t31_tops_12025-09-09 13:54 7.8K 
[ ]tops_1__t31_tops_1.vout2025-09-15 16:25 6.8K 
[ ]tops_1__t32_tops_12025-09-09 13:54 11K 
[ ]tops_1__t32_tops_1.vout2025-09-15 16:15 7.3K 
[ ]tops_1__t33_tops_12025-09-09 13:55 11K 
[ ]tops_1__t33_tops_1.vout2025-09-15 17:15 7.3K 
[ ]tops_1__t34_tops_12025-09-09 13:56 5.8K 
[ ]tops_1__t34_tops_1.depv12025-09-15 19:47 149  
[ ]tops_1__t34_tops_1.depvmin12025-09-15 19:52 149  
[ ]tops_1__t34_tops_1.vmin12025-09-15 19:47 1.8K 
[ ]tops_1__t34_tops_1.vmin1out2025-09-15 19:49 26K 
[ ]tops_1__t34_tops_1.vout2025-09-15 15:19 25K 
[ ]tops_1__t35_tops_12025-09-09 13:56 8.0K 
[ ]tops_1__t35_tops_1.depv12025-09-15 19:47 107  
[ ]tops_1__t35_tops_1.depvmin12025-09-15 19:52 107  
[ ]tops_1__t35_tops_1.vmin12025-09-15 19:47 1.2K 
[ ]tops_1__t35_tops_1.vmin1out2025-09-15 19:50 15K 
[ ]tops_1__t35_tops_1.vout2025-09-15 15:43 15K 
[ ]tops_1__t36_tops_12025-09-09 13:57 11K 
[ ]tops_1__t36_tops_1.vout2025-09-15 15:18 7.3K 
[ ]tops_1__t37_tops_12025-09-09 13:57 6.4K 
[ ]tops_1__t37_tops_1.vout2025-09-15 13:42 7.3K 
[ ]tops_1__t38_tops_12025-09-09 13:58 6.0K 
[ ]tops_1__t38_tops_1.vout2025-09-15 15:00 7.3K 
[ ]tops_1__t39_tops_12025-09-09 13:58 6.4K 
[ ]tops_1__t39_tops_1.depv12025-09-15 19:47 185  
[ ]tops_1__t39_tops_1.depvmin12025-09-15 19:52 173  
[ ]tops_1__t39_tops_1.vmin12025-09-15 19:47 1.8K 
[ ]tops_1__t39_tops_1.vmin1out2025-09-15 19:49 14K 
[ ]tops_1__t39_tops_1.vout2025-09-15 15:21 13K 
[ ]tops_1__t40_tops_12025-09-09 13:59 8.5K 
[ ]tops_1__t40_tops_1.vout2025-09-15 19:01 7.3K 
[ ]tops_1__t41_tops_12025-09-09 14:00 9.0K 
[ ]tops_1__t41_tops_1.vout2025-09-15 14:12 2.0K 
[ ]tops_1__t42_tops_12025-09-09 14:00 13K 
[ ]tops_1__t42_tops_1.vout2025-09-15 15:54 7.3K 
[ ]tops_1__t43_tops_12025-09-09 14:01 12K 
[ ]tops_1__t43_tops_1.depv12025-09-15 19:47 179  
[ ]tops_1__t43_tops_1.depvmin12025-09-15 19:52 179  
[ ]tops_1__t43_tops_1.vmin12025-09-15 19:47 1.8K 
[ ]tops_1__t43_tops_1.vmin1out2025-09-15 19:48 16K 
[ ]tops_1__t43_tops_1.vout2025-09-15 16:37 16K 
[ ]tops_1__t44_tops_12025-09-09 14:02 4.4K 
[ ]tops_1__t44_tops_1.vout2025-09-15 14:10 7.8K 
[ ]tops_1__t45_tops_12025-09-09 14:02 11K 
[ ]tops_1__t45_tops_1.vout2025-09-15 13:37 7.3K 
[ ]tops_1__t46_tops_12025-09-09 14:03 11K 
[ ]tops_1__t46_tops_1.vout2025-09-15 15:05 7.3K 
[ ]tops_1__t47_tops_12025-09-09 13:34 6.5K 
[ ]tops_1__t47_tops_1.vout2025-09-15 15:58 2.0K 
[ ]tops_1__t48_tops_12025-09-09 14:04 5.6K 
[ ]tops_1__t48_tops_1.vout2025-09-15 18:26 7.8K 
[ ]tops_1__t49_tops_12025-09-09 14:04 11K 
[ ]tops_1__t49_tops_1.vout2025-09-15 16:39 6.8K 
[ ]tops_1__t50_tops_12025-09-09 14:05 7.2K 
[ ]tops_1__t50_tops_1.vout2025-09-15 17:04 7.9K 
[ ]tops_1__t51_tops_12025-09-09 14:06 8.6K 
[ ]tops_1__t51_tops_1.vout2025-09-15 17:38 7.3K 
[ ]tops_1__t52_tops_12025-09-09 14:06 7.9K 
[ ]tops_1__t52_tops_1.vout2025-09-15 16:47 7.3K 
[ ]tops_1__t53_tops_12025-09-09 14:07 7.7K 
[ ]tops_1__t53_tops_1.vout2025-09-15 19:46 2.0K 
[ ]tops_1__t54_tops_12025-09-09 14:07 5.6K 
[ ]tops_1__t54_tops_1.vout2025-09-15 17:48 7.8K 
[ ]tops_1__t55_tops_12025-09-09 13:35 4.3K 
[ ]tops_1__t55_tops_1.vout2025-09-15 18:53 2.0K 
[ ]tops_1__t56_tops_12025-09-09 13:35 5.7K 
[ ]tops_1__t56_tops_1.vout2025-09-15 16:02 2.0K 
[ ]tops_1__t57_tops_12025-09-09 14:08 12K 
[ ]tops_1__t57_tops_1.vout2025-09-15 15:26 6.8K 
[ ]tops_1__t58_tops_12025-09-09 14:09 16K 
[ ]tops_1__t58_tops_1.vout2025-09-15 15:38 7.3K 
[ ]tops_1__t59_tops_12025-09-09 14:10 9.0K 
[ ]tops_1__t59_tops_1.depv12025-09-15 19:47 152  
[ ]tops_1__t59_tops_1.depvmin12025-09-15 19:52 152  
[ ]tops_1__t59_tops_1.vmin12025-09-15 19:47 1.5K 
[ ]tops_1__t59_tops_1.vmin1out2025-09-15 19:48 14K 
[ ]tops_1__t59_tops_1.vout2025-09-15 18:27 12K 
[ ]tops_1__t60_tops_12025-09-09 14:10 7.8K 
[ ]tops_1__t60_tops_1.depv12025-09-15 19:47 74  
[ ]tops_1__t60_tops_1.depvmin12025-09-15 19:52 74  
[ ]tops_1__t60_tops_1.vmin12025-09-15 19:47 1.0K 
[ ]tops_1__t60_tops_1.vmin1out2025-09-15 19:51 15K 
[ ]tops_1__t60_tops_1.vout2025-09-15 16:48 15K 
[ ]tops_1__t61_tops_12025-09-09 13:36 4.0K 
[ ]tops_1__t61_tops_1.vout2025-09-15 18:17 2.0K 
[ ]tops_1__t62_tops_12025-09-09 13:37 6.2K 
[ ]tops_1__t62_tops_1.vout2025-09-15 13:40 2.0K 
[ ]tops_1__t63_tops_12025-09-09 13:37 6.4K 
[ ]tops_1__t63_tops_1.vout2025-09-15 17:15 7.3K 
[ ]tops_1__t64_tops_12025-09-09 13:38 6.7K 
[ ]tops_1__t64_tops_1.vout2025-09-15 14:10 2.0K 
[ ]tops_1__t65_tops_12025-09-09 13:38 8.6K 
[ ]tops_1__t65_tops_1.vout2025-09-15 14:50 2.0K 
[ ]tops_1__t66_tops_12025-09-09 14:11 12K 
[ ]tops_1__t66_tops_1.vout2025-09-15 14:29 7.8K 
[ ]tops_1__t67_tops_12025-09-09 14:12 12K 
[ ]tops_1__t67_tops_1.vout2025-09-15 16:05 7.3K 
[ ]tops_1__t68_tops_12025-09-09 14:12 11K 
[ ]tops_1__t68_tops_1.vout2025-09-15 15:54 7.3K 
[ ]tops_1__t69_tops_12025-09-09 14:13 10K 
[ ]tops_1__t69_tops_1.vout2025-09-15 15:21 2.0K 
[ ]tops_1__t70_tops_12025-09-09 14:14 13K 
[ ]tops_1__t70_tops_1.vout2025-09-15 15:47 7.3K 
[ ]tops_1__t71_tops_12025-09-09 14:14 6.2K 
[ ]tops_1__t71_tops_1.vout2025-09-15 15:15 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80