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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]altcat_5__l2_altcat_52024-07-26 19:16 5.6K 
[ ]altcat_5__l2_altcat_5.depv12024-08-03 10:19 90  
[ ]altcat_5__l2_altcat_5.depvmin12024-08-03 10:24 90  
[ ]altcat_5__l2_altcat_5.vmin12024-08-03 10:19 513  
[ ]altcat_5__l2_altcat_5.vmin1out2024-08-03 10:23 6.5K 
[ ]altcat_5__l2_altcat_5.vout2024-08-03 05:36 6.4K 
[ ]altcat_5__l3_altcat_52024-07-26 19:17 15K 
[ ]altcat_5__l3_altcat_5.depv12024-08-03 10:19 90  
[ ]altcat_5__l3_altcat_5.depvmin12024-08-03 10:24 90  
[ ]altcat_5__l3_altcat_5.vmin12024-08-03 10:19 848  
[ ]altcat_5__l3_altcat_5.vmin1out2024-08-03 10:22 11K 
[ ]altcat_5__l3_altcat_5.vout2024-08-03 08:04 9.6K 
[ ]altcat_5__l4_altcat_52024-07-26 19:18 13K 
[ ]altcat_5__l4_altcat_5.depv12024-08-03 10:19 104  
[ ]altcat_5__l4_altcat_5.depvmin12024-08-03 10:24 104  
[ ]altcat_5__l4_altcat_5.vmin12024-08-03 10:19 607  
[ ]altcat_5__l4_altcat_5.vmin1out2024-08-03 10:23 5.9K 
[ ]altcat_5__l4_altcat_5.vout2024-08-03 05:47 5.8K 
[ ]altcat_5__l5_altcat_52024-07-26 19:19 5.1K 
[ ]altcat_5__l5_altcat_5.depv12024-08-03 10:19 24  
[ ]altcat_5__l5_altcat_5.depvmin12024-08-03 10:24 24  
[ ]altcat_5__l5_altcat_5.vmin12024-08-03 10:19 179  
[ ]altcat_5__l5_altcat_5.vmin1out2024-08-03 10:20 1.6K 
[ ]altcat_5__l5_altcat_5.vout2024-08-03 06:12 1.6K 
[ ]altcat_5__l6_altcat_52024-07-26 19:32 15K 
[ ]altcat_5__l6_altcat_5.depv12024-08-03 10:19 167  
[ ]altcat_5__l6_altcat_5.depvmin12024-08-03 10:24 157  
[ ]altcat_5__l6_altcat_5.vmin12024-08-03 10:19 1.7K 
[ ]altcat_5__l6_altcat_5.vmin1out2024-08-03 10:21 23K 
[ ]altcat_5__l6_altcat_5.vout2024-08-03 09:30 22K 
[ ]altcat_5__l7_altcat_52024-07-26 19:33 15K 
[ ]altcat_5__l7_altcat_5.depv12024-08-03 10:19 167  
[ ]altcat_5__l7_altcat_5.depvmin12024-08-03 10:24 167  
[ ]altcat_5__l7_altcat_5.vmin12024-08-03 10:19 1.6K 
[ ]altcat_5__l7_altcat_5.vmin1out2024-08-03 10:20 23K 
[ ]altcat_5__l7_altcat_5.vout2024-08-03 05:37 21K 
[ ]altcat_5__l8_altcat_52024-07-26 19:34 14K 
[ ]altcat_5__l8_altcat_5.depv12024-08-03 10:19 117  
[ ]altcat_5__l8_altcat_5.depvmin12024-08-03 10:24 117  
[ ]altcat_5__l8_altcat_5.vmin12024-08-03 10:19 796  
[ ]altcat_5__l8_altcat_5.vmin1out2024-08-03 10:23 8.2K 
[ ]altcat_5__l8_altcat_5.vout2024-08-03 09:34 8.1K 
[ ]altcat_5__l9_altcat_52024-07-26 19:35 14K 
[ ]altcat_5__l9_altcat_5.depv12024-08-03 10:19 37  
[ ]altcat_5__l9_altcat_5.depvmin12024-08-03 10:24 37  
[ ]altcat_5__l9_altcat_5.vmin12024-08-03 10:19 732  
[ ]altcat_5__l9_altcat_5.vmin1out2024-08-03 10:22 10K 
[ ]altcat_5__l9_altcat_5.vout2024-08-03 05:50 7.3K 
[ ]altcat_5__t1_altcat_52024-07-26 19:20 15K 
[ ]altcat_5__t1_altcat_5.depv12024-08-03 10:19 153  
[ ]altcat_5__t1_altcat_5.depvmin12024-08-03 10:24 153  
[ ]altcat_5__t1_altcat_5.vmin12024-08-03 10:19 1.9K 
[ ]altcat_5__t1_altcat_5.vmin1out2024-08-03 10:23 25K 
[ ]altcat_5__t1_altcat_5.vout2024-08-03 09:32 26K 
[ ]altcat_5__t2_altcat_52024-07-26 19:21 18K 
[ ]altcat_5__t2_altcat_5.vout2024-08-03 09:02 4.7K 
[ ]altcat_5__t3_altcat_52024-07-26 19:22 24K 
[ ]altcat_5__t3_altcat_5.vout2024-08-03 06:29 4.7K 
[ ]altcat_5__t4_altcat_52024-07-26 19:23 29K 
[ ]altcat_5__t4_altcat_5.vout2024-08-03 04:37 4.7K 
[ ]altcat_5__t5_altcat_52024-07-26 19:24 15K 
[ ]altcat_5__t5_altcat_5.vout2024-08-03 08:46 2.0K 
[ ]altcat_5__t6_altcat_52024-07-26 19:25 22K 
[ ]altcat_5__t6_altcat_5.vout2024-08-03 09:03 7.3K 
[ ]altcat_5__t7_altcat_52024-07-26 19:27 27K 
[ ]altcat_5__t7_altcat_5.vout2024-08-03 09:02 4.7K 
[ ]altcat_5__t8_altcat_52024-07-26 19:29 43K 
[ ]altcat_5__t8_altcat_5.vout2024-08-03 09:11 6.8K 
[ ]altcat_5__t9_altcat_52024-07-26 19:30 23K 
[ ]altcat_5__t9_altcat_5.depv12024-08-03 10:19 94  
[ ]altcat_5__t9_altcat_5.depvmin12024-08-03 10:24 94  
[ ]altcat_5__t9_altcat_5.vmin12024-08-03 10:19 2.3K 
[ ]altcat_5__t9_altcat_5.vmin1out2024-08-03 10:23 27K 
[ ]altcat_5__t9_altcat_5.vout2024-08-03 04:46 32K 
[ ]altcat_5__t10_altcat_52024-07-26 19:31 23K 
[ ]altcat_5__t10_altcat_5.depv12024-08-03 10:19 95  
[ ]altcat_5__t10_altcat_5.depvmin12024-08-03 10:24 95  
[ ]altcat_5__t10_altcat_5.vmin12024-08-03 10:19 2.2K 
[ ]altcat_5__t10_altcat_5.vmin1out2024-08-03 10:20 34K 
[ ]altcat_5__t10_altcat_5.vout2024-08-03 05:46 41K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80