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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]compact1__t1_compact12024-07-26 23:17 34K 
[ ]compact1__t1_compact1.vout2024-08-03 05:34 3.7K 
[ ]compact1__t2_compact12024-07-26 23:18 16K 
[ ]compact1__t2_compact1.depv12024-08-03 10:19 128  
[ ]compact1__t2_compact1.depvmin12024-08-03 10:24 128  
[ ]compact1__t2_compact1.vmin12024-08-03 10:19 1.3K 
[ ]compact1__t2_compact1.vmin1out2024-08-03 10:20 12K 
[ ]compact1__t2_compact1.vout2024-08-03 06:39 15K 
[ ]compact1__t3_compact12024-07-26 23:19 39K 
[ ]compact1__t3_compact1.vout2024-08-03 09:32 7.3K 
[ ]compact1__t4_compact12024-07-26 23:20 17K 
[ ]compact1__t4_compact1.depv12024-08-03 10:19 100  
[ ]compact1__t4_compact1.depvmin12024-08-03 10:24 90  
[ ]compact1__t4_compact1.vmin12024-08-03 10:19 951  
[ ]compact1__t4_compact1.vmin1out2024-08-03 10:23 9.8K 
[ ]compact1__t4_compact1.vout2024-08-03 04:55 9.6K 
[ ]compact1__t5_compact12024-07-26 23:21 20K 
[ ]compact1__t5_compact1.vout2024-08-03 06:42 3.7K 
[ ]compact1__t6_compact12024-07-26 23:23 39K 
[ ]compact1__t6_compact1.vout2024-08-03 09:06 4.2K 
[ ]compact1__t7_compact12024-07-26 23:24 33K 
[ ]compact1__t7_compact1.vout2024-08-03 05:21 4.2K 
[ ]compact1__t8_compact12024-07-26 23:26 42K 
[ ]compact1__t8_compact1.vout2024-08-03 08:31 3.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80