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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]altcat_4__l34_altcat_42025-09-08 09:19 11K 
[ ]altcat_4__l34_altcat_4.depv12025-09-15 19:47 106  
[ ]altcat_4__l34_altcat_4.depvmin12025-09-15 19:51 106  
[ ]altcat_4__l34_altcat_4.vmin12025-09-15 19:47 1.4K 
[ ]altcat_4__l34_altcat_4.vmin1out2025-09-15 19:47 32K 
[ ]altcat_4__l34_altcat_4.vout2025-09-15 17:04 35K 
[ ]altcat_4__t1_altcat_42025-09-08 08:12 13K 
[ ]altcat_4__t1_altcat_4.depv12025-09-15 19:47 65  
[ ]altcat_4__t1_altcat_4.depvmin12025-09-15 19:51 65  
[ ]altcat_4__t1_altcat_4.vmin12025-09-15 19:47 2.2K 
[ ]altcat_4__t1_altcat_4.vmin1out2025-09-15 19:49 39K 
[ ]altcat_4__t1_altcat_4.vout2025-09-15 18:38 40K 
[ ]altcat_4__t2_altcat_42025-09-08 08:13 13K 
[ ]altcat_4__t2_altcat_4.depv12025-09-15 19:47 80  
[ ]altcat_4__t2_altcat_4.depvmin12025-09-15 19:51 80  
[ ]altcat_4__t2_altcat_4.vmin12025-09-15 19:47 2.5K 
[ ]altcat_4__t2_altcat_4.vmin1out2025-09-15 19:50 45K 
[ ]altcat_4__t2_altcat_4.vout2025-09-15 15:09 46K 
[ ]altcat_4__t3_altcat_42025-09-08 08:14 14K 
[ ]altcat_4__t3_altcat_4.depv12025-09-15 19:47 75  
[ ]altcat_4__t3_altcat_4.depvmin12025-09-15 19:51 63  
[ ]altcat_4__t3_altcat_4.vmin12025-09-15 19:47 2.8K 
[ ]altcat_4__t3_altcat_4.vmin1out2025-09-15 19:51 35K 
[ ]altcat_4__t3_altcat_4.vout2025-09-15 14:51 32K 
[ ]altcat_4__t4_altcat_42025-09-08 08:15 13K 
[ ]altcat_4__t4_altcat_4.depv12025-09-15 19:47 77  
[ ]altcat_4__t4_altcat_4.depvmin12025-09-15 19:51 77  
[ ]altcat_4__t4_altcat_4.vmin12025-09-15 19:47 2.3K 
[ ]altcat_4__t4_altcat_4.vmin1out2025-09-15 19:49 32K 
[ ]altcat_4__t4_altcat_4.vout2025-09-15 18:50 31K 
[ ]altcat_4__t5_altcat_42025-09-08 08:16 14K 
[ ]altcat_4__t5_altcat_4.depv12025-09-15 19:47 78  
[ ]altcat_4__t5_altcat_4.depvmin12025-09-15 19:51 78  
[ ]altcat_4__t5_altcat_4.vmin12025-09-15 19:47 2.4K 
[ ]altcat_4__t5_altcat_4.vmin1out2025-09-15 19:49 41K 
[ ]altcat_4__t5_altcat_4.vout2025-09-15 13:55 42K 
[ ]altcat_4__t6_altcat_42025-09-08 08:17 16K 
[ ]altcat_4__t6_altcat_4.vout2025-09-15 15:14 7.3K 
[ ]altcat_4__t7_altcat_42025-09-08 08:18 13K 
[ ]altcat_4__t7_altcat_4.vout2025-09-15 13:43 8.4K 
[ ]altcat_4__t8_altcat_42025-09-08 08:19 11K 
[ ]altcat_4__t8_altcat_4.depv12025-09-15 19:47 71  
[ ]altcat_4__t8_altcat_4.depvmin12025-09-15 19:51 71  
[ ]altcat_4__t8_altcat_4.vmin12025-09-15 19:47 1.5K 
[ ]altcat_4__t8_altcat_4.vmin1out2025-09-15 19:49 20K 
[ ]altcat_4__t8_altcat_4.vout2025-09-15 17:22 29K 
[ ]altcat_4__t9_altcat_42025-09-08 08:20 11K 
[ ]altcat_4__t9_altcat_4.depv12025-09-15 19:47 71  
[ ]altcat_4__t9_altcat_4.depvmin12025-09-15 19:51 71  
[ ]altcat_4__t9_altcat_4.vmin12025-09-15 19:47 1.5K 
[ ]altcat_4__t9_altcat_4.vmin1out2025-09-15 19:50 20K 
[ ]altcat_4__t9_altcat_4.vout2025-09-15 13:53 29K 
[ ]altcat_4__t10_altcat_42025-09-08 08:20 15K 
[ ]altcat_4__t10_altcat_4.vout2025-09-15 16:42 5.8K 
[ ]altcat_4__t11_altcat_42025-09-08 08:22 15K 
[ ]altcat_4__t11_altcat_4.vout2025-09-15 15:23 5.8K 
[ ]altcat_4__t12_altcat_42025-09-08 08:23 15K 
[ ]altcat_4__t12_altcat_4.vout2025-09-15 14:24 4.7K 
[ ]altcat_4__t13_altcat_42025-09-08 08:24 27K 
[ ]altcat_4__t13_altcat_4.vout2025-09-15 17:30 2.0K 
[ ]altcat_4__t14_altcat_42025-09-08 08:25 33K 
[ ]altcat_4__t14_altcat_4.vout2025-09-15 13:36 7.9K 
[ ]altcat_4__t15_altcat_42025-09-08 08:26 23K 
[ ]altcat_4__t15_altcat_4.vout2025-09-15 18:05 7.9K 
[ ]altcat_4__t16_altcat_42025-09-08 08:28 26K 
[ ]altcat_4__t16_altcat_4.vout2025-09-15 14:21 7.9K 
[ ]altcat_4__t17_altcat_42025-09-08 08:29 25K 
[ ]altcat_4__t17_altcat_4.vout2025-09-15 17:55 7.9K 
[ ]altcat_4__t18_altcat_42025-09-08 08:30 25K 
[ ]altcat_4__t18_altcat_4.vout2025-09-15 18:28 2.0K 
[ ]altcat_4__t19_altcat_42025-09-08 08:31 25K 
[ ]altcat_4__t19_altcat_4.vout2025-09-15 15:19 2.0K 
[ ]altcat_4__t20_altcat_42025-09-08 08:32 24K 
[ ]altcat_4__t20_altcat_4.vout2025-09-15 19:07 2.0K 
[ ]altcat_4__t21_altcat_42025-09-08 08:34 24K 
[ ]altcat_4__t21_altcat_4.vout2025-09-15 19:42 2.0K 
[ ]altcat_4__t22_altcat_42025-09-08 08:35 25K 
[ ]altcat_4__t22_altcat_4.vout2025-09-15 15:39 2.0K 
[ ]altcat_4__t23_altcat_42025-09-08 08:36 25K 
[ ]altcat_4__t23_altcat_4.vout2025-09-15 18:48 2.0K 
[ ]altcat_4__t24_altcat_42025-09-08 08:37 24K 
[ ]altcat_4__t24_altcat_4.vout2025-09-15 18:47 2.0K 
[ ]altcat_4__t25_altcat_42025-09-08 08:38 24K 
[ ]altcat_4__t25_altcat_4.vout2025-09-15 19:37 2.0K 
[ ]altcat_4__t26_altcat_42025-09-08 08:40 33K 
[ ]altcat_4__t26_altcat_4.vout2025-09-15 13:39 4.7K 
[ ]altcat_4__t27_altcat_42025-09-08 08:41 33K 
[ ]altcat_4__t27_altcat_4.vout2025-09-15 19:02 4.7K 
[ ]altcat_4__t28_altcat_42025-09-08 08:42 24K 
[ ]altcat_4__t28_altcat_4.vout2025-09-15 19:02 2.0K 
[ ]altcat_4__t29_altcat_42025-09-08 08:43 24K 
[ ]altcat_4__t29_altcat_4.vout2025-09-15 17:06 2.0K 
[ ]altcat_4__t30_altcat_42025-09-08 08:45 33K 
[ ]altcat_4__t30_altcat_4.vout2025-09-15 14:32 4.7K 
[ ]altcat_4__t31_altcat_42025-09-08 08:46 33K 
[ ]altcat_4__t31_altcat_4.vout2025-09-15 18:15 4.7K 
[ ]altcat_4__t32_altcat_42025-09-08 08:47 24K 
[ ]altcat_4__t32_altcat_4.vout2025-09-15 13:57 2.0K 
[ ]altcat_4__t33_altcat_42025-09-08 08:49 24K 
[ ]altcat_4__t33_altcat_4.vout2025-09-15 16:22 2.0K 
[ ]altcat_4__t34_altcat_42025-09-08 08:11 1.4K 
[ ]altcat_4__t34_altcat_4.vout2025-09-15 15:06 1.8K 
[ ]altcat_4__t35_altcat_42025-09-08 08:50 13K 
[ ]altcat_4__t35_altcat_4.depv12025-09-15 19:47 90  
[ ]altcat_4__t35_altcat_4.depvmin12025-09-15 19:51 90  
[ ]altcat_4__t35_altcat_4.vmin12025-09-15 19:47 1.7K 
[ ]altcat_4__t35_altcat_4.vmin1out2025-09-15 19:49 17K 
[ ]altcat_4__t35_altcat_4.vout2025-09-15 18:12 27K 
[ ]altcat_4__t36_altcat_42025-09-08 08:51 23K 
[ ]altcat_4__t36_altcat_4.depv12025-09-15 19:47 166  
[ ]altcat_4__t36_altcat_4.depvmin12025-09-15 19:51 166  
[ ]altcat_4__t36_altcat_4.vmin12025-09-15 19:47 2.9K 
[ ]altcat_4__t36_altcat_4.vmin1out2025-09-15 19:50 27K 
[ ]altcat_4__t36_altcat_4.vout2025-09-15 17:02 52K 
[ ]altcat_4__t37_altcat_42025-09-08 08:52 20K 
[ ]altcat_4__t37_altcat_4.vout2025-09-15 14:26 7.3K 
[ ]altcat_4__t38_altcat_42025-09-08 08:53 15K 
[ ]altcat_4__t38_altcat_4.depv12025-09-15 19:47 79  
[ ]altcat_4__t38_altcat_4.depvmin12025-09-15 19:51 79  
[ ]altcat_4__t38_altcat_4.vmin12025-09-15 19:47 3.1K 
[ ]altcat_4__t38_altcat_4.vmin1out2025-09-15 19:48 123K 
[ ]altcat_4__t38_altcat_4.vout2025-09-15 17:23 73K 
[ ]altcat_4__t39_altcat_42025-09-08 08:54 17K 
[ ]altcat_4__t39_altcat_4.depv12025-09-15 19:47 128  
[ ]altcat_4__t39_altcat_4.depvmin12025-09-15 19:51 116  
[ ]altcat_4__t39_altcat_4.vmin12025-09-15 19:47 4.6K 
[ ]altcat_4__t39_altcat_4.vmin1out2025-09-15 19:50 114K 
[ ]altcat_4__t39_altcat_4.vout2025-09-15 16:37 77K 
[ ]altcat_4__t40_altcat_42025-09-08 08:55 23K 
[ ]altcat_4__t40_altcat_4.depv12025-09-15 19:47 153  
[ ]altcat_4__t40_altcat_4.depvmin12025-09-15 19:51 141  
[ ]altcat_4__t40_altcat_4.vmin12025-09-15 19:47 5.1K 
[ ]altcat_4__t40_altcat_4.vmin1out2025-09-15 19:51 115K 
[ ]altcat_4__t40_altcat_4.vout2025-09-15 18:39 102K 
[ ]altcat_4__t41_altcat_42025-09-08 08:56 28K 
[ ]altcat_4__t41_altcat_4.vout2025-09-15 17:54 7.4K 
[ ]altcat_4__t42_altcat_42025-09-08 08:58 28K 
[ ]altcat_4__t42_altcat_4.vout2025-09-15 13:38 7.4K 
[ ]altcat_4__t43_altcat_42025-09-08 08:59 28K 
[ ]altcat_4__t43_altcat_4.vout2025-09-15 18:22 7.4K 
[ ]altcat_4__t44_altcat_42025-09-08 09:00 28K 
[ ]altcat_4__t44_altcat_4.vout2025-09-15 18:18 7.4K 
[ ]altcat_4__t45_altcat_42025-09-08 09:01 25K 
[ ]altcat_4__t45_altcat_4.vout2025-09-15 16:29 6.8K 
[ ]altcat_4__t46_altcat_42025-09-08 09:03 25K 
[ ]altcat_4__t46_altcat_4.vout2025-09-15 16:47 6.8K 
[ ]altcat_4__t47_altcat_42025-09-08 09:04 25K 
[ ]altcat_4__t47_altcat_4.vout2025-09-15 15:14 6.8K 
[ ]altcat_4__t48_altcat_42025-09-08 09:05 25K 
[ ]altcat_4__t48_altcat_4.vout2025-09-15 18:05 7.3K 
[ ]altcat_4__t49_altcat_42025-09-08 09:06 25K 
[ ]altcat_4__t49_altcat_4.vout2025-09-15 13:28 7.3K 
[ ]altcat_4__t50_altcat_42025-09-08 09:07 25K 
[ ]altcat_4__t50_altcat_4.depv12025-09-15 19:47 152  
[ ]altcat_4__t50_altcat_4.depvmin12025-09-15 19:51 152  
[ ]altcat_4__t50_altcat_4.vmin12025-09-15 19:47 3.5K 
[ ]altcat_4__t50_altcat_4.vmin1out2025-09-15 19:48 60K 
[ ]altcat_4__t50_altcat_4.vout2025-09-15 15:38 49K 
[ ]altcat_4__t51_altcat_42025-09-08 09:08 25K 
[ ]altcat_4__t51_altcat_4.depv12025-09-15 19:47 152  
[ ]altcat_4__t51_altcat_4.depvmin12025-09-15 19:51 152  
[ ]altcat_4__t51_altcat_4.vmin12025-09-15 19:47 3.5K 
[ ]altcat_4__t51_altcat_4.vmin1out2025-09-15 19:50 60K 
[ ]altcat_4__t51_altcat_4.vout2025-09-15 18:04 49K 
[ ]altcat_4__t52_altcat_42025-09-08 09:09 29K 
[ ]altcat_4__t52_altcat_4.vout2025-09-15 15:33 4.7K 
[ ]altcat_4__t53_altcat_42025-09-08 09:10 25K 
[ ]altcat_4__t53_altcat_4.vout2025-09-15 16:15 7.4K 
[ ]altcat_4__t54_altcat_42025-09-08 09:12 25K 
[ ]altcat_4__t54_altcat_4.vout2025-09-15 18:23 7.4K 
[ ]altcat_4__t55_altcat_42025-09-08 09:13 25K 
[ ]altcat_4__t55_altcat_4.vout2025-09-15 16:47 7.4K 
[ ]altcat_4__t56_altcat_42025-09-08 09:14 31K 
[ ]altcat_4__t56_altcat_4.vout2025-09-15 17:24 7.3K 
[ ]altcat_4__t57_altcat_42025-09-08 09:15 31K 
[ ]altcat_4__t57_altcat_4.vout2025-09-15 16:30 7.4K 
[ ]altcat_4__t58_altcat_42025-09-08 09:17 29K 
[ ]altcat_4__t58_altcat_4.vout2025-09-15 14:14 7.3K 
[ ]altcat_4__t59_altcat_42025-09-08 09:18 29K 
[ ]altcat_4__t59_altcat_4.vout2025-09-15 16:22 7.4K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80