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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]altcat_2__l28_altcat_22024-07-27 03:32 13K 
[ ]altcat_2__l28_altcat_2.depv12024-08-03 10:19 220  
[ ]altcat_2__l28_altcat_2.depvmin12024-08-03 10:24 197  
[ ]altcat_2__l28_altcat_2.vmin12024-08-03 10:19 3.0K 
[ ]altcat_2__l28_altcat_2.vmin1out2024-08-03 10:21 84K 
[ ]altcat_2__l28_altcat_2.vout2024-08-03 04:37 45K 
[ ]altcat_2__t1_altcat_22024-07-27 03:02 18K 
[ ]altcat_2__t1_altcat_2.vout2024-08-03 05:31 6.8K 
[ ]altcat_2__t2_altcat_22024-07-27 03:03 7.9K 
[ ]altcat_2__t2_altcat_2.vout2024-08-03 09:29 7.3K 
[ ]altcat_2__t3_altcat_22024-07-27 03:04 14K 
[ ]altcat_2__t3_altcat_2.vout2024-08-03 04:22 7.3K 
[ ]altcat_2__t4_altcat_22024-07-27 03:05 20K 
[ ]altcat_2__t4_altcat_2.vout2024-08-03 04:38 7.3K 
[ ]altcat_2__t5_altcat_22024-07-27 03:05 17K 
[ ]altcat_2__t5_altcat_2.vout2024-08-03 09:12 7.3K 
[ ]altcat_2__t6_altcat_22024-07-27 03:06 15K 
[ ]altcat_2__t6_altcat_2.depv12024-08-03 10:19 161  
[ ]altcat_2__t6_altcat_2.depvmin12024-08-03 10:24 161  
[ ]altcat_2__t6_altcat_2.vmin12024-08-03 10:19 1.9K 
[ ]altcat_2__t6_altcat_2.vmin1out2024-08-03 10:23 32K 
[ ]altcat_2__t6_altcat_2.vout2024-08-03 08:47 24K 
[ ]altcat_2__t7_altcat_22024-07-27 03:07 11K 
[ ]altcat_2__t7_altcat_2.depv12024-08-03 10:19 70  
[ ]altcat_2__t7_altcat_2.depvmin12024-08-03 10:24 70  
[ ]altcat_2__t7_altcat_2.vmin12024-08-03 10:19 1.2K 
[ ]altcat_2__t7_altcat_2.vmin1out2024-08-03 10:23 15K 
[ ]altcat_2__t7_altcat_2.vout2024-08-03 08:59 37K 
[ ]altcat_2__t8_altcat_22024-07-27 03:07 11K 
[ ]altcat_2__t8_altcat_2.vout2024-08-03 05:20 7.3K 
[ ]altcat_2__t9_altcat_22024-07-27 03:01 11K 
[ ]altcat_2__t9_altcat_2.depv12024-08-03 10:19 79  
[ ]altcat_2__t9_altcat_2.depvmin12024-08-03 10:24 79  
[ ]altcat_2__t9_altcat_2.vmin12024-08-03 10:19 1.2K 
[ ]altcat_2__t9_altcat_2.vmin1out2024-08-03 10:22 29K 
[ ]altcat_2__t9_altcat_2.vout2024-08-03 08:05 18K 
[ ]altcat_2__t10_altcat_22024-07-27 03:08 18K 
[ ]altcat_2__t10_altcat_2.vout2024-08-03 04:52 7.3K 
[ ]altcat_2__t11_altcat_22024-07-27 03:10 20K 
[ ]altcat_2__t11_altcat_2.vout2024-08-03 08:05 7.3K 
[ ]altcat_2__t12_altcat_22024-07-27 03:10 19K 
[ ]altcat_2__t12_altcat_2.depv12024-08-03 10:19 50  
[ ]altcat_2__t12_altcat_2.depvmin12024-08-03 10:24 50  
[ ]altcat_2__t12_altcat_2.vmin12024-08-03 10:19 1.4K 
[ ]altcat_2__t12_altcat_2.vmin1out2024-08-03 10:20 23K 
[ ]altcat_2__t12_altcat_2.vout2024-08-03 06:14 23K 
[ ]altcat_2__t13_altcat_22024-07-27 03:12 29K 
[ ]altcat_2__t13_altcat_2.vout2024-08-03 06:00 7.3K 
[ ]altcat_2__t14_altcat_22024-07-27 03:13 25K 
[ ]altcat_2__t14_altcat_2.vout2024-08-03 04:14 7.3K 
[ ]altcat_2__t15_altcat_22024-07-27 03:14 26K 
[ ]altcat_2__t15_altcat_2.vout2024-08-03 08:03 7.4K 
[ ]altcat_2__t16_altcat_22024-07-27 03:15 16K 
[ ]altcat_2__t16_altcat_2.depv12024-08-03 10:19 138  
[ ]altcat_2__t16_altcat_2.depvmin12024-08-03 10:24 138  
[ ]altcat_2__t16_altcat_2.vmin12024-08-03 10:19 2.4K 
[ ]altcat_2__t16_altcat_2.vmin1out2024-08-03 10:22 22K 
[ ]altcat_2__t16_altcat_2.vout2024-08-03 08:26 30K 
[ ]altcat_2__t17_altcat_22024-07-27 03:16 16K 
[ ]altcat_2__t17_altcat_2.depv12024-08-03 10:19 138  
[ ]altcat_2__t17_altcat_2.depvmin12024-08-03 10:24 138  
[ ]altcat_2__t17_altcat_2.vmin12024-08-03 10:19 2.6K 
[ ]altcat_2__t17_altcat_2.vmin1out2024-08-03 10:20 25K 
[ ]altcat_2__t17_altcat_2.vout2024-08-03 09:39 33K 
[ ]altcat_2__t18_altcat_22024-07-27 03:17 24K 
[ ]altcat_2__t18_altcat_2.vout2024-08-03 09:03 4.1K 
[ ]altcat_2__t19_altcat_22024-07-27 03:02 13K 
[ ]altcat_2__t19_altcat_2.depv12024-08-03 10:19 97  
[ ]altcat_2__t19_altcat_2.depvmin12024-08-03 10:24 97  
[ ]altcat_2__t19_altcat_2.vmin12024-08-03 10:19 766  
[ ]altcat_2__t19_altcat_2.vmin1out2024-08-03 10:22 6.0K 
[ ]altcat_2__t19_altcat_2.vout2024-08-03 09:52 5.7K 
[ ]altcat_2__t20_altcat_22024-07-27 03:18 16K 
[ ]altcat_2__t20_altcat_2.depv12024-08-03 10:19 197  
[ ]altcat_2__t20_altcat_2.depvmin12024-08-03 10:24 148  
[ ]altcat_2__t20_altcat_2.vmin12024-08-03 10:19 3.2K 
[ ]altcat_2__t20_altcat_2.vmin1out2024-08-03 10:23 75K 
[ ]altcat_2__t20_altcat_2.vout2024-08-03 06:25 53K 
[ ]altcat_2__t21_altcat_22024-07-27 03:19 16K 
[ ]altcat_2__t21_altcat_2.depv12024-08-03 10:19 136  
[ ]altcat_2__t21_altcat_2.depvmin12024-08-03 10:24 136  
[ ]altcat_2__t21_altcat_2.vmin12024-08-03 10:19 3.0K 
[ ]altcat_2__t21_altcat_2.vmin1out2024-08-03 10:21 114K 
[ ]altcat_2__t21_altcat_2.vout2024-08-03 07:16 120K 
[ ]altcat_2__t22_altcat_22024-07-27 03:20 21K 
[ ]altcat_2__t22_altcat_2.depv12024-08-03 10:19 139  
[ ]altcat_2__t22_altcat_2.depvmin12024-08-03 10:24 139  
[ ]altcat_2__t22_altcat_2.vmin12024-08-03 10:19 2.9K 
[ ]altcat_2__t22_altcat_2.vmin1out2024-08-03 10:22 28K 
[ ]altcat_2__t22_altcat_2.vout2024-08-03 07:53 77K 
[ ]altcat_2__t23_altcat_22024-07-27 03:21 26K 
[ ]altcat_2__t23_altcat_2.depv12024-08-03 10:19 165  
[ ]altcat_2__t23_altcat_2.depvmin12024-08-03 10:24 165  
[ ]altcat_2__t23_altcat_2.vmin12024-08-03 10:19 1.7K 
[ ]altcat_2__t23_altcat_2.vmin1out2024-08-03 10:20 15K 
[ ]altcat_2__t23_altcat_2.vout2024-08-03 05:46 20K 
[ ]altcat_2__t24_altcat_22024-07-27 03:22 25K 
[ ]altcat_2__t24_altcat_2.vout2024-08-03 04:09 7.4K 
[ ]altcat_2__t25_altcat_22024-07-27 03:23 22K 
[ ]altcat_2__t25_altcat_2.depv12024-08-03 10:19 208  
[ ]altcat_2__t25_altcat_2.depvmin12024-08-03 10:24 208  
[ ]altcat_2__t25_altcat_2.vmin12024-08-03 10:19 2.8K 
[ ]altcat_2__t25_altcat_2.vmin1out2024-08-03 10:20 45K 
[ ]altcat_2__t25_altcat_2.vout2024-08-03 04:23 46K 
[ ]altcat_2__t26_altcat_22024-07-27 03:24 21K 
[ ]altcat_2__t26_altcat_2.depv12024-08-03 10:19 118  
[ ]altcat_2__t26_altcat_2.depvmin12024-08-03 10:24 118  
[ ]altcat_2__t26_altcat_2.vmin12024-08-03 10:19 2.1K 
[ ]altcat_2__t26_altcat_2.vmin1out2024-08-03 10:20 31K 
[ ]altcat_2__t26_altcat_2.vout2024-08-03 06:19 41K 
[ ]altcat_2__t27_altcat_22024-07-27 03:25 16K 
[ ]altcat_2__t27_altcat_2.vout2024-08-03 09:32 3.2K 
[ ]altcat_2__t28_altcat_22024-07-27 03:26 13K 
[ ]altcat_2__t28_altcat_2.vout2024-08-03 07:52 2.0K 
[ ]altcat_2__t29_altcat_22024-07-27 03:27 19K 
[ ]altcat_2__t29_altcat_2.depv12024-08-03 10:19 114  
[ ]altcat_2__t29_altcat_2.depvmin12024-08-03 10:24 114  
[ ]altcat_2__t29_altcat_2.vmin12024-08-03 10:19 1.4K 
[ ]altcat_2__t29_altcat_2.vmin1out2024-08-03 10:22 12K 
[ ]altcat_2__t29_altcat_2.vout2024-08-03 10:03 15K 
[ ]altcat_2__t30_altcat_22024-07-27 03:28 16K 
[ ]altcat_2__t30_altcat_2.depv12024-08-03 10:19 52  
[ ]altcat_2__t30_altcat_2.depvmin12024-08-03 10:24 52  
[ ]altcat_2__t30_altcat_2.vmin12024-08-03 10:19 1.3K 
[ ]altcat_2__t30_altcat_2.vmin1out2024-08-03 10:23 16K 
[ ]altcat_2__t30_altcat_2.vout2024-08-03 06:14 15K 
[ ]altcat_2__t31_altcat_22024-07-27 03:29 20K 
[ ]altcat_2__t31_altcat_2.vout2024-08-03 08:28 7.3K 
[ ]altcat_2__t32_altcat_22024-07-27 03:30 26K 
[ ]altcat_2__t32_altcat_2.vout2024-08-03 07:00 6.8K 
[ ]altcat_2__t33_altcat_22024-07-27 03:31 16K 
[ ]altcat_2__t33_altcat_2.depv12024-08-03 10:19 65  
[ ]altcat_2__t33_altcat_2.depvmin12024-08-03 10:24 65  
[ ]altcat_2__t33_altcat_2.vmin12024-08-03 10:19 1.3K 
[ ]altcat_2__t33_altcat_2.vmin1out2024-08-03 10:23 24K 
[ ]altcat_2__t33_altcat_2.vout2024-08-03 04:49 24K 
[ ]altcat_2__t34_altcat_22024-07-27 03:32 21K 
[ ]altcat_2__t34_altcat_2.vout2024-08-03 05:17 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80