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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]tops_5__l18_tops_52021-07-18 09:32 14K 
[ ]tops_5__l18_tops_5.depv12021-07-25 20:57 55  
[ ]tops_5__l18_tops_5.depvmin12021-07-25 21:03 55  
[ ]tops_5__l18_tops_5.vmin12021-07-25 20:57 508  
[ ]tops_5__l18_tops_5.vmin1out2021-07-25 20:58 11K 
[ ]tops_5__l18_tops_5.vout2021-07-25 15:34 5.8K 
[ ]tops_5__l35_tops_52021-07-18 09:33 25K 
[ ]tops_5__l35_tops_5.vout2021-07-25 18:07 4.1K 
[ ]tops_5__l67_tops_52021-07-18 09:34 96K 
[ ]tops_5__l67_tops_5.vout2021-07-25 20:49 3.6K 
[ ]tops_5__l72_tops_52021-07-18 09:34 65K 
[ ]tops_5__l72_tops_5.vout2021-07-25 16:28 4.7K 
[ ]tops_5__l73_tops_52021-07-18 09:35 41K 
[ ]tops_5__l73_tops_5.vout2021-07-25 20:06 7.3K 
[ ]tops_5__l74_tops_52021-07-18 09:35 51K 
[ ]tops_5__l74_tops_5.vout2021-07-25 20:54 3.6K 
[ ]tops_5__l75_tops_52021-07-18 09:36 41K 
[ ]tops_5__l75_tops_5.vout2021-07-25 18:07 7.3K 
[ ]tops_5__l80_tops_52021-07-18 09:36 36K 
[ ]tops_5__l80_tops_5.vout2021-07-25 16:36 4.1K 
[ ]tops_5__l82_tops_52021-07-18 09:37 71K 
[ ]tops_5__l82_tops_5.vout2021-07-25 15:39 4.7K 
[ ]tops_5__t1_tops_52021-07-18 09:02 18K 
[ ]tops_5__t1_tops_5.depv12021-07-25 20:57 43  
[ ]tops_5__t1_tops_5.depvmin12021-07-25 21:03 43  
[ ]tops_5__t1_tops_5.vmin12021-07-25 20:57 779  
[ ]tops_5__t1_tops_5.vmin1out2021-07-25 21:00 18K 
[ ]tops_5__t1_tops_5.vout2021-07-25 20:44 23K 
[ ]tops_5__t2_tops_52021-07-18 09:02 18K 
[ ]tops_5__t2_tops_5.vout2021-07-25 19:49 4.1K 
[ ]tops_5__t3_tops_52021-07-18 09:31 17K 
[ ]tops_5__t3_tops_5.vout2021-07-25 20:33 6.8K 
[ ]tops_5__t4_tops_52021-07-18 09:31 20K 
[ ]tops_5__t4_tops_5.vout2021-07-25 20:24 7.2K 
[ ]tops_5__t5_tops_52021-07-18 09:32 31K 
[ ]tops_5__t5_tops_5.vout2021-07-25 20:12 3.6K 
[ ]tops_5__t6_tops_52021-07-18 09:03 29K 
[ ]tops_5__t6_tops_5.depv12021-07-25 20:57 232  
[ ]tops_5__t6_tops_5.depvmin12021-07-25 21:03 158  
[ ]tops_5__t6_tops_5.vmin12021-07-25 20:57 2.3K 
[ ]tops_5__t6_tops_5.vmin1out2021-07-25 21:00 14K 
[ ]tops_5__t6_tops_5.vout2021-07-25 14:51 21K 
[ ]tops_5__t7_tops_52021-07-18 09:03 30K 
[ ]tops_5__t7_tops_5.vout2021-07-25 18:34 4.7K 
[ ]tops_5__t8_tops_52021-07-18 09:03 20K 
[ ]tops_5__t8_tops_5.vout2021-07-25 20:01 7.4K 
[ ]tops_5__t9_tops_52021-07-18 09:04 22K 
[ ]tops_5__t9_tops_5.depv12021-07-25 20:57 155  
[ ]tops_5__t9_tops_5.depvmin12021-07-25 21:03 155  
[ ]tops_5__t9_tops_5.vmin12021-07-25 20:57 1.6K 
[ ]tops_5__t9_tops_5.vmin1out2021-07-25 21:02 20K 
[ ]tops_5__t9_tops_5.vout2021-07-25 14:45 19K 
[ ]tops_5__t10_tops_52021-07-18 09:04 20K 
[ ]tops_5__t10_tops_5.vout2021-07-25 15:09 4.1K 
[ ]tops_5__t11_tops_52021-07-18 09:04 24K 
[ ]tops_5__t11_tops_5.vout2021-07-25 18:17 2.0K 
[ ]tops_5__t12_tops_52021-07-18 09:05 31K 
[ ]tops_5__t12_tops_5.vout2021-07-25 19:22 2.0K 
[ ]tops_5__t13_tops_52021-07-18 09:05 31K 
[ ]tops_5__t13_tops_5.vout2021-07-25 16:49 4.7K 
[ ]tops_5__t14_tops_52021-07-18 09:05 31K 
[ ]tops_5__t14_tops_5.vout2021-07-25 20:13 7.3K 
[ ]tops_5__t15_tops_52021-07-18 09:32 33K 
[ ]tops_5__t15_tops_5.vout2021-07-25 15:40 7.8K 
[ ]tops_5__t16_tops_52021-07-18 09:05 29K 
[ ]tops_5__t16_tops_5.depv12021-07-25 20:57 69  
[ ]tops_5__t16_tops_5.depvmin12021-07-25 21:03 69  
[ ]tops_5__t16_tops_5.vmin12021-07-25 20:57 645  
[ ]tops_5__t16_tops_5.vmin1out2021-07-25 21:01 14K 
[ ]tops_5__t16_tops_5.vout2021-07-25 14:52 14K 
[ ]tops_5__t17_tops_52021-07-18 09:06 33K 
[ ]tops_5__t17_tops_5.depv12021-07-25 20:57 149  
[ ]tops_5__t17_tops_5.depvmin12021-07-25 21:03 149  
[ ]tops_5__t17_tops_5.vmin12021-07-25 20:57 1.5K 
[ ]tops_5__t17_tops_5.vmin1out2021-07-25 21:00 21K 
[ ]tops_5__t17_tops_5.vout2021-07-25 14:27 25K 
[ ]tops_5__t18_tops_52021-07-18 09:06 30K 
[ ]tops_5__t18_tops_5.depv12021-07-25 20:57 246  
[ ]tops_5__t18_tops_5.depvmin12021-07-25 21:03 177  
[ ]tops_5__t18_tops_5.vmin12021-07-25 20:57 1.9K 
[ ]tops_5__t18_tops_5.vmin1out2021-07-25 20:59 16K 
[ ]tops_5__t18_tops_5.vout2021-07-25 18:23 21K 
[ ]tops_5__t19_tops_52021-07-18 09:06 25K 
[ ]tops_5__t19_tops_5.vout2021-07-25 15:01 4.1K 
[ ]tops_5__t20_tops_52021-07-18 09:07 37K 
[ ]tops_5__t20_tops_5.vout2021-07-25 19:02 3.6K 
[ ]tops_5__t21_tops_52021-07-18 09:07 28K 
[ ]tops_5__t21_tops_5.depv12021-07-25 20:57 116  
[ ]tops_5__t21_tops_5.depvmin12021-07-25 21:03 116  
[ ]tops_5__t21_tops_5.vmin12021-07-25 20:57 1.6K 
[ ]tops_5__t21_tops_5.vmin1out2021-07-25 21:02 34K 
[ ]tops_5__t21_tops_5.vout2021-07-25 17:31 34K 
[ ]tops_5__t22_tops_52021-07-18 09:07 29K 
[ ]tops_5__t22_tops_5.vout2021-07-25 19:51 7.3K 
[ ]tops_5__t23_tops_52021-07-18 09:08 23K 
[ ]tops_5__t23_tops_5.depv12021-07-25 20:57 120  
[ ]tops_5__t23_tops_5.depvmin12021-07-25 21:03 120  
[ ]tops_5__t23_tops_5.vmin12021-07-25 20:57 1.8K 
[ ]tops_5__t23_tops_5.vmin1out2021-07-25 21:02 33K 
[ ]tops_5__t23_tops_5.vout2021-07-25 15:49 33K 
[ ]tops_5__t24_tops_52021-07-18 09:08 34K 
[ ]tops_5__t24_tops_5.vout2021-07-25 19:37 6.8K 
[ ]tops_5__t25_tops_52021-07-18 09:08 33K 
[ ]tops_5__t25_tops_5.vout2021-07-25 19:31 6.7K 
[ ]tops_5__t26_tops_52021-07-18 09:09 28K 
[ ]tops_5__t26_tops_5.vout2021-07-25 18:51 2.0K 
[ ]tops_5__t27_tops_52021-07-18 09:09 38K 
[ ]tops_5__t27_tops_5.vout2021-07-25 19:53 4.7K 
[ ]tops_5__t28_tops_52021-07-18 09:09 35K 
[ ]tops_5__t28_tops_5.vout2021-07-25 16:27 8.3K 
[ ]tops_5__t29_tops_52021-07-18 09:10 23K 
[ ]tops_5__t29_tops_5.vout2021-07-25 15:19 4.1K 
[ ]tops_5__t30_tops_52021-07-18 09:10 27K 
[ ]tops_5__t30_tops_5.vout2021-07-25 19:05 4.1K 
[ ]tops_5__t31_tops_52021-07-18 09:10 31K 
[ ]tops_5__t31_tops_5.vout2021-07-25 20:06 4.1K 
[ ]tops_5__t32_tops_52021-07-18 09:11 23K 
[ ]tops_5__t32_tops_5.depv12021-07-25 20:57 33  
[ ]tops_5__t32_tops_5.depvmin12021-07-25 21:03 33  
[ ]tops_5__t32_tops_5.vmin12021-07-25 20:57 898  
[ ]tops_5__t32_tops_5.vmin1out2021-07-25 21:01 9.1K 
[ ]tops_5__t32_tops_5.vout2021-07-25 18:00 10K 
[ ]tops_5__t33_tops_52021-07-18 09:11 25K 
[ ]tops_5__t33_tops_5.vout2021-07-25 19:40 4.1K 
[ ]tops_5__t34_tops_52021-07-18 09:11 17K 
[ ]tops_5__t34_tops_5.depv12021-07-25 20:57 33  
[ ]tops_5__t34_tops_5.depvmin12021-07-25 21:03 33  
[ ]tops_5__t34_tops_5.vmin12021-07-25 20:57 847  
[ ]tops_5__t34_tops_5.vmin1out2021-07-25 21:01 17K 
[ ]tops_5__t34_tops_5.vout2021-07-25 19:55 17K 
[ ]tops_5__t35_tops_52021-07-18 09:11 14K 
[ ]tops_5__t35_tops_5.depv12021-07-25 20:57 141  
[ ]tops_5__t35_tops_5.depvmin12021-07-25 21:03 141  
[ ]tops_5__t35_tops_5.vmin12021-07-25 20:57 1.5K 
[ ]tops_5__t35_tops_5.vmin1out2021-07-25 20:58 25K 
[ ]tops_5__t35_tops_5.vout2021-07-25 20:21 23K 
[ ]tops_5__t36_tops_52021-07-18 09:12 16K 
[ ]tops_5__t36_tops_5.depv12021-07-25 20:57 138  
[ ]tops_5__t36_tops_5.depvmin12021-07-25 21:03 138  
[ ]tops_5__t36_tops_5.vmin12021-07-25 20:57 1.6K 
[ ]tops_5__t36_tops_5.vmin1out2021-07-25 20:58 25K 
[ ]tops_5__t36_tops_5.vout2021-07-25 16:19 25K 
[ ]tops_5__t37_tops_52021-07-18 09:12 15K 
[ ]tops_5__t37_tops_5.depv12021-07-25 20:57 94  
[ ]tops_5__t37_tops_5.depvmin12021-07-25 21:03 94  
[ ]tops_5__t37_tops_5.vmin12021-07-25 20:57 1.4K 
[ ]tops_5__t37_tops_5.vmin1out2021-07-25 20:59 45K 
[ ]tops_5__t37_tops_5.vout2021-07-25 16:34 34K 
[ ]tops_5__t38_tops_52021-07-18 09:12 25K 
[ ]tops_5__t38_tops_5.depv12021-07-25 20:57 33  
[ ]tops_5__t38_tops_5.depvmin12021-07-25 21:03 33  
[ ]tops_5__t38_tops_5.vmin12021-07-25 20:57 752  
[ ]tops_5__t38_tops_5.vmin1out2021-07-25 20:59 7.4K 
[ ]tops_5__t38_tops_5.vout2021-07-25 17:11 8.9K 
[ ]tops_5__t39_tops_52021-07-18 09:12 19K 
[ ]tops_5__t39_tops_5.depv12021-07-25 20:57 99  
[ ]tops_5__t39_tops_5.depvmin12021-07-25 21:03 34  
[ ]tops_5__t39_tops_5.vmin12021-07-25 20:57 1.1K 
[ ]tops_5__t39_tops_5.vmin1out2021-07-25 20:59 6.4K 
[ ]tops_5__t39_tops_5.vout2021-07-25 15:30 21K 
[ ]tops_5__t40_tops_52021-07-18 09:13 20K 
[ ]tops_5__t40_tops_5.depv12021-07-25 20:57 107  
[ ]tops_5__t40_tops_5.depvmin12021-07-25 21:03 107  
[ ]tops_5__t40_tops_5.vmin12021-07-25 20:57 1.7K 
[ ]tops_5__t40_tops_5.vmin1out2021-07-25 21:00 30K 
[ ]tops_5__t40_tops_5.vout2021-07-25 15:24 32K 
[ ]tops_5__t41_tops_52021-07-18 09:13 19K 
[ ]tops_5__t41_tops_5.vout2021-07-25 20:34 6.8K 
[ ]tops_5__t42_tops_52021-07-18 09:13 15K 
[ ]tops_5__t42_tops_5.depv12021-07-25 20:57 72  
[ ]tops_5__t42_tops_5.depvmin12021-07-25 21:03 72  
[ ]tops_5__t42_tops_5.vmin12021-07-25 20:57 1.3K 
[ ]tops_5__t42_tops_5.vmin1out2021-07-25 21:02 27K 
[ ]tops_5__t42_tops_5.vout2021-07-25 14:34 16K 
[ ]tops_5__t43_tops_52021-07-18 09:14 41K 
[ ]tops_5__t43_tops_5.vout2021-07-25 15:25 4.7K 
[ ]tops_5__t44_tops_52021-07-18 09:14 33K 
[ ]tops_5__t44_tops_5.depv12021-07-25 20:57 106  
[ ]tops_5__t44_tops_5.depvmin12021-07-25 21:03 106  
[ ]tops_5__t44_tops_5.vmin12021-07-25 20:57 1.0K 
[ ]tops_5__t44_tops_5.vmin1out2021-07-25 20:58 8.9K 
[ ]tops_5__t44_tops_5.vout2021-07-25 18:00 9.5K 
[ ]tops_5__t45_tops_52021-07-18 09:14 31K 
[ ]tops_5__t45_tops_5.vout2021-07-25 19:44 4.2K 
[ ]tops_5__t46_tops_52021-07-18 09:15 40K 
[ ]tops_5__t46_tops_5.vout2021-07-25 14:47 6.8K 
[ ]tops_5__t47_tops_52021-07-18 09:15 43K 
[ ]tops_5__t47_tops_5.vout2021-07-25 18:14 6.8K 
[ ]tops_5__t48_tops_52021-07-18 09:16 45K 
[ ]tops_5__t48_tops_5.vout2021-07-25 15:53 7.3K 
[ ]tops_5__t49_tops_52021-07-18 09:16 27K 
[ ]tops_5__t49_tops_5.vout2021-07-25 20:10 3.6K 
[ ]tops_5__t50_tops_52021-07-18 09:17 31K 
[ ]tops_5__t50_tops_5.vout2021-07-25 19:35 7.2K 
[ ]tops_5__t51_tops_52021-07-18 09:17 23K 
[ ]tops_5__t51_tops_5.depv12021-07-25 20:57 106  
[ ]tops_5__t51_tops_5.depvmin12021-07-25 21:03 106  
[ ]tops_5__t51_tops_5.vmin12021-07-25 20:57 1.8K 
[ ]tops_5__t51_tops_5.vmin1out2021-07-25 21:02 38K 
[ ]tops_5__t51_tops_5.vout2021-07-25 19:15 27K 
[ ]tops_5__t52_tops_52021-07-18 09:18 45K 
[ ]tops_5__t52_tops_5.depv12021-07-25 20:57 472  
[ ]tops_5__t52_tops_5.depvmin12021-07-25 21:03 382  
[ ]tops_5__t52_tops_5.vmin12021-07-25 20:57 6.3K 
[ ]tops_5__t52_tops_5.vmin1out2021-07-25 21:02 68K 
[ ]tops_5__t52_tops_5.vout2021-07-25 18:12 101K 
[ ]tops_5__t53_tops_52021-07-18 09:18 43K 
[ ]tops_5__t53_tops_5.vout2021-07-25 20:05 4.1K 
[ ]tops_5__t54_tops_52021-07-18 09:18 48K 
[ ]tops_5__t54_tops_5.vout2021-07-25 15:24 4.1K 
[ ]tops_5__t55_tops_52021-07-18 09:19 52K 
[ ]tops_5__t55_tops_5.vout2021-07-25 18:47 4.7K 
[ ]tops_5__t56_tops_52021-07-18 09:19 34K 
[ ]tops_5__t56_tops_5.vout2021-07-25 16:06 7.3K 
[ ]tops_5__t57_tops_52021-07-18 09:20 53K 
[ ]tops_5__t57_tops_5.vout2021-07-25 17:06 7.3K 
[ ]tops_5__t58_tops_52021-07-18 09:20 42K 
[ ]tops_5__t58_tops_5.vout2021-07-25 16:04 4.1K 
[ ]tops_5__t59_tops_52021-07-18 09:21 67K 
[ ]tops_5__t59_tops_5.vout2021-07-25 16:26 4.7K 
[ ]tops_5__t60_tops_52021-07-18 09:21 58K 
[ ]tops_5__t60_tops_5.vout2021-07-25 19:21 4.1K 
[ ]tops_5__t61_tops_52021-07-18 09:01 39K 
[ ]tops_5__t61_tops_5.depv12021-07-25 20:57 90  
[ ]tops_5__t61_tops_5.depvmin12021-07-25 21:03 90  
[ ]tops_5__t61_tops_5.vmin12021-07-25 20:57 2.5K 
[ ]tops_5__t61_tops_5.vmin1out2021-07-25 20:59 62K 
[ ]tops_5__t61_tops_5.vout2021-07-25 18:24 90K 
[ ]tops_5__t62_tops_52021-07-18 09:22 61K 
[ ]tops_5__t62_tops_5.vout2021-07-25 15:50 4.1K 
[ ]tops_5__t63_tops_52021-07-18 09:22 46K 
[ ]tops_5__t63_tops_5.depv12021-07-25 20:57 74  
[ ]tops_5__t63_tops_5.depvmin12021-07-25 21:03 74  
[ ]tops_5__t63_tops_5.vmin12021-07-25 20:57 2.3K 
[ ]tops_5__t63_tops_5.vmin1out2021-07-25 20:58 38K 
[ ]tops_5__t63_tops_5.vout2021-07-25 16:56 44K 
[ ]tops_5__t64_tops_52021-07-18 09:23 42K 
[ ]tops_5__t64_tops_5.vout2021-07-25 18:49 4.7K 
[ ]tops_5__t65_tops_52021-07-18 09:23 33K 
[ ]tops_5__t65_tops_5.depv12021-07-25 20:57 137  
[ ]tops_5__t65_tops_5.depvmin12021-07-25 21:03 137  
[ ]tops_5__t65_tops_5.vmin12021-07-25 20:57 2.7K 
[ ]tops_5__t65_tops_5.vmin1out2021-07-25 21:01 58K 
[ ]tops_5__t65_tops_5.vout2021-07-25 19:38 44K 
[ ]tops_5__t66_tops_52021-07-18 09:23 44K 
[ ]tops_5__t66_tops_5.vout2021-07-25 17:36 4.1K 
[ ]tops_5__t67_tops_52021-07-18 09:24 57K 
[ ]tops_5__t67_tops_5.vout2021-07-25 15:24 4.7K 
[ ]tops_5__t68_tops_52021-07-18 09:24 40K 
[ ]tops_5__t68_tops_5.depv12021-07-25 20:57 199  
[ ]tops_5__t68_tops_5.depvmin12021-07-25 21:03 199  
[ ]tops_5__t68_tops_5.vmin12021-07-25 20:57 3.6K 
[ ]tops_5__t68_tops_5.vmin1out2021-07-25 21:01 46K 
[ ]tops_5__t68_tops_5.vout2021-07-25 17:28 52K 
[ ]tops_5__t69_tops_52021-07-18 09:25 36K 
[ ]tops_5__t69_tops_5.vout2021-07-25 15:15 7.3K 
[ ]tops_5__t70_tops_52021-07-18 09:25 44K 
[ ]tops_5__t70_tops_5.vout2021-07-25 17:55 7.3K 
[ ]tops_5__t71_tops_52021-07-18 09:01 43K 
[ ]tops_5__t71_tops_5.vout2021-07-25 18:37 7.3K 
[ ]tops_5__t72_tops_52021-07-18 09:26 58K 
[ ]tops_5__t72_tops_5.vout2021-07-25 19:34 6.8K 
[ ]tops_5__t73_tops_52021-07-18 09:26 74K 
[ ]tops_5__t73_tops_5.vout2021-07-25 15:21 6.8K 
[ ]tops_5__t74_tops_52021-07-18 09:27 61K 
[ ]tops_5__t74_tops_5.vout2021-07-25 18:29 4.1K 
[ ]tops_5__t75_tops_52021-07-18 09:27 46K 
[ ]tops_5__t75_tops_5.vout2021-07-25 19:31 7.3K 
[ ]tops_5__t76_tops_52021-07-18 09:28 67K 
[ ]tops_5__t76_tops_5.vout2021-07-25 20:42 6.8K 
[ ]tops_5__t77_tops_52021-07-18 09:29 64K 
[ ]tops_5__t77_tops_5.vout2021-07-25 17:45 4.1K 
[ ]tops_5__t78_tops_52021-07-18 09:29 69K 
[ ]tops_5__t78_tops_5.vout2021-07-25 17:54 4.1K 
[ ]tops_5__t79_tops_52021-07-18 09:30 47K 
[ ]tops_5__t79_tops_5.depv12021-07-25 20:57 127  
[ ]tops_5__t79_tops_5.depvmin12021-07-25 21:03 127  
[ ]tops_5__t79_tops_5.vmin12021-07-25 20:57 3.7K 
[ ]tops_5__t79_tops_5.vmin1out2021-07-25 21:00 78K 
[ ]tops_5__t79_tops_5.vout2021-07-25 18:19 115K 
[ ]tops_5__t80_tops_52021-07-18 09:02 42K 
[ ]tops_5__t80_tops_5.depv12021-07-25 20:57 22  
[ ]tops_5__t80_tops_5.depvmin12021-07-25 21:03 22  
[ ]tops_5__t80_tops_5.vmin12021-07-25 20:57 1.3K 
[ ]tops_5__t80_tops_5.vmin1out2021-07-25 20:59 26K 
[ ]tops_5__t80_tops_5.vout2021-07-25 16:02 18K 
[ ]tops_5__t81_tops_52021-07-18 09:30 47K 
[ ]tops_5__t81_tops_5.vout2021-07-25 18:39 4.7K 
[ ]tops_5__t82_tops_52021-07-18 09:31 47K 
[ ]tops_5__t82_tops_5.vout2021-07-25 20:18 4.1K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80