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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]tops_5__l18_tops_52024-07-28 07:31 14K 
[ ]tops_5__l18_tops_5.depv12024-08-03 10:19 55  
[ ]tops_5__l18_tops_5.depvmin12024-08-03 10:24 55  
[ ]tops_5__l18_tops_5.vmin12024-08-03 10:19 508  
[ ]tops_5__l18_tops_5.vmin1out2024-08-03 10:22 11K 
[ ]tops_5__l18_tops_5.vout2024-08-03 07:20 5.8K 
[ ]tops_5__l35_tops_52024-07-28 07:32 26K 
[ ]tops_5__l35_tops_5.vout2024-08-03 07:54 4.1K 
[ ]tops_5__l67_tops_52024-07-28 07:35 96K 
[ ]tops_5__l67_tops_5.vout2024-08-03 08:30 3.6K 
[ ]tops_5__l72_tops_52024-07-28 07:37 65K 
[ ]tops_5__l72_tops_5.vout2024-08-03 09:19 4.7K 
[ ]tops_5__l73_tops_52024-07-28 07:39 41K 
[ ]tops_5__l73_tops_5.vout2024-08-03 09:30 7.3K 
[ ]tops_5__l74_tops_52024-07-28 07:41 51K 
[ ]tops_5__l74_tops_5.vout2024-08-03 09:08 3.7K 
[ ]tops_5__l75_tops_52024-07-28 07:42 41K 
[ ]tops_5__l75_tops_5.vout2024-08-03 06:06 7.3K 
[ ]tops_5__l80_tops_52024-07-28 07:44 36K 
[ ]tops_5__l80_tops_5.vout2024-08-03 06:12 4.1K 
[ ]tops_5__l82_tops_52024-07-28 07:46 71K 
[ ]tops_5__l82_tops_5.vout2024-08-03 07:44 4.7K 
[ ]tops_5__t1_tops_52024-07-28 05:43 18K 
[ ]tops_5__t1_tops_5.depv12024-08-03 10:19 43  
[ ]tops_5__t1_tops_5.depvmin12024-08-03 10:24 43  
[ ]tops_5__t1_tops_5.vmin12024-08-03 10:19 779  
[ ]tops_5__t1_tops_5.vmin1out2024-08-03 10:21 18K 
[ ]tops_5__t1_tops_5.vout2024-08-03 06:46 23K 
[ ]tops_5__t2_tops_52024-07-28 05:44 18K 
[ ]tops_5__t2_tops_5.vout2024-08-03 09:21 4.1K 
[ ]tops_5__t3_tops_52024-07-28 07:26 17K 
[ ]tops_5__t3_tops_5.vout2024-08-03 09:18 6.7K 
[ ]tops_5__t4_tops_52024-07-28 07:27 20K 
[ ]tops_5__t4_tops_5.vout2024-08-03 05:04 6.8K 
[ ]tops_5__t5_tops_52024-07-28 07:28 31K 
[ ]tops_5__t5_tops_5.vout2024-08-03 05:25 3.6K 
[ ]tops_5__t6_tops_52024-07-28 05:45 29K 
[ ]tops_5__t6_tops_5.depv12024-08-03 10:19 232  
[ ]tops_5__t6_tops_5.depvmin12024-08-03 10:24 158  
[ ]tops_5__t6_tops_5.vmin12024-08-03 10:19 2.3K 
[ ]tops_5__t6_tops_5.vmin1out2024-08-03 10:20 14K 
[ ]tops_5__t6_tops_5.vout2024-08-03 07:43 21K 
[ ]tops_5__t7_tops_52024-07-28 05:46 30K 
[ ]tops_5__t7_tops_5.vout2024-08-03 10:07 4.7K 
[ ]tops_5__t8_tops_52024-07-28 05:47 20K 
[ ]tops_5__t8_tops_5.vout2024-08-03 05:34 7.3K 
[ ]tops_5__t9_tops_52024-07-28 05:48 22K 
[ ]tops_5__t9_tops_5.depv12024-08-03 10:19 155  
[ ]tops_5__t9_tops_5.depvmin12024-08-03 10:24 155  
[ ]tops_5__t9_tops_5.vmin12024-08-03 10:19 1.6K 
[ ]tops_5__t9_tops_5.vmin1out2024-08-03 10:22 20K 
[ ]tops_5__t9_tops_5.vout2024-08-03 06:59 19K 
[ ]tops_5__t10_tops_52024-07-28 05:49 20K 
[ ]tops_5__t10_tops_5.vout2024-08-03 10:14 4.1K 
[ ]tops_5__t11_tops_52024-07-28 05:50 25K 
[ ]tops_5__t11_tops_5.vout2024-08-03 04:39 2.0K 
[ ]tops_5__t12_tops_52024-07-28 05:51 31K 
[ ]tops_5__t12_tops_5.vout2024-08-03 09:07 2.0K 
[ ]tops_5__t13_tops_52024-07-28 05:52 32K 
[ ]tops_5__t13_tops_5.vout2024-08-03 06:15 4.7K 
[ ]tops_5__t14_tops_52024-07-28 05:53 32K 
[ ]tops_5__t14_tops_5.vout2024-08-03 05:50 6.8K 
[ ]tops_5__t15_tops_52024-07-28 07:30 33K 
[ ]tops_5__t15_tops_5.vout2024-08-03 06:22 7.8K 
[ ]tops_5__t16_tops_52024-07-28 05:54 29K 
[ ]tops_5__t16_tops_5.depv12024-08-03 10:19 69  
[ ]tops_5__t16_tops_5.depvmin12024-08-03 10:24 69  
[ ]tops_5__t16_tops_5.vmin12024-08-03 10:19 645  
[ ]tops_5__t16_tops_5.vmin1out2024-08-03 10:22 14K 
[ ]tops_5__t16_tops_5.vout2024-08-03 09:27 14K 
[ ]tops_5__t17_tops_52024-07-28 05:55 33K 
[ ]tops_5__t17_tops_5.depv12024-08-03 10:19 149  
[ ]tops_5__t17_tops_5.depvmin12024-08-03 10:24 149  
[ ]tops_5__t17_tops_5.vmin12024-08-03 10:19 1.5K 
[ ]tops_5__t17_tops_5.vmin1out2024-08-03 10:20 21K 
[ ]tops_5__t17_tops_5.vout2024-08-03 05:38 25K 
[ ]tops_5__t18_tops_52024-07-28 05:57 30K 
[ ]tops_5__t18_tops_5.depv12024-08-03 10:19 246  
[ ]tops_5__t18_tops_5.depvmin12024-08-03 10:24 177  
[ ]tops_5__t18_tops_5.vmin12024-08-03 10:19 1.9K 
[ ]tops_5__t18_tops_5.vmin1out2024-08-03 10:23 16K 
[ ]tops_5__t18_tops_5.vout2024-08-03 05:15 21K 
[ ]tops_5__t19_tops_52024-07-28 05:58 25K 
[ ]tops_5__t19_tops_5.vout2024-08-03 09:03 4.1K 
[ ]tops_5__t20_tops_52024-07-28 05:59 37K 
[ ]tops_5__t20_tops_5.vout2024-08-03 09:32 3.6K 
[ ]tops_5__t21_tops_52024-07-28 06:00 28K 
[ ]tops_5__t21_tops_5.depv12024-08-03 10:19 116  
[ ]tops_5__t21_tops_5.depvmin12024-08-03 10:24 116  
[ ]tops_5__t21_tops_5.vmin12024-08-03 10:19 1.6K 
[ ]tops_5__t21_tops_5.vmin1out2024-08-03 10:20 34K 
[ ]tops_5__t21_tops_5.vout2024-08-03 08:12 34K 
[ ]tops_5__t22_tops_52024-07-28 06:01 30K 
[ ]tops_5__t22_tops_5.vout2024-08-03 09:23 6.8K 
[ ]tops_5__t23_tops_52024-07-28 06:02 23K 
[ ]tops_5__t23_tops_5.depv12024-08-03 10:19 120  
[ ]tops_5__t23_tops_5.depvmin12024-08-03 10:24 120  
[ ]tops_5__t23_tops_5.vmin12024-08-03 10:19 1.8K 
[ ]tops_5__t23_tops_5.vmin1out2024-08-03 10:21 33K 
[ ]tops_5__t23_tops_5.vout2024-08-03 09:45 33K 
[ ]tops_5__t24_tops_52024-07-28 06:03 34K 
[ ]tops_5__t24_tops_5.vout2024-08-03 05:02 7.3K 
[ ]tops_5__t25_tops_52024-07-28 06:04 33K 
[ ]tops_5__t25_tops_5.vout2024-08-03 05:32 7.3K 
[ ]tops_5__t26_tops_52024-07-28 06:05 28K 
[ ]tops_5__t26_tops_5.depv12024-08-03 10:19 56  
[ ]tops_5__t26_tops_5.depvmin12024-08-03 10:24 56  
[ ]tops_5__t26_tops_5.vmin12024-08-03 10:19 1.1K 
[ ]tops_5__t26_tops_5.vmin1out2024-08-03 10:21 20K 
[ ]tops_5__t26_tops_5.vout2024-08-03 05:15 21K 
[ ]tops_5__t27_tops_52024-07-28 06:07 38K 
[ ]tops_5__t27_tops_5.vout2024-08-03 07:51 4.7K 
[ ]tops_5__t28_tops_52024-07-28 06:08 35K 
[ ]tops_5__t28_tops_5.vout2024-08-03 06:15 8.3K 
[ ]tops_5__t29_tops_52024-07-28 06:09 23K 
[ ]tops_5__t29_tops_5.depv12024-08-03 10:19 112  
[ ]tops_5__t29_tops_5.depvmin12024-08-03 10:24 112  
[ ]tops_5__t29_tops_5.vmin12024-08-03 10:19 1.8K 
[ ]tops_5__t29_tops_5.vmin1out2024-08-03 10:21 51K 
[ ]tops_5__t29_tops_5.vout2024-08-03 07:22 55K 
[ ]tops_5__t30_tops_52024-07-28 06:10 27K 
[ ]tops_5__t30_tops_5.vout2024-08-03 08:18 4.1K 
[ ]tops_5__t31_tops_52024-07-28 06:11 31K 
[ ]tops_5__t31_tops_5.vout2024-08-03 05:33 4.1K 
[ ]tops_5__t32_tops_52024-07-28 06:12 23K 
[ ]tops_5__t32_tops_5.depv12024-08-03 10:19 33  
[ ]tops_5__t32_tops_5.depvmin12024-08-03 10:24 33  
[ ]tops_5__t32_tops_5.vmin12024-08-03 10:19 898  
[ ]tops_5__t32_tops_5.vmin1out2024-08-03 10:22 9.1K 
[ ]tops_5__t32_tops_5.vout2024-08-03 08:19 10K 
[ ]tops_5__t33_tops_52024-07-28 06:13 26K 
[ ]tops_5__t33_tops_5.vout2024-08-03 05:26 4.1K 
[ ]tops_5__t34_tops_52024-07-28 06:14 17K 
[ ]tops_5__t34_tops_5.depv12024-08-03 10:19 33  
[ ]tops_5__t34_tops_5.depvmin12024-08-03 10:24 33  
[ ]tops_5__t34_tops_5.vmin12024-08-03 10:19 847  
[ ]tops_5__t34_tops_5.vmin1out2024-08-03 10:20 17K 
[ ]tops_5__t34_tops_5.vout2024-08-03 05:18 17K 
[ ]tops_5__t35_tops_52024-07-28 06:15 14K 
[ ]tops_5__t35_tops_5.depv12024-08-03 10:19 193  
[ ]tops_5__t35_tops_5.depvmin12024-08-03 10:24 141  
[ ]tops_5__t35_tops_5.vmin12024-08-03 10:19 1.9K 
[ ]tops_5__t35_tops_5.vmin1out2024-08-03 10:22 25K 
[ ]tops_5__t35_tops_5.vout2024-08-03 05:20 26K 
[ ]tops_5__t36_tops_52024-07-28 06:16 17K 
[ ]tops_5__t36_tops_5.depv12024-08-03 10:19 138  
[ ]tops_5__t36_tops_5.depvmin12024-08-03 10:24 138  
[ ]tops_5__t36_tops_5.vmin12024-08-03 10:19 1.6K 
[ ]tops_5__t36_tops_5.vmin1out2024-08-03 10:21 25K 
[ ]tops_5__t36_tops_5.vout2024-08-03 10:16 25K 
[ ]tops_5__t37_tops_52024-07-28 06:17 15K 
[ ]tops_5__t37_tops_5.depv12024-08-03 10:19 94  
[ ]tops_5__t37_tops_5.depvmin12024-08-03 10:24 94  
[ ]tops_5__t37_tops_5.vmin12024-08-03 10:19 1.4K 
[ ]tops_5__t37_tops_5.vmin1out2024-08-03 10:23 45K 
[ ]tops_5__t37_tops_5.vout2024-08-03 07:58 34K 
[ ]tops_5__t38_tops_52024-07-28 06:19 25K 
[ ]tops_5__t38_tops_5.depv12024-08-03 10:19 33  
[ ]tops_5__t38_tops_5.depvmin12024-08-03 10:24 33  
[ ]tops_5__t38_tops_5.vmin12024-08-03 10:19 752  
[ ]tops_5__t38_tops_5.vmin1out2024-08-03 10:21 7.4K 
[ ]tops_5__t38_tops_5.vout2024-08-03 04:17 8.9K 
[ ]tops_5__t39_tops_52024-07-28 06:20 19K 
[ ]tops_5__t39_tops_5.depv12024-08-03 10:19 99  
[ ]tops_5__t39_tops_5.depvmin12024-08-03 10:24 34  
[ ]tops_5__t39_tops_5.vmin12024-08-03 10:19 1.1K 
[ ]tops_5__t39_tops_5.vmin1out2024-08-03 10:22 6.4K 
[ ]tops_5__t39_tops_5.vout2024-08-03 10:14 21K 
[ ]tops_5__t40_tops_52024-07-28 06:21 21K 
[ ]tops_5__t40_tops_5.depv12024-08-03 10:19 107  
[ ]tops_5__t40_tops_5.depvmin12024-08-03 10:24 107  
[ ]tops_5__t40_tops_5.vmin12024-08-03 10:19 1.7K 
[ ]tops_5__t40_tops_5.vmin1out2024-08-03 10:21 30K 
[ ]tops_5__t40_tops_5.vout2024-08-03 09:22 27K 
[ ]tops_5__t41_tops_52024-07-28 06:22 20K 
[ ]tops_5__t41_tops_5.vout2024-08-03 05:28 6.8K 
[ ]tops_5__t42_tops_52024-07-28 06:23 15K 
[ ]tops_5__t42_tops_5.depv12024-08-03 10:19 72  
[ ]tops_5__t42_tops_5.depvmin12024-08-03 10:24 72  
[ ]tops_5__t42_tops_5.vmin12024-08-03 10:19 1.3K 
[ ]tops_5__t42_tops_5.vmin1out2024-08-03 10:20 27K 
[ ]tops_5__t42_tops_5.vout2024-08-03 04:11 16K 
[ ]tops_5__t43_tops_52024-07-28 06:24 41K 
[ ]tops_5__t43_tops_5.vout2024-08-03 09:42 4.7K 
[ ]tops_5__t44_tops_52024-07-28 06:25 33K 
[ ]tops_5__t44_tops_5.depv12024-08-03 10:19 106  
[ ]tops_5__t44_tops_5.depvmin12024-08-03 10:24 106  
[ ]tops_5__t44_tops_5.vmin12024-08-03 10:19 1.0K 
[ ]tops_5__t44_tops_5.vmin1out2024-08-03 10:22 8.9K 
[ ]tops_5__t44_tops_5.vout2024-08-03 09:03 9.5K 
[ ]tops_5__t45_tops_52024-07-28 06:27 31K 
[ ]tops_5__t45_tops_5.vout2024-08-03 08:03 4.2K 
[ ]tops_5__t46_tops_52024-07-28 06:28 40K 
[ ]tops_5__t46_tops_5.vout2024-08-03 05:12 6.8K 
[ ]tops_5__t47_tops_52024-07-28 06:30 43K 
[ ]tops_5__t47_tops_5.vout2024-08-03 08:00 6.8K 
[ ]tops_5__t48_tops_52024-07-28 06:32 45K 
[ ]tops_5__t48_tops_5.vout2024-08-03 06:49 7.3K 
[ ]tops_5__t49_tops_52024-07-28 06:33 27K 
[ ]tops_5__t49_tops_5.vout2024-08-03 07:08 3.7K 
[ ]tops_5__t50_tops_52024-07-28 06:35 31K 
[ ]tops_5__t50_tops_5.vout2024-08-03 04:10 6.8K 
[ ]tops_5__t51_tops_52024-07-28 06:36 23K 
[ ]tops_5__t51_tops_5.depv12024-08-03 10:19 106  
[ ]tops_5__t51_tops_5.depvmin12024-08-03 10:24 106  
[ ]tops_5__t51_tops_5.vmin12024-08-03 10:19 1.8K 
[ ]tops_5__t51_tops_5.vmin1out2024-08-03 10:23 38K 
[ ]tops_5__t51_tops_5.vout2024-08-03 06:43 27K 
[ ]tops_5__t52_tops_52024-07-28 06:38 45K 
[ ]tops_5__t52_tops_5.depv12024-08-03 10:19 472  
[ ]tops_5__t52_tops_5.depvmin12024-08-03 10:24 382  
[ ]tops_5__t52_tops_5.vmin12024-08-03 10:19 6.3K 
[ ]tops_5__t52_tops_5.vmin1out2024-08-03 10:22 68K 
[ ]tops_5__t52_tops_5.vout2024-08-03 07:01 101K 
[ ]tops_5__t53_tops_52024-07-28 06:39 43K 
[ ]tops_5__t53_tops_5.vout2024-08-03 04:18 4.1K 
[ ]tops_5__t54_tops_52024-07-28 06:41 48K 
[ ]tops_5__t54_tops_5.vout2024-08-03 07:03 4.1K 
[ ]tops_5__t55_tops_52024-07-28 06:43 53K 
[ ]tops_5__t55_tops_5.vout2024-08-03 07:13 4.7K 
[ ]tops_5__t56_tops_52024-07-28 06:44 34K 
[ ]tops_5__t56_tops_5.vout2024-08-03 10:18 7.3K 
[ ]tops_5__t57_tops_52024-07-28 06:46 53K 
[ ]tops_5__t57_tops_5.vout2024-08-03 06:45 7.3K 
[ ]tops_5__t58_tops_52024-07-28 06:48 42K 
[ ]tops_5__t58_tops_5.vout2024-08-03 05:56 4.1K 
[ ]tops_5__t59_tops_52024-07-28 06:50 67K 
[ ]tops_5__t59_tops_5.vout2024-08-03 09:03 4.7K 
[ ]tops_5__t60_tops_52024-07-28 06:51 58K 
[ ]tops_5__t60_tops_5.vout2024-08-03 09:44 4.1K 
[ ]tops_5__t61_tops_52024-07-28 05:39 39K 
[ ]tops_5__t61_tops_5.depv12024-08-03 10:19 90  
[ ]tops_5__t61_tops_5.depvmin12024-08-03 10:24 90  
[ ]tops_5__t61_tops_5.vmin12024-08-03 10:19 2.5K 
[ ]tops_5__t61_tops_5.vmin1out2024-08-03 10:23 62K 
[ ]tops_5__t61_tops_5.vout2024-08-03 09:36 90K 
[ ]tops_5__t62_tops_52024-07-28 06:53 61K 
[ ]tops_5__t62_tops_5.vout2024-08-03 05:08 4.1K 
[ ]tops_5__t63_tops_52024-07-28 06:55 46K 
[ ]tops_5__t63_tops_5.depv12024-08-03 10:19 74  
[ ]tops_5__t63_tops_5.depvmin12024-08-03 10:24 74  
[ ]tops_5__t63_tops_5.vmin12024-08-03 10:19 2.3K 
[ ]tops_5__t63_tops_5.vmin1out2024-08-03 10:21 38K 
[ ]tops_5__t63_tops_5.vout2024-08-03 07:04 44K 
[ ]tops_5__t64_tops_52024-07-28 06:56 42K 
[ ]tops_5__t64_tops_5.vout2024-08-03 04:52 4.7K 
[ ]tops_5__t65_tops_52024-07-28 06:58 33K 
[ ]tops_5__t65_tops_5.depv12024-08-03 10:19 137  
[ ]tops_5__t65_tops_5.depvmin12024-08-03 10:24 137  
[ ]tops_5__t65_tops_5.vmin12024-08-03 10:19 2.7K 
[ ]tops_5__t65_tops_5.vmin1out2024-08-03 10:21 58K 
[ ]tops_5__t65_tops_5.vout2024-08-03 08:40 44K 
[ ]tops_5__t66_tops_52024-07-28 07:00 44K 
[ ]tops_5__t66_tops_5.vout2024-08-03 09:59 4.1K 
[ ]tops_5__t67_tops_52024-07-28 07:01 57K 
[ ]tops_5__t67_tops_5.vout2024-08-03 06:30 4.7K 
[ ]tops_5__t68_tops_52024-07-28 07:03 40K 
[ ]tops_5__t68_tops_5.depv12024-08-03 10:19 199  
[ ]tops_5__t68_tops_5.depvmin12024-08-03 10:24 199  
[ ]tops_5__t68_tops_5.vmin12024-08-03 10:19 3.6K 
[ ]tops_5__t68_tops_5.vmin1out2024-08-03 10:22 46K 
[ ]tops_5__t68_tops_5.vout2024-08-03 08:32 52K 
[ ]tops_5__t69_tops_52024-07-28 07:04 36K 
[ ]tops_5__t69_tops_5.vout2024-08-03 08:59 7.3K 
[ ]tops_5__t70_tops_52024-07-28 07:06 44K 
[ ]tops_5__t70_tops_5.vout2024-08-03 05:20 7.3K 
[ ]tops_5__t71_tops_52024-07-28 05:40 43K 
[ ]tops_5__t71_tops_5.vout2024-08-03 05:26 7.3K 
[ ]tops_5__t72_tops_52024-07-28 07:08 58K 
[ ]tops_5__t72_tops_5.vout2024-08-03 07:05 6.8K 
[ ]tops_5__t73_tops_52024-07-28 07:10 74K 
[ ]tops_5__t73_tops_5.vout2024-08-03 05:54 6.8K 
[ ]tops_5__t74_tops_52024-07-28 07:12 61K 
[ ]tops_5__t74_tops_5.vout2024-08-03 04:57 4.1K 
[ ]tops_5__t75_tops_52024-07-28 07:14 47K 
[ ]tops_5__t75_tops_5.vout2024-08-03 07:47 7.3K 
[ ]tops_5__t76_tops_52024-07-28 07:16 67K 
[ ]tops_5__t76_tops_5.vout2024-08-03 06:01 7.3K 
[ ]tops_5__t77_tops_52024-07-28 07:18 64K 
[ ]tops_5__t77_tops_5.vout2024-08-03 07:39 4.1K 
[ ]tops_5__t78_tops_52024-07-28 07:20 69K 
[ ]tops_5__t78_tops_5.vout2024-08-03 08:00 4.1K 
[ ]tops_5__t79_tops_52024-07-28 07:21 47K 
[ ]tops_5__t79_tops_5.depv12024-08-03 10:19 127  
[ ]tops_5__t79_tops_5.depvmin12024-08-03 10:24 127  
[ ]tops_5__t79_tops_5.vmin12024-08-03 10:19 3.7K 
[ ]tops_5__t79_tops_5.vmin1out2024-08-03 10:22 78K 
[ ]tops_5__t79_tops_5.vout2024-08-03 07:26 115K 
[ ]tops_5__t80_tops_52024-07-28 05:42 42K 
[ ]tops_5__t80_tops_5.depv12024-08-03 10:19 22  
[ ]tops_5__t80_tops_5.depvmin12024-08-03 10:24 22  
[ ]tops_5__t80_tops_5.vmin12024-08-03 10:19 1.3K 
[ ]tops_5__t80_tops_5.vmin1out2024-08-03 10:22 26K 
[ ]tops_5__t80_tops_5.vout2024-08-03 06:37 18K 
[ ]tops_5__t81_tops_52024-07-28 07:23 48K 
[ ]tops_5__t81_tops_5.vout2024-08-03 09:49 4.7K 
[ ]tops_5__t82_tops_52024-07-28 07:25 47K 
[ ]tops_5__t82_tops_5.vout2024-08-03 04:48 4.1K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80