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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]topgen_4__l3_topgen_42024-07-27 16:54 11K 
[ ]topgen_4__l3_topgen_4.vout2024-08-03 07:42 8.4K 
[ ]topgen_4__l17_topgen_42024-07-27 17:56 11K 
[ ]topgen_4__l17_topgen_4.depv12024-08-03 10:19 162  
[ ]topgen_4__l17_topgen_4.depvmin12024-08-03 10:24 132  
[ ]topgen_4__l17_topgen_4.vmin12024-08-03 10:19 1.9K 
[ ]topgen_4__l17_topgen_4.vmin1out2024-08-03 10:21 23K 
[ ]topgen_4__l17_topgen_4.vout2024-08-03 05:13 26K 
[ ]topgen_4__t1_topgen_42024-07-27 16:55 8.9K 
[ ]topgen_4__t1_topgen_4.depv12024-08-03 10:19 78  
[ ]topgen_4__t1_topgen_4.depvmin12024-08-03 10:24 78  
[ ]topgen_4__t1_topgen_4.vmin12024-08-03 10:19 692  
[ ]topgen_4__t1_topgen_4.vmin1out2024-08-03 10:22 7.9K 
[ ]topgen_4__t1_topgen_4.vout2024-08-03 05:26 6.2K 
[ ]topgen_4__t2_topgen_42024-07-27 17:55 21K 
[ ]topgen_4__t2_topgen_4.vout2024-08-03 08:53 3.7K 
[ ]topgen_4__t3_topgen_42024-07-27 16:56 21K 
[ ]topgen_4__t3_topgen_4.depv12024-08-03 10:19 155  
[ ]topgen_4__t3_topgen_4.depvmin12024-08-03 10:24 129  
[ ]topgen_4__t3_topgen_4.vmin12024-08-03 10:19 1.4K 
[ ]topgen_4__t3_topgen_4.vmin1out2024-08-03 10:20 14K 
[ ]topgen_4__t3_topgen_4.vout2024-08-03 04:41 22K 
[ ]topgen_4__t4_topgen_42024-07-27 16:56 14K 
[ ]topgen_4__t4_topgen_4.depv12024-08-03 10:19 97  
[ ]topgen_4__t4_topgen_4.depvmin12024-08-03 10:24 97  
[ ]topgen_4__t4_topgen_4.vmin12024-08-03 10:19 1.5K 
[ ]topgen_4__t4_topgen_4.vmin1out2024-08-03 10:21 30K 
[ ]topgen_4__t4_topgen_4.vout2024-08-03 05:06 19K 
[ ]topgen_4__t5_topgen_42024-07-27 16:58 24K 
[ ]topgen_4__t5_topgen_4.vout2024-08-03 09:56 5.3K 
[ ]topgen_4__t6_topgen_42024-07-27 16:59 20K 
[ ]topgen_4__t6_topgen_4.vout2024-08-03 04:41 7.9K 
[ ]topgen_4__t7_topgen_42024-07-27 16:59 12K 
[ ]topgen_4__t7_topgen_4.vout2024-08-03 09:30 2.0K 
[ ]topgen_4__t8_topgen_42024-07-27 17:01 28K 
[ ]topgen_4__t8_topgen_4.vout2024-08-03 07:37 7.3K 
[ ]topgen_4__t9_topgen_42024-07-27 17:02 25K 
[ ]topgen_4__t9_topgen_4.vout2024-08-03 07:48 6.8K 
[ ]topgen_4__t10_topgen_42024-07-27 17:03 23K 
[ ]topgen_4__t10_topgen_4.depv12024-08-03 10:19 152  
[ ]topgen_4__t10_topgen_4.depvmin12024-08-03 10:24 152  
[ ]topgen_4__t10_topgen_4.vmin12024-08-03 10:19 1.8K 
[ ]topgen_4__t10_topgen_4.vmin1out2024-08-03 10:20 29K 
[ ]topgen_4__t10_topgen_4.vout2024-08-03 07:20 25K 
[ ]topgen_4__t11_topgen_42024-07-27 17:04 22K 
[ ]topgen_4__t11_topgen_4.depv12024-08-03 10:19 66  
[ ]topgen_4__t11_topgen_4.depvmin12024-08-03 10:24 66  
[ ]topgen_4__t11_topgen_4.vmin12024-08-03 10:19 729  
[ ]topgen_4__t11_topgen_4.vmin1out2024-08-03 10:22 8.7K 
[ ]topgen_4__t11_topgen_4.vout2024-08-03 06:19 7.8K 
[ ]topgen_4__t12_topgen_42024-07-27 17:04 8.0K 
[ ]topgen_4__t12_topgen_4.vout2024-08-03 07:14 7.9K 
[ ]topgen_4__t13_topgen_42024-07-27 17:05 9.7K 
[ ]topgen_4__t13_topgen_4.vout2024-08-03 09:54 2.0K 
[ ]topgen_4__t14_topgen_42024-07-27 17:06 19K 
[ ]topgen_4__t14_topgen_4.vout2024-08-03 09:55 2.0K 
[ ]topgen_4__t15_topgen_42024-07-27 17:07 9.3K 
[ ]topgen_4__t15_topgen_4.vout2024-08-03 04:58 7.9K 
[ ]topgen_4__t16_topgen_42024-07-27 17:07 9.3K 
[ ]topgen_4__t16_topgen_4.vout2024-08-03 10:00 7.3K 
[ ]topgen_4__t17_topgen_42024-07-27 17:08 11K 
[ ]topgen_4__t17_topgen_4.vout2024-08-03 04:54 7.9K 
[ ]topgen_4__t18_topgen_42024-07-27 17:08 7.8K 
[ ]topgen_4__t18_topgen_4.depv12024-08-03 10:19 54  
[ ]topgen_4__t18_topgen_4.depvmin12024-08-03 10:24 54  
[ ]topgen_4__t18_topgen_4.vmin12024-08-03 10:19 347  
[ ]topgen_4__t18_topgen_4.vmin1out2024-08-03 10:21 2.9K 
[ ]topgen_4__t18_topgen_4.vout2024-08-03 09:14 2.8K 
[ ]topgen_4__t19_topgen_42024-07-27 17:09 20K 
[ ]topgen_4__t19_topgen_4.depv12024-08-03 10:19 139  
[ ]topgen_4__t19_topgen_4.depvmin12024-08-03 10:24 94  
[ ]topgen_4__t19_topgen_4.vmin12024-08-03 10:19 1.3K 
[ ]topgen_4__t19_topgen_4.vmin1out2024-08-03 10:23 19K 
[ ]topgen_4__t19_topgen_4.vout2024-08-03 07:23 20K 
[ ]topgen_4__t20_topgen_42024-07-27 17:10 20K 
[ ]topgen_4__t20_topgen_4.depv12024-08-03 10:19 139  
[ ]topgen_4__t20_topgen_4.depvmin12024-08-03 10:24 94  
[ ]topgen_4__t20_topgen_4.vmin12024-08-03 10:19 1.3K 
[ ]topgen_4__t20_topgen_4.vmin1out2024-08-03 10:20 19K 
[ ]topgen_4__t20_topgen_4.vout2024-08-03 08:38 20K 
[ ]topgen_4__t21_topgen_42024-07-27 17:12 21K 
[ ]topgen_4__t21_topgen_4.vout2024-08-03 08:00 7.3K 
[ ]topgen_4__t22_topgen_42024-07-27 17:13 21K 
[ ]topgen_4__t22_topgen_4.vout2024-08-03 04:29 7.3K 
[ ]topgen_4__t23_topgen_42024-07-27 17:14 21K 
[ ]topgen_4__t23_topgen_4.vout2024-08-03 08:39 7.3K 
[ ]topgen_4__t24_topgen_42024-07-27 17:15 21K 
[ ]topgen_4__t24_topgen_4.vout2024-08-03 05:24 7.3K 
[ ]topgen_4__t25_topgen_42024-07-27 17:16 15K 
[ ]topgen_4__t25_topgen_4.vout2024-08-03 09:20 3.7K 
[ ]topgen_4__t26_topgen_42024-07-27 17:17 15K 
[ ]topgen_4__t26_topgen_4.vout2024-08-03 10:15 3.7K 
[ ]topgen_4__t27_topgen_42024-07-27 17:17 9.0K 
[ ]topgen_4__t27_topgen_4.vout2024-08-03 04:43 7.9K 
[ ]topgen_4__t28_topgen_42024-07-27 17:18 9.5K 
[ ]topgen_4__t28_topgen_4.vout2024-08-03 06:24 8.4K 
[ ]topgen_4__t29_topgen_42024-07-27 17:19 8.5K 
[ ]topgen_4__t29_topgen_4.depv12024-08-03 10:19 64  
[ ]topgen_4__t29_topgen_4.depvmin12024-08-03 10:24 64  
[ ]topgen_4__t29_topgen_4.vmin12024-08-03 10:19 501  
[ ]topgen_4__t29_topgen_4.vmin1out2024-08-03 10:20 8.0K 
[ ]topgen_4__t29_topgen_4.vout2024-08-03 05:01 8.1K 
[ ]topgen_4__t30_topgen_42024-07-27 17:19 5.0K 
[ ]topgen_4__t30_topgen_4.depv12024-08-03 10:19 166  
[ ]topgen_4__t30_topgen_4.depvmin12024-08-03 10:24 105  
[ ]topgen_4__t30_topgen_4.vmin12024-08-03 10:19 1.1K 
[ ]topgen_4__t30_topgen_4.vmin1out2024-08-03 10:22 12K 
[ ]topgen_4__t30_topgen_4.vout2024-08-03 08:45 15K 
[ ]topgen_4__t31_topgen_42024-07-27 17:20 5.0K 
[ ]topgen_4__t31_topgen_4.depv12024-08-03 10:19 189  
[ ]topgen_4__t31_topgen_4.depvmin12024-08-03 10:24 108  
[ ]topgen_4__t31_topgen_4.vmin12024-08-03 10:19 1.3K 
[ ]topgen_4__t31_topgen_4.vmin1out2024-08-03 10:20 12K 
[ ]topgen_4__t31_topgen_4.vout2024-08-03 06:26 18K 
[ ]topgen_4__t32_topgen_42024-07-27 17:21 9.1K 
[ ]topgen_4__t32_topgen_4.vout2024-08-03 07:27 7.9K 
[ ]topgen_4__t33_topgen_42024-07-27 16:50 8.8K 
[ ]topgen_4__t33_topgen_4.vout2024-08-03 09:27 10K 
[ ]topgen_4__t34_topgen_42024-07-27 17:21 9.2K 
[ ]topgen_4__t34_topgen_4.vout2024-08-03 05:19 8.4K 
[ ]topgen_4__t35_topgen_42024-07-27 17:22 21K 
[ ]topgen_4__t35_topgen_4.vout2024-08-03 06:58 7.4K 
[ ]topgen_4__t36_topgen_42024-07-27 17:23 21K 
[ ]topgen_4__t36_topgen_4.vout2024-08-03 06:16 7.4K 
[ ]topgen_4__t37_topgen_42024-07-27 17:24 24K 
[ ]topgen_4__t37_topgen_4.vout2024-08-03 09:15 2.0K 
[ ]topgen_4__t38_topgen_42024-07-27 17:26 24K 
[ ]topgen_4__t38_topgen_4.vout2024-08-03 09:58 2.0K 
[ ]topgen_4__t39_topgen_42024-07-27 17:27 26K 
[ ]topgen_4__t39_topgen_4.vout2024-08-03 09:35 2.0K 
[ ]topgen_4__t40_topgen_42024-07-27 17:28 26K 
[ ]topgen_4__t40_topgen_4.vout2024-08-03 05:39 2.0K 
[ ]topgen_4__t41_topgen_42024-07-27 17:29 26K 
[ ]topgen_4__t41_topgen_4.vout2024-08-03 06:10 7.3K 
[ ]topgen_4__t42_topgen_42024-07-27 17:30 26K 
[ ]topgen_4__t42_topgen_4.vout2024-08-03 06:03 7.3K 
[ ]topgen_4__t43_topgen_42024-07-27 17:31 21K 
[ ]topgen_4__t43_topgen_4.depv12024-08-03 10:19 170  
[ ]topgen_4__t43_topgen_4.depvmin12024-08-03 10:24 170  
[ ]topgen_4__t43_topgen_4.vmin12024-08-03 10:19 1.7K 
[ ]topgen_4__t43_topgen_4.vmin1out2024-08-03 10:23 22K 
[ ]topgen_4__t43_topgen_4.vout2024-08-03 04:54 21K 
[ ]topgen_4__t44_topgen_42024-07-27 17:33 20K 
[ ]topgen_4__t44_topgen_4.depv12024-08-03 10:19 168  
[ ]topgen_4__t44_topgen_4.depvmin12024-08-03 10:24 168  
[ ]topgen_4__t44_topgen_4.vmin12024-08-03 10:19 1.7K 
[ ]topgen_4__t44_topgen_4.vmin1out2024-08-03 10:23 22K 
[ ]topgen_4__t44_topgen_4.vout2024-08-03 08:00 21K 
[ ]topgen_4__t45_topgen_42024-07-27 17:34 24K 
[ ]topgen_4__t45_topgen_4.vout2024-08-03 04:36 5.9K 
[ ]topgen_4__t46_topgen_42024-07-27 17:35 13K 
[ ]topgen_4__t46_topgen_4.vout2024-08-03 08:25 2.0K 
[ ]topgen_4__t47_topgen_42024-07-27 17:36 26K 
[ ]topgen_4__t47_topgen_4.vout2024-08-03 06:12 7.9K 
[ ]topgen_4__t48_topgen_42024-07-27 17:37 22K 
[ ]topgen_4__t48_topgen_4.depv12024-08-03 10:19 110  
[ ]topgen_4__t48_topgen_4.depvmin12024-08-03 10:24 110  
[ ]topgen_4__t48_topgen_4.vmin12024-08-03 10:19 1.3K 
[ ]topgen_4__t48_topgen_4.vmin1out2024-08-03 10:23 17K 
[ ]topgen_4__t48_topgen_4.vout2024-08-03 04:53 22K 
[ ]topgen_4__t49_topgen_42024-07-27 17:38 22K 
[ ]topgen_4__t49_topgen_4.vout2024-08-03 09:27 7.3K 
[ ]topgen_4__t50_topgen_42024-07-27 17:39 23K 
[ ]topgen_4__t50_topgen_4.depv12024-08-03 10:19 110  
[ ]topgen_4__t50_topgen_4.depvmin12024-08-03 10:24 110  
[ ]topgen_4__t50_topgen_4.vmin12024-08-03 10:19 1.6K 
[ ]topgen_4__t50_topgen_4.vmin1out2024-08-03 10:20 24K 
[ ]topgen_4__t50_topgen_4.vout2024-08-03 09:14 21K 
[ ]topgen_4__t51_topgen_42024-07-27 17:40 24K 
[ ]topgen_4__t51_topgen_4.vout2024-08-03 08:12 7.3K 
[ ]topgen_4__t52_topgen_42024-07-27 17:42 23K 
[ ]topgen_4__t52_topgen_4.depv12024-08-03 10:19 197  
[ ]topgen_4__t52_topgen_4.depvmin12024-08-03 10:24 97  
[ ]topgen_4__t52_topgen_4.vmin12024-08-03 10:19 2.1K 
[ ]topgen_4__t52_topgen_4.vmin1out2024-08-03 10:21 29K 
[ ]topgen_4__t52_topgen_4.vout2024-08-03 08:12 35K 
[ ]topgen_4__t53_topgen_42024-07-27 17:43 24K 
[ ]topgen_4__t53_topgen_4.vout2024-08-03 08:42 7.3K 
[ ]topgen_4__t54_topgen_42024-07-27 17:44 25K 
[ ]topgen_4__t54_topgen_4.vout2024-08-03 08:01 7.3K 
[ ]topgen_4__t55_topgen_42024-07-27 17:45 22K 
[ ]topgen_4__t55_topgen_4.depv12024-08-03 10:19 109  
[ ]topgen_4__t55_topgen_4.depvmin12024-08-03 10:24 109  
[ ]topgen_4__t55_topgen_4.vmin12024-08-03 10:19 1.1K 
[ ]topgen_4__t55_topgen_4.vmin1out2024-08-03 10:21 12K 
[ ]topgen_4__t55_topgen_4.vout2024-08-03 09:58 12K 
[ ]topgen_4__t56_topgen_42024-07-27 17:46 22K 
[ ]topgen_4__t56_topgen_4.depv12024-08-03 10:19 82  
[ ]topgen_4__t56_topgen_4.depvmin12024-08-03 10:24 82  
[ ]topgen_4__t56_topgen_4.vmin12024-08-03 10:19 1.1K 
[ ]topgen_4__t56_topgen_4.vmin1out2024-08-03 10:21 19K 
[ ]topgen_4__t56_topgen_4.vout2024-08-03 08:20 22K 
[ ]topgen_4__t57_topgen_42024-07-27 17:47 22K 
[ ]topgen_4__t57_topgen_4.vout2024-08-03 07:49 7.9K 
[ ]topgen_4__t58_topgen_42024-07-27 17:48 15K 
[ ]topgen_4__t58_topgen_4.depv12024-08-03 10:19 370  
[ ]topgen_4__t58_topgen_4.depvmin12024-08-03 10:24 370  
[ ]topgen_4__t58_topgen_4.vmin12024-08-03 10:19 3.1K 
[ ]topgen_4__t58_topgen_4.vmin1out2024-08-03 10:20 32K 
[ ]topgen_4__t58_topgen_4.vout2024-08-03 09:50 32K 
[ ]topgen_4__t59_topgen_42024-07-27 16:51 19K 
[ ]topgen_4__t59_topgen_4.vout2024-08-03 07:22 7.9K 
[ ]topgen_4__t60_topgen_42024-07-27 16:52 19K 
[ ]topgen_4__t60_topgen_4.vout2024-08-03 07:30 7.4K 
[ ]topgen_4__t61_topgen_42024-07-27 17:49 24K 
[ ]topgen_4__t61_topgen_4.vout2024-08-03 09:38 7.4K 
[ ]topgen_4__t62_topgen_42024-07-27 16:53 22K 
[ ]topgen_4__t62_topgen_4.depv12024-08-03 10:19 39  
[ ]topgen_4__t62_topgen_4.depvmin12024-08-03 10:24 39  
[ ]topgen_4__t62_topgen_4.vmin12024-08-03 10:19 830  
[ ]topgen_4__t62_topgen_4.vmin1out2024-08-03 10:21 10K 
[ ]topgen_4__t62_topgen_4.vout2024-08-03 06:51 8.4K 
[ ]topgen_4__t63_topgen_42024-07-27 17:51 34K 
[ ]topgen_4__t63_topgen_4.vout2024-08-03 06:17 4.8K 
[ ]topgen_4__t64_topgen_42024-07-27 17:52 21K 
[ ]topgen_4__t64_topgen_4.depv12024-08-03 10:19 106  
[ ]topgen_4__t64_topgen_4.depvmin12024-08-03 10:24 106  
[ ]topgen_4__t64_topgen_4.vmin12024-08-03 10:19 1.8K 
[ ]topgen_4__t64_topgen_4.vmin1out2024-08-03 10:22 23K 
[ ]topgen_4__t64_topgen_4.vout2024-08-03 08:41 26K 
[ ]topgen_4__t65_topgen_42024-07-27 17:53 21K 
[ ]topgen_4__t65_topgen_4.depv12024-08-03 10:19 93  
[ ]topgen_4__t65_topgen_4.depvmin12024-08-03 10:24 93  
[ ]topgen_4__t65_topgen_4.vmin12024-08-03 10:19 1.5K 
[ ]topgen_4__t65_topgen_4.vmin1out2024-08-03 10:20 18K 
[ ]topgen_4__t65_topgen_4.vout2024-08-03 04:43 20K 
[ ]topgen_4__t66_topgen_42024-07-27 17:54 26K 
[ ]topgen_4__t66_topgen_4.depv12024-08-03 10:19 280  
[ ]topgen_4__t66_topgen_4.depvmin12024-08-03 10:24 159  
[ ]topgen_4__t66_topgen_4.vmin12024-08-03 10:19 3.8K 
[ ]topgen_4__t66_topgen_4.vmin1out2024-08-03 10:20 69K 
[ ]topgen_4__t66_topgen_4.vout2024-08-03 07:28 75K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80