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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]altcat_5__l2_altcat_52025-09-08 19:26 5.6K 
[ ]altcat_5__l2_altcat_5.depv12025-09-15 19:47 90  
[ ]altcat_5__l2_altcat_5.depvmin12025-09-15 19:51 90  
[ ]altcat_5__l2_altcat_5.vmin12025-09-15 19:47 513  
[ ]altcat_5__l2_altcat_5.vmin1out2025-09-15 19:49 6.5K 
[ ]altcat_5__l2_altcat_5.vout2025-09-15 13:29 6.4K 
[ ]altcat_5__l3_altcat_52025-09-08 19:27 15K 
[ ]altcat_5__l3_altcat_5.depv12025-09-15 19:47 90  
[ ]altcat_5__l3_altcat_5.depvmin12025-09-15 19:51 90  
[ ]altcat_5__l3_altcat_5.vmin12025-09-15 19:47 848  
[ ]altcat_5__l3_altcat_5.vmin1out2025-09-15 19:50 11K 
[ ]altcat_5__l3_altcat_5.vout2025-09-15 17:20 9.6K 
[ ]altcat_5__l4_altcat_52025-09-08 19:28 13K 
[ ]altcat_5__l4_altcat_5.depv12025-09-15 19:47 104  
[ ]altcat_5__l4_altcat_5.depvmin12025-09-15 19:51 104  
[ ]altcat_5__l4_altcat_5.vmin12025-09-15 19:47 607  
[ ]altcat_5__l4_altcat_5.vmin1out2025-09-15 19:50 5.9K 
[ ]altcat_5__l4_altcat_5.vout2025-09-15 19:39 5.8K 
[ ]altcat_5__l5_altcat_52025-09-08 19:29 5.1K 
[ ]altcat_5__l5_altcat_5.depv12025-09-15 19:47 24  
[ ]altcat_5__l5_altcat_5.depvmin12025-09-15 19:51 24  
[ ]altcat_5__l5_altcat_5.vmin12025-09-15 19:47 179  
[ ]altcat_5__l5_altcat_5.vmin1out2025-09-15 19:49 1.6K 
[ ]altcat_5__l5_altcat_5.vout2025-09-15 13:57 1.6K 
[ ]altcat_5__l6_altcat_52025-09-08 19:43 15K 
[ ]altcat_5__l6_altcat_5.depv12025-09-15 19:47 167  
[ ]altcat_5__l6_altcat_5.depvmin12025-09-15 19:51 157  
[ ]altcat_5__l6_altcat_5.vmin12025-09-15 19:47 1.7K 
[ ]altcat_5__l6_altcat_5.vmin1out2025-09-15 19:48 23K 
[ ]altcat_5__l6_altcat_5.vout2025-09-15 16:22 22K 
[ ]altcat_5__l7_altcat_52025-09-08 19:44 15K 
[ ]altcat_5__l7_altcat_5.depv12025-09-15 19:47 167  
[ ]altcat_5__l7_altcat_5.depvmin12025-09-15 19:51 167  
[ ]altcat_5__l7_altcat_5.vmin12025-09-15 19:47 1.6K 
[ ]altcat_5__l7_altcat_5.vmin1out2025-09-15 19:49 23K 
[ ]altcat_5__l7_altcat_5.vout2025-09-15 14:19 21K 
[ ]altcat_5__l8_altcat_52025-09-08 19:45 14K 
[ ]altcat_5__l8_altcat_5.depv12025-09-15 19:47 117  
[ ]altcat_5__l8_altcat_5.depvmin12025-09-15 19:51 117  
[ ]altcat_5__l8_altcat_5.vmin12025-09-15 19:47 796  
[ ]altcat_5__l8_altcat_5.vmin1out2025-09-15 19:50 8.2K 
[ ]altcat_5__l8_altcat_5.vout2025-09-15 14:04 8.1K 
[ ]altcat_5__l9_altcat_52025-09-08 19:46 14K 
[ ]altcat_5__l9_altcat_5.depv12025-09-15 19:47 37  
[ ]altcat_5__l9_altcat_5.depvmin12025-09-15 19:51 37  
[ ]altcat_5__l9_altcat_5.vmin12025-09-15 19:47 732  
[ ]altcat_5__l9_altcat_5.vmin1out2025-09-15 19:50 10K 
[ ]altcat_5__l9_altcat_5.vout2025-09-15 17:53 7.3K 
[ ]altcat_5__t1_altcat_52025-09-08 19:30 15K 
[ ]altcat_5__t1_altcat_5.depv12025-09-15 19:47 153  
[ ]altcat_5__t1_altcat_5.depvmin12025-09-15 19:51 153  
[ ]altcat_5__t1_altcat_5.vmin12025-09-15 19:47 1.9K 
[ ]altcat_5__t1_altcat_5.vmin1out2025-09-15 19:47 25K 
[ ]altcat_5__t1_altcat_5.vout2025-09-15 19:12 26K 
[ ]altcat_5__t2_altcat_52025-09-08 19:31 18K 
[ ]altcat_5__t2_altcat_5.vout2025-09-15 15:14 4.7K 
[ ]altcat_5__t3_altcat_52025-09-08 19:32 24K 
[ ]altcat_5__t3_altcat_5.vout2025-09-15 16:24 4.7K 
[ ]altcat_5__t4_altcat_52025-09-08 19:33 29K 
[ ]altcat_5__t4_altcat_5.vout2025-09-15 18:46 4.7K 
[ ]altcat_5__t5_altcat_52025-09-08 19:34 15K 
[ ]altcat_5__t5_altcat_5.vout2025-09-15 13:31 2.0K 
[ ]altcat_5__t6_altcat_52025-09-08 19:36 22K 
[ ]altcat_5__t6_altcat_5.vout2025-09-15 14:08 7.3K 
[ ]altcat_5__t7_altcat_52025-09-08 19:37 27K 
[ ]altcat_5__t7_altcat_5.vout2025-09-15 15:45 4.7K 
[ ]altcat_5__t8_altcat_52025-09-08 19:39 43K 
[ ]altcat_5__t8_altcat_5.vout2025-09-15 14:22 7.3K 
[ ]altcat_5__t9_altcat_52025-09-08 19:40 23K 
[ ]altcat_5__t9_altcat_5.depv12025-09-15 19:47 94  
[ ]altcat_5__t9_altcat_5.depvmin12025-09-15 19:51 94  
[ ]altcat_5__t9_altcat_5.vmin12025-09-15 19:47 2.3K 
[ ]altcat_5__t9_altcat_5.vmin1out2025-09-15 19:48 27K 
[ ]altcat_5__t9_altcat_5.vout2025-09-15 17:34 32K 
[ ]altcat_5__t10_altcat_52025-09-08 19:42 23K 
[ ]altcat_5__t10_altcat_5.depv12025-09-15 19:47 95  
[ ]altcat_5__t10_altcat_5.depvmin12025-09-15 19:51 95  
[ ]altcat_5__t10_altcat_5.vmin12025-09-15 19:47 2.2K 
[ ]altcat_5__t10_altcat_5.vmin1out2025-09-15 19:49 34K 
[ ]altcat_5__t10_altcat_5.vout2025-09-15 18:24 41K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80