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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]subset__t1_subset2024-07-27 03:39 1.0K 
[ ]subset__t1_subset.depv12024-08-03 10:19 31  
[ ]subset__t1_subset.depvmin12024-08-03 10:24 31  
[ ]subset__t1_subset.vmin12024-08-03 10:19 373  
[ ]subset__t1_subset.vmin1out2024-08-03 10:23 3.3K 
[ ]subset__t1_subset.vout2024-08-03 05:45 3.3K 
[ ]subset__t2_subset2024-07-27 03:40 1.0K 
[ ]subset__t2_subset.depv12024-08-03 10:19 22  
[ ]subset__t2_subset.depvmin12024-08-03 10:24 22  
[ ]subset__t2_subset.vmin12024-08-03 10:19 304  
[ ]subset__t2_subset.vmin1out2024-08-03 10:20 3.1K 
[ ]subset__t2_subset.vout2024-08-03 04:10 3.1K 
[ ]subset__t3_subset2024-07-27 03:40 2.4K 
[ ]subset__t3_subset.depv12024-08-03 10:19 47  
[ ]subset__t3_subset.depvmin12024-08-03 10:24 47  
[ ]subset__t3_subset.vmin12024-08-03 10:19 497  
[ ]subset__t3_subset.vmin1out2024-08-03 10:23 7.9K 
[ ]subset__t3_subset.vout2024-08-03 06:40 7.9K 
[ ]subset__t4_subset2024-07-27 03:41 2.5K 
[ ]subset__t4_subset.depv12024-08-03 10:19 74  
[ ]subset__t4_subset.depvmin12024-08-03 10:24 74  
[ ]subset__t4_subset.vmin12024-08-03 10:19 740  
[ ]subset__t4_subset.vmin1out2024-08-03 10:22 6.8K 
[ ]subset__t4_subset.vout2024-08-03 06:16 9.3K 
[ ]subset__t5_subset2024-07-27 03:40 2.0K 
[ ]subset__t5_subset.depv12024-08-03 10:19 41  
[ ]subset__t5_subset.depvmin12024-08-03 10:24 41  
[ ]subset__t5_subset.vmin12024-08-03 10:19 432  
[ ]subset__t5_subset.vmin1out2024-08-03 10:20 3.7K 
[ ]subset__t5_subset.vout2024-08-03 05:59 3.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80