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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]bintree1__t1_bintree12024-07-26 22:51 27K 
[ ]bintree1__t1_bintree1.depv12024-08-03 10:19 101  
[ ]bintree1__t1_bintree1.depvmin12024-08-03 10:24 101  
[ ]bintree1__t1_bintree1.vmin12024-08-03 10:19 1.0K 
[ ]bintree1__t1_bintree1.vmin1out2024-08-03 10:20 9.3K 
[ ]bintree1__t1_bintree1.vout2024-08-03 10:04 9.3K 
[ ]bintree1__t2_bintree12024-07-26 22:52 26K 
[ ]bintree1__t2_bintree1.depv12024-08-03 10:19 76  
[ ]bintree1__t2_bintree1.depvmin12024-08-03 10:24 76  
[ ]bintree1__t2_bintree1.vmin12024-08-03 10:19 1.2K 
[ ]bintree1__t2_bintree1.vmin1out2024-08-03 10:21 16K 
[ ]bintree1__t2_bintree1.vout2024-08-03 09:45 16K 
[ ]bintree1__t3_bintree12024-07-26 22:55 36K 
[ ]bintree1__t3_bintree1.vout2024-08-03 05:32 7.9K 
[ ]bintree1__t4_bintree12024-07-26 22:53 12K 
[ ]bintree1__t4_bintree1.depv12024-08-03 10:19 25  
[ ]bintree1__t4_bintree1.depvmin12024-08-03 10:24 25  
[ ]bintree1__t4_bintree1.vmin12024-08-03 10:19 219  
[ ]bintree1__t4_bintree1.vmin1out2024-08-03 10:23 1.6K 
[ ]bintree1__t4_bintree1.vout2024-08-03 10:17 1.4K 
[ ]bintree1__t5_bintree12024-07-26 22:54 13K 
[ ]bintree1__t5_bintree1.depv12024-08-03 10:19 25  
[ ]bintree1__t5_bintree1.depvmin12024-08-03 10:24 25  
[ ]bintree1__t5_bintree1.vmin12024-08-03 10:19 183  
[ ]bintree1__t5_bintree1.vmin1out2024-08-03 10:21 1.5K 
[ ]bintree1__t5_bintree1.vout2024-08-03 09:15 1.4K 
[ ]bintree1__t6_bintree12024-07-26 22:57 33K 
[ ]bintree1__t6_bintree1.vout2024-08-03 09:09 2.0K 
[ ]bintree1__t7_bintree12024-07-26 22:58 39K 
[ ]bintree1__t7_bintree1.vout2024-08-03 06:47 7.3K 
[ ]bintree1__t8_bintree12024-07-26 23:00 38K 
[ ]bintree1__t8_bintree1.vout2024-08-03 04:48 7.3K 
[ ]bintree1__t9_bintree12024-07-26 23:01 14K 
[ ]bintree1__t9_bintree1.vout2024-08-03 08:23 2.0K 
[ ]bintree1__t10_bintree12024-07-26 23:03 45K 
[ ]bintree1__t10_bintree1.vout2024-08-03 04:56 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80