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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]altcat_4__l34_altcat_42024-07-28 10:56 11K 
[ ]altcat_4__l34_altcat_4.depv12024-08-03 10:19 106  
[ ]altcat_4__l34_altcat_4.depvmin12024-08-03 10:24 106  
[ ]altcat_4__l34_altcat_4.vmin12024-08-03 10:19 1.4K 
[ ]altcat_4__l34_altcat_4.vmin1out2024-08-03 10:21 32K 
[ ]altcat_4__l34_altcat_4.vout2024-08-03 07:03 35K 
[ ]altcat_4__t1_altcat_42024-07-28 09:50 13K 
[ ]altcat_4__t1_altcat_4.depv12024-08-03 10:19 65  
[ ]altcat_4__t1_altcat_4.depvmin12024-08-03 10:24 65  
[ ]altcat_4__t1_altcat_4.vmin12024-08-03 10:19 2.2K 
[ ]altcat_4__t1_altcat_4.vmin1out2024-08-03 10:22 39K 
[ ]altcat_4__t1_altcat_4.vout2024-08-03 06:57 40K 
[ ]altcat_4__t2_altcat_42024-07-28 09:50 13K 
[ ]altcat_4__t2_altcat_4.depv12024-08-03 10:19 80  
[ ]altcat_4__t2_altcat_4.depvmin12024-08-03 10:24 80  
[ ]altcat_4__t2_altcat_4.vmin12024-08-03 10:19 2.5K 
[ ]altcat_4__t2_altcat_4.vmin1out2024-08-03 10:22 45K 
[ ]altcat_4__t2_altcat_4.vout2024-08-03 07:41 46K 
[ ]altcat_4__t3_altcat_42024-07-28 09:51 14K 
[ ]altcat_4__t3_altcat_4.depv12024-08-03 10:19 75  
[ ]altcat_4__t3_altcat_4.depvmin12024-08-03 10:24 63  
[ ]altcat_4__t3_altcat_4.vmin12024-08-03 10:19 2.8K 
[ ]altcat_4__t3_altcat_4.vmin1out2024-08-03 10:20 35K 
[ ]altcat_4__t3_altcat_4.vout2024-08-03 04:30 32K 
[ ]altcat_4__t4_altcat_42024-07-28 09:52 13K 
[ ]altcat_4__t4_altcat_4.depv12024-08-03 10:19 77  
[ ]altcat_4__t4_altcat_4.depvmin12024-08-03 10:24 77  
[ ]altcat_4__t4_altcat_4.vmin12024-08-03 10:19 2.3K 
[ ]altcat_4__t4_altcat_4.vmin1out2024-08-03 10:22 32K 
[ ]altcat_4__t4_altcat_4.vout2024-08-03 05:57 31K 
[ ]altcat_4__t5_altcat_42024-07-28 09:53 14K 
[ ]altcat_4__t5_altcat_4.depv12024-08-03 10:19 78  
[ ]altcat_4__t5_altcat_4.depvmin12024-08-03 10:24 78  
[ ]altcat_4__t5_altcat_4.vmin12024-08-03 10:19 2.4K 
[ ]altcat_4__t5_altcat_4.vmin1out2024-08-03 10:21 41K 
[ ]altcat_4__t5_altcat_4.vout2024-08-03 06:28 42K 
[ ]altcat_4__t6_altcat_42024-07-28 09:54 16K 
[ ]altcat_4__t6_altcat_4.vout2024-08-03 06:09 7.3K 
[ ]altcat_4__t7_altcat_42024-07-28 09:55 13K 
[ ]altcat_4__t7_altcat_4.vout2024-08-03 05:29 8.4K 
[ ]altcat_4__t8_altcat_42024-07-28 09:56 11K 
[ ]altcat_4__t8_altcat_4.depv12024-08-03 10:19 71  
[ ]altcat_4__t8_altcat_4.depvmin12024-08-03 10:24 71  
[ ]altcat_4__t8_altcat_4.vmin12024-08-03 10:19 1.5K 
[ ]altcat_4__t8_altcat_4.vmin1out2024-08-03 10:22 20K 
[ ]altcat_4__t8_altcat_4.vout2024-08-03 05:52 29K 
[ ]altcat_4__t9_altcat_42024-07-28 09:57 11K 
[ ]altcat_4__t9_altcat_4.depv12024-08-03 10:19 71  
[ ]altcat_4__t9_altcat_4.depvmin12024-08-03 10:24 71  
[ ]altcat_4__t9_altcat_4.vmin12024-08-03 10:19 1.5K 
[ ]altcat_4__t9_altcat_4.vmin1out2024-08-03 10:22 20K 
[ ]altcat_4__t9_altcat_4.vout2024-08-03 08:23 29K 
[ ]altcat_4__t10_altcat_42024-07-28 09:58 15K 
[ ]altcat_4__t10_altcat_4.vout2024-08-03 09:34 5.9K 
[ ]altcat_4__t11_altcat_42024-07-28 09:59 15K 
[ ]altcat_4__t11_altcat_4.vout2024-08-03 08:02 5.8K 
[ ]altcat_4__t12_altcat_42024-07-28 10:00 15K 
[ ]altcat_4__t12_altcat_4.vout2024-08-03 07:23 4.7K 
[ ]altcat_4__t13_altcat_42024-07-28 10:01 27K 
[ ]altcat_4__t13_altcat_4.vout2024-08-03 08:20 2.0K 
[ ]altcat_4__t14_altcat_42024-07-28 10:02 33K 
[ ]altcat_4__t14_altcat_4.vout2024-08-03 05:28 7.9K 
[ ]altcat_4__t15_altcat_42024-07-28 10:04 23K 
[ ]altcat_4__t15_altcat_4.vout2024-08-03 09:19 7.9K 
[ ]altcat_4__t16_altcat_42024-07-28 10:05 26K 
[ ]altcat_4__t16_altcat_4.vout2024-08-03 07:46 7.9K 
[ ]altcat_4__t17_altcat_42024-07-28 10:06 25K 
[ ]altcat_4__t17_altcat_4.vout2024-08-03 06:30 7.9K 
[ ]altcat_4__t18_altcat_42024-07-28 10:07 25K 
[ ]altcat_4__t18_altcat_4.vout2024-08-03 05:17 2.0K 
[ ]altcat_4__t19_altcat_42024-07-28 10:08 25K 
[ ]altcat_4__t19_altcat_4.vout2024-08-03 04:56 2.0K 
[ ]altcat_4__t20_altcat_42024-07-28 10:10 24K 
[ ]altcat_4__t20_altcat_4.vout2024-08-03 07:41 2.0K 
[ ]altcat_4__t21_altcat_42024-07-28 10:11 24K 
[ ]altcat_4__t21_altcat_4.vout2024-08-03 06:32 2.0K 
[ ]altcat_4__t22_altcat_42024-07-28 10:12 25K 
[ ]altcat_4__t22_altcat_4.vout2024-08-03 04:16 2.0K 
[ ]altcat_4__t23_altcat_42024-07-28 10:13 25K 
[ ]altcat_4__t23_altcat_4.vout2024-08-03 04:25 2.0K 
[ ]altcat_4__t24_altcat_42024-07-28 10:14 24K 
[ ]altcat_4__t24_altcat_4.vout2024-08-03 09:22 2.0K 
[ ]altcat_4__t25_altcat_42024-07-28 10:15 24K 
[ ]altcat_4__t25_altcat_4.vout2024-08-03 09:25 2.0K 
[ ]altcat_4__t26_altcat_42024-07-28 10:17 33K 
[ ]altcat_4__t26_altcat_4.vout2024-08-03 07:43 4.7K 
[ ]altcat_4__t27_altcat_42024-07-28 10:18 33K 
[ ]altcat_4__t27_altcat_4.vout2024-08-03 04:07 4.2K 
[ ]altcat_4__t28_altcat_42024-07-28 10:19 24K 
[ ]altcat_4__t28_altcat_4.vout2024-08-03 05:18 2.0K 
[ ]altcat_4__t29_altcat_42024-07-28 10:21 24K 
[ ]altcat_4__t29_altcat_4.vout2024-08-03 06:44 2.0K 
[ ]altcat_4__t30_altcat_42024-07-28 10:22 33K 
[ ]altcat_4__t30_altcat_4.vout2024-08-03 08:57 4.7K 
[ ]altcat_4__t31_altcat_42024-07-28 10:23 33K 
[ ]altcat_4__t31_altcat_4.vout2024-08-03 04:43 4.7K 
[ ]altcat_4__t32_altcat_42024-07-28 10:25 24K 
[ ]altcat_4__t32_altcat_4.vout2024-08-03 06:22 2.0K 
[ ]altcat_4__t33_altcat_42024-07-28 10:26 24K 
[ ]altcat_4__t33_altcat_4.vout2024-08-03 06:18 2.0K 
[ ]altcat_4__t34_altcat_42024-07-28 09:49 1.4K 
[ ]altcat_4__t34_altcat_4.vout2024-08-03 06:43 1.8K 
[ ]altcat_4__t35_altcat_42024-07-28 10:27 13K 
[ ]altcat_4__t35_altcat_4.depv12024-08-03 10:19 90  
[ ]altcat_4__t35_altcat_4.depvmin12024-08-03 10:24 90  
[ ]altcat_4__t35_altcat_4.vmin12024-08-03 10:19 1.7K 
[ ]altcat_4__t35_altcat_4.vmin1out2024-08-03 10:22 17K 
[ ]altcat_4__t35_altcat_4.vout2024-08-03 07:30 27K 
[ ]altcat_4__t36_altcat_42024-07-28 10:28 23K 
[ ]altcat_4__t36_altcat_4.depv12024-08-03 10:19 166  
[ ]altcat_4__t36_altcat_4.depvmin12024-08-03 10:24 166  
[ ]altcat_4__t36_altcat_4.vmin12024-08-03 10:19 2.9K 
[ ]altcat_4__t36_altcat_4.vmin1out2024-08-03 10:22 27K 
[ ]altcat_4__t36_altcat_4.vout2024-08-03 09:14 52K 
[ ]altcat_4__t37_altcat_42024-07-28 10:29 20K 
[ ]altcat_4__t37_altcat_4.vout2024-08-03 06:15 7.3K 
[ ]altcat_4__t38_altcat_42024-07-28 10:30 15K 
[ ]altcat_4__t38_altcat_4.depv12024-08-03 10:19 79  
[ ]altcat_4__t38_altcat_4.depvmin12024-08-03 10:24 79  
[ ]altcat_4__t38_altcat_4.vmin12024-08-03 10:19 3.1K 
[ ]altcat_4__t38_altcat_4.vmin1out2024-08-03 10:20 123K 
[ ]altcat_4__t38_altcat_4.vout2024-08-03 06:47 73K 
[ ]altcat_4__t39_altcat_42024-07-28 10:31 17K 
[ ]altcat_4__t39_altcat_4.depv12024-08-03 10:19 128  
[ ]altcat_4__t39_altcat_4.depvmin12024-08-03 10:24 116  
[ ]altcat_4__t39_altcat_4.vmin12024-08-03 10:19 4.6K 
[ ]altcat_4__t39_altcat_4.vmin1out2024-08-03 10:23 114K 
[ ]altcat_4__t39_altcat_4.vout2024-08-03 07:42 77K 
[ ]altcat_4__t40_altcat_42024-07-28 10:33 23K 
[ ]altcat_4__t40_altcat_4.depv12024-08-03 10:19 153  
[ ]altcat_4__t40_altcat_4.depvmin12024-08-03 10:24 141  
[ ]altcat_4__t40_altcat_4.vmin12024-08-03 10:19 5.1K 
[ ]altcat_4__t40_altcat_4.vmin1out2024-08-03 10:20 115K 
[ ]altcat_4__t40_altcat_4.vout2024-08-03 08:56 102K 
[ ]altcat_4__t41_altcat_42024-07-28 10:34 28K 
[ ]altcat_4__t41_altcat_4.vout2024-08-03 09:14 7.4K 
[ ]altcat_4__t42_altcat_42024-07-28 10:35 28K 
[ ]altcat_4__t42_altcat_4.vout2024-08-03 10:18 7.3K 
[ ]altcat_4__t43_altcat_42024-07-28 10:36 28K 
[ ]altcat_4__t43_altcat_4.vout2024-08-03 09:56 7.4K 
[ ]altcat_4__t44_altcat_42024-07-28 10:38 28K 
[ ]altcat_4__t44_altcat_4.vout2024-08-03 04:12 7.4K 
[ ]altcat_4__t45_altcat_42024-07-28 10:39 25K 
[ ]altcat_4__t45_altcat_4.vout2024-08-03 08:37 6.8K 
[ ]altcat_4__t46_altcat_42024-07-28 10:40 25K 
[ ]altcat_4__t46_altcat_4.vout2024-08-03 07:51 6.8K 
[ ]altcat_4__t47_altcat_42024-07-28 10:41 25K 
[ ]altcat_4__t47_altcat_4.vout2024-08-03 09:25 6.8K 
[ ]altcat_4__t48_altcat_42024-07-28 10:42 25K 
[ ]altcat_4__t48_altcat_4.vout2024-08-03 04:10 6.8K 
[ ]altcat_4__t49_altcat_42024-07-28 10:43 25K 
[ ]altcat_4__t49_altcat_4.vout2024-08-03 09:54 6.8K 
[ ]altcat_4__t50_altcat_42024-07-28 10:44 25K 
[ ]altcat_4__t50_altcat_4.depv12024-08-03 10:19 152  
[ ]altcat_4__t50_altcat_4.depvmin12024-08-03 10:24 152  
[ ]altcat_4__t50_altcat_4.vmin12024-08-03 10:19 3.5K 
[ ]altcat_4__t50_altcat_4.vmin1out2024-08-03 10:22 60K 
[ ]altcat_4__t50_altcat_4.vout2024-08-03 07:11 49K 
[ ]altcat_4__t51_altcat_42024-07-28 10:46 25K 
[ ]altcat_4__t51_altcat_4.depv12024-08-03 10:19 152  
[ ]altcat_4__t51_altcat_4.depvmin12024-08-03 10:24 152  
[ ]altcat_4__t51_altcat_4.vmin12024-08-03 10:19 3.5K 
[ ]altcat_4__t51_altcat_4.vmin1out2024-08-03 10:22 60K 
[ ]altcat_4__t51_altcat_4.vout2024-08-03 06:34 49K 
[ ]altcat_4__t52_altcat_42024-07-28 10:47 29K 
[ ]altcat_4__t52_altcat_4.vout2024-08-03 07:42 4.7K 
[ ]altcat_4__t53_altcat_42024-07-28 10:48 25K 
[ ]altcat_4__t53_altcat_4.vout2024-08-03 09:15 7.4K 
[ ]altcat_4__t54_altcat_42024-07-28 10:49 25K 
[ ]altcat_4__t54_altcat_4.vout2024-08-03 05:46 7.4K 
[ ]altcat_4__t55_altcat_42024-07-28 10:50 25K 
[ ]altcat_4__t55_altcat_4.vout2024-08-03 07:45 7.3K 
[ ]altcat_4__t56_altcat_42024-07-28 10:51 31K 
[ ]altcat_4__t56_altcat_4.vout2024-08-03 04:11 7.4K 
[ ]altcat_4__t57_altcat_42024-07-28 10:53 31K 
[ ]altcat_4__t57_altcat_4.vout2024-08-03 06:50 7.4K 
[ ]altcat_4__t58_altcat_42024-07-28 10:54 29K 
[ ]altcat_4__t58_altcat_4.vout2024-08-03 09:24 7.4K 
[ ]altcat_4__t59_altcat_42024-07-28 10:55 29K 
[ ]altcat_4__t59_altcat_4.vout2024-08-03 05:29 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80