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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]trees_a__t1_trees_a2024-07-28 21:17 10K 
[ ]trees_a__t1_trees_a.depv12024-08-03 10:19 48  
[ ]trees_a__t1_trees_a.depvmin12024-08-03 10:24 48  
[ ]trees_a__t1_trees_a.vmin12024-08-03 10:19 1.2K 
[ ]trees_a__t1_trees_a.vmin1out2024-08-03 10:22 31K 
[ ]trees_a__t1_trees_a.vout2024-08-03 08:25 34K 
[ ]trees_a__t2_trees_a2024-07-28 21:23 18K 
[ ]trees_a__t2_trees_a.vout2024-08-03 09:10 7.3K 
[ ]trees_a__t3_trees_a2024-07-28 21:24 13K 
[ ]trees_a__t3_trees_a.depv12024-08-03 10:19 79  
[ ]trees_a__t3_trees_a.depvmin12024-08-03 10:24 79  
[ ]trees_a__t3_trees_a.vmin12024-08-03 10:19 1.0K 
[ ]trees_a__t3_trees_a.vmin1out2024-08-03 10:22 25K 
[ ]trees_a__t3_trees_a.vout2024-08-03 08:25 25K 
[ ]trees_a__t4_trees_a2024-07-28 21:24 13K 
[ ]trees_a__t4_trees_a.depv12024-08-03 10:19 189  
[ ]trees_a__t4_trees_a.depvmin12024-08-03 10:24 189  
[ ]trees_a__t4_trees_a.vmin12024-08-03 10:19 1.9K 
[ ]trees_a__t4_trees_a.vmin1out2024-08-03 10:21 37K 
[ ]trees_a__t4_trees_a.vout2024-08-03 10:07 36K 
[ ]trees_a__t5_trees_a2024-07-28 21:25 14K 
[ ]trees_a__t5_trees_a.depv12024-08-03 10:19 177  
[ ]trees_a__t5_trees_a.depvmin12024-08-03 10:24 177  
[ ]trees_a__t5_trees_a.vmin12024-08-03 10:19 1.7K 
[ ]trees_a__t5_trees_a.vmin1out2024-08-03 10:22 41K 
[ ]trees_a__t5_trees_a.vout2024-08-03 06:17 48K 
[ ]trees_a__t6_trees_a2024-07-28 21:26 15K 
[ ]trees_a__t6_trees_a.vout2024-08-03 07:50 7.3K 
[ ]trees_a__t7_trees_a2024-07-28 21:27 20K 
[ ]trees_a__t7_trees_a.vout2024-08-03 04:08 3.7K 
[ ]trees_a__t8_trees_a2024-07-28 21:18 18K 
[ ]trees_a__t8_trees_a.vout2024-08-03 08:13 7.3K 
[ ]trees_a__t9_trees_a2024-07-28 21:19 16K 
[ ]trees_a__t9_trees_a.vout2024-08-03 04:36 4.1K 
[ ]trees_a__t10_trees_a2024-07-28 21:19 17K 
[ ]trees_a__t10_trees_a.depv12024-08-03 10:19 37  
[ ]trees_a__t10_trees_a.depvmin12024-08-03 10:24 37  
[ ]trees_a__t10_trees_a.vmin12024-08-03 10:19 1.9K 
[ ]trees_a__t10_trees_a.vmin1out2024-08-03 10:22 67K 
[ ]trees_a__t10_trees_a.vout2024-08-03 05:02 146K 
[ ]trees_a__t11_trees_a2024-07-28 21:20 17K 
[ ]trees_a__t11_trees_a.vout2024-08-03 06:32 7.3K 
[ ]trees_a__t12_trees_a2024-07-28 21:28 18K 
[ ]trees_a__t12_trees_a.vout2024-08-03 05:11 7.3K 
[ ]trees_a__t13_trees_a2024-07-28 21:29 17K 
[ ]trees_a__t13_trees_a.depv12024-08-03 10:19 176  
[ ]trees_a__t13_trees_a.depvmin12024-08-03 10:24 161  
[ ]trees_a__t13_trees_a.vmin12024-08-03 10:19 2.5K 
[ ]trees_a__t13_trees_a.vmin1out2024-08-03 10:20 25K 
[ ]trees_a__t13_trees_a.vout2024-08-03 09:50 34K 
[ ]trees_a__t14_trees_a2024-07-28 21:30 19K 
[ ]trees_a__t14_trees_a.vout2024-08-03 05:21 6.8K 
[ ]trees_a__t15_trees_a2024-07-28 21:31 17K 
[ ]trees_a__t15_trees_a.vout2024-08-03 09:11 6.8K 
[ ]trees_a__t16_trees_a2024-07-28 21:22 29K 
[ ]trees_a__t16_trees_a.vout2024-08-03 06:11 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80