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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]altcat_1__l33_altcat_12025-09-08 19:32 33K 
[ ]altcat_1__l33_altcat_1.vout2025-09-15 13:37 4.7K 
[ ]altcat_1__t5_altcat_12025-09-08 19:13 17K 
[ ]altcat_1__t5_altcat_1.depv12025-09-15 19:47 155  
[ ]altcat_1__t5_altcat_1.depvmin12025-09-15 19:52 121  
[ ]altcat_1__t5_altcat_1.vmin12025-09-15 19:47 1.6K 
[ ]altcat_1__t5_altcat_1.vmin1out2025-09-15 19:48 15K 
[ ]altcat_1__t5_altcat_1.vout2025-09-15 16:10 18K 
[ ]altcat_1__t6_altcat_12025-09-08 19:15 17K 
[ ]altcat_1__t6_altcat_1.vout2025-09-15 18:55 6.2K 
[ ]altcat_1__t7_altcat_12025-09-08 19:15 10K 
[ ]altcat_1__t7_altcat_1.depv12025-09-15 19:47 117  
[ ]altcat_1__t7_altcat_1.depvmin12025-09-15 19:52 117  
[ ]altcat_1__t7_altcat_1.vmin12025-09-15 19:47 1.8K 
[ ]altcat_1__t7_altcat_1.vmin1out2025-09-15 19:49 35K 
[ ]altcat_1__t7_altcat_1.vout2025-09-15 14:06 31K 
[ ]altcat_1__t8_altcat_12025-09-08 19:16 14K 
[ ]altcat_1__t8_altcat_1.vout2025-09-15 16:29 6.2K 
[ ]altcat_1__t11_altcat_12025-09-08 19:17 19K 
[ ]altcat_1__t11_altcat_1.vout2025-09-15 16:30 4.7K 
[ ]altcat_1__t12_altcat_12025-09-08 19:18 20K 
[ ]altcat_1__t12_altcat_1.vout2025-09-15 13:57 7.9K 
[ ]altcat_1__t13_altcat_12025-09-08 19:19 26K 
[ ]altcat_1__t13_altcat_1.vout2025-09-15 17:43 8.4K 
[ ]altcat_1__t14_altcat_12025-09-08 19:20 22K 
[ ]altcat_1__t14_altcat_1.vout2025-09-15 19:46 7.3K 
[ ]altcat_1__t15_altcat_12025-09-08 19:14 22K 
[ ]altcat_1__t15_altcat_1.depv12025-09-15 19:47 113  
[ ]altcat_1__t15_altcat_1.depvmin12025-09-15 19:52 113  
[ ]altcat_1__t15_altcat_1.vmin12025-09-15 19:47 2.3K 
[ ]altcat_1__t15_altcat_1.vmin1out2025-09-15 19:49 42K 
[ ]altcat_1__t15_altcat_1.vout2025-09-15 14:54 35K 
[ ]altcat_1__t16_altcat_12025-09-08 19:21 32K 
[ ]altcat_1__t16_altcat_1.vout2025-09-15 14:05 7.3K 
[ ]altcat_1__t17_altcat_12025-09-08 19:22 25K 
[ ]altcat_1__t17_altcat_1.vout2025-09-15 17:30 7.9K 
[ ]altcat_1__t18_altcat_12025-09-08 19:23 22K 
[ ]altcat_1__t18_altcat_1.vout2025-09-15 16:58 2.0K 
[ ]altcat_1__t19_altcat_12025-09-08 19:24 12K 
[ ]altcat_1__t19_altcat_1.depv12025-09-15 19:47 60  
[ ]altcat_1__t19_altcat_1.depvmin12025-09-15 19:52 60  
[ ]altcat_1__t19_altcat_1.vmin12025-09-15 19:47 801  
[ ]altcat_1__t19_altcat_1.vmin1out2025-09-15 19:48 8.1K 
[ ]altcat_1__t19_altcat_1.vout2025-09-15 16:33 7.9K 
[ ]altcat_1__t20_altcat_12025-09-08 19:25 24K 
[ ]altcat_1__t20_altcat_1.vout2025-09-15 18:28 7.4K 
[ ]altcat_1__t21_altcat_12025-09-08 19:26 23K 
[ ]altcat_1__t21_altcat_1.vout2025-09-15 15:07 2.0K 
[ ]altcat_1__t22_altcat_12025-09-08 19:27 12K 
[ ]altcat_1__t22_altcat_1.depv12025-09-15 19:47 118  
[ ]altcat_1__t22_altcat_1.depvmin12025-09-15 19:52 118  
[ ]altcat_1__t22_altcat_1.vmin12025-09-15 19:47 1.2K 
[ ]altcat_1__t22_altcat_1.vmin1out2025-09-15 19:49 16K 
[ ]altcat_1__t22_altcat_1.vout2025-09-15 17:48 20K 
[ ]altcat_1__t23_altcat_12025-09-08 19:28 25K 
[ ]altcat_1__t23_altcat_1.vout2025-09-15 17:04 6.8K 
[ ]altcat_1__t24_altcat_12025-09-08 19:30 24K 
[ ]altcat_1__t24_altcat_1.vout2025-09-15 13:29 4.7K 
[ ]altcat_1__t25_altcat_12025-09-08 19:31 27K 
[ ]altcat_1__t25_altcat_1.vout2025-09-15 18:22 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80