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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]altcat_1__l33_altcat_12024-07-28 10:47 33K 
[ ]altcat_1__l33_altcat_1.vout2024-08-03 05:06 4.7K 
[ ]altcat_1__t5_altcat_12024-07-28 10:28 17K 
[ ]altcat_1__t5_altcat_1.depv12024-08-03 10:19 155  
[ ]altcat_1__t5_altcat_1.depvmin12024-08-03 10:24 121  
[ ]altcat_1__t5_altcat_1.vmin12024-08-03 10:19 1.6K 
[ ]altcat_1__t5_altcat_1.vmin1out2024-08-03 10:21 15K 
[ ]altcat_1__t5_altcat_1.vout2024-08-03 08:47 18K 
[ ]altcat_1__t6_altcat_12024-07-28 10:30 17K 
[ ]altcat_1__t6_altcat_1.vout2024-08-03 09:12 6.2K 
[ ]altcat_1__t7_altcat_12024-07-28 10:30 10K 
[ ]altcat_1__t7_altcat_1.depv12024-08-03 10:19 117  
[ ]altcat_1__t7_altcat_1.depvmin12024-08-03 10:24 117  
[ ]altcat_1__t7_altcat_1.vmin12024-08-03 10:19 1.8K 
[ ]altcat_1__t7_altcat_1.vmin1out2024-08-03 10:21 35K 
[ ]altcat_1__t7_altcat_1.vout2024-08-03 07:16 31K 
[ ]altcat_1__t8_altcat_12024-07-28 10:31 14K 
[ ]altcat_1__t8_altcat_1.vout2024-08-03 05:48 6.2K 
[ ]altcat_1__t11_altcat_12024-07-28 10:32 19K 
[ ]altcat_1__t11_altcat_1.vout2024-08-03 04:26 4.7K 
[ ]altcat_1__t12_altcat_12024-07-28 10:33 20K 
[ ]altcat_1__t12_altcat_1.vout2024-08-03 05:38 7.9K 
[ ]altcat_1__t13_altcat_12024-07-28 10:34 26K 
[ ]altcat_1__t13_altcat_1.vout2024-08-03 05:36 8.4K 
[ ]altcat_1__t14_altcat_12024-07-28 10:35 22K 
[ ]altcat_1__t14_altcat_1.vout2024-08-03 07:39 7.4K 
[ ]altcat_1__t15_altcat_12024-07-28 10:29 22K 
[ ]altcat_1__t15_altcat_1.depv12024-08-03 10:19 113  
[ ]altcat_1__t15_altcat_1.depvmin12024-08-03 10:24 113  
[ ]altcat_1__t15_altcat_1.vmin12024-08-03 10:19 2.3K 
[ ]altcat_1__t15_altcat_1.vmin1out2024-08-03 10:22 42K 
[ ]altcat_1__t15_altcat_1.vout2024-08-03 08:07 35K 
[ ]altcat_1__t16_altcat_12024-07-28 10:36 31K 
[ ]altcat_1__t16_altcat_1.vout2024-08-03 09:05 7.3K 
[ ]altcat_1__t17_altcat_12024-07-28 10:37 25K 
[ ]altcat_1__t17_altcat_1.vout2024-08-03 09:30 7.9K 
[ ]altcat_1__t18_altcat_12024-07-28 10:38 22K 
[ ]altcat_1__t18_altcat_1.vout2024-08-03 08:46 2.0K 
[ ]altcat_1__t19_altcat_12024-07-28 10:39 12K 
[ ]altcat_1__t19_altcat_1.depv12024-08-03 10:19 60  
[ ]altcat_1__t19_altcat_1.depvmin12024-08-03 10:24 60  
[ ]altcat_1__t19_altcat_1.vmin12024-08-03 10:19 801  
[ ]altcat_1__t19_altcat_1.vmin1out2024-08-03 10:20 8.1K 
[ ]altcat_1__t19_altcat_1.vout2024-08-03 08:31 7.9K 
[ ]altcat_1__t20_altcat_12024-07-28 10:40 24K 
[ ]altcat_1__t20_altcat_1.vout2024-08-03 07:16 7.4K 
[ ]altcat_1__t21_altcat_12024-07-28 10:41 23K 
[ ]altcat_1__t21_altcat_1.vout2024-08-03 04:51 2.0K 
[ ]altcat_1__t22_altcat_12024-07-28 10:42 12K 
[ ]altcat_1__t22_altcat_1.depv12024-08-03 10:19 118  
[ ]altcat_1__t22_altcat_1.depvmin12024-08-03 10:24 118  
[ ]altcat_1__t22_altcat_1.vmin12024-08-03 10:19 1.2K 
[ ]altcat_1__t22_altcat_1.vmin1out2024-08-03 10:21 16K 
[ ]altcat_1__t22_altcat_1.vout2024-08-03 04:49 20K 
[ ]altcat_1__t23_altcat_12024-07-28 10:43 25K 
[ ]altcat_1__t23_altcat_1.vout2024-08-03 05:21 6.8K 
[ ]altcat_1__t24_altcat_12024-07-28 10:44 24K 
[ ]altcat_1__t24_altcat_1.vout2024-08-03 08:52 4.7K 
[ ]altcat_1__t25_altcat_12024-07-28 10:45 27K 
[ ]altcat_1__t25_altcat_1.vout2024-08-03 08:08 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80