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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]petri_2__l6_petri_22024-07-27 12:55 10K 
[ ]petri_2__l6_petri_2.vout2024-08-03 06:39 3.7K 
[ ]petri_2__l7_petri_22024-07-27 12:55 20K 
[ ]petri_2__l7_petri_2.vout2024-08-03 07:23 6.8K 
[ ]petri_2__l8_petri_22024-07-27 12:56 21K 
[ ]petri_2__l8_petri_2.vout2024-08-03 09:57 6.8K 
[ ]petri_2__l9_petri_22024-07-27 12:58 18K 
[ ]petri_2__l9_petri_2.vout2024-08-03 10:13 6.8K 
[ ]petri_2__l23_petri_22024-07-27 12:57 8.1K 
[ ]petri_2__l23_petri_2.depv12024-08-03 10:19 142  
[ ]petri_2__l23_petri_2.depvmin12024-08-03 10:24 133  
[ ]petri_2__l23_petri_2.vmin12024-08-03 10:19 2.2K 
[ ]petri_2__l23_petri_2.vmin1out2024-08-03 10:22 58K 
[ ]petri_2__l23_petri_2.vout2024-08-03 09:31 49K 
[ ]petri_2__l24_petri_22024-07-27 12:58 11K 
[ ]petri_2__l24_petri_2.depv12024-08-03 10:19 191  
[ ]petri_2__l24_petri_2.depvmin12024-08-03 10:24 191  
[ ]petri_2__l24_petri_2.vmin12024-08-03 10:19 1.5K 
[ ]petri_2__l24_petri_2.vmin1out2024-08-03 10:23 27K 
[ ]petri_2__l24_petri_2.vout2024-08-03 05:13 29K 
[ ]petri_2__t1_petri_22024-07-27 12:54 18K 
[ ]petri_2__t1_petri_2.vout2024-08-03 05:15 7.8K 
[ ]petri_2__t2_petri_22024-07-27 12:49 18K 
[ ]petri_2__t2_petri_2.vout2024-08-03 07:33 7.3K 
[ ]petri_2__t3_petri_22024-07-27 12:50 19K 
[ ]petri_2__t3_petri_2.vout2024-08-03 08:07 7.3K 
[ ]petri_2__t4_petri_22024-07-27 12:51 19K 
[ ]petri_2__t4_petri_2.vout2024-08-03 09:09 7.3K 
[ ]petri_2__t5_petri_22024-07-27 12:52 25K 
[ ]petri_2__t5_petri_2.vout2024-08-03 10:08 7.3K 
[ ]petri_2__t6_petri_22024-07-27 12:48 25K 
[ ]petri_2__t6_petri_2.vout2024-08-03 09:23 7.3K 
[ ]petri_2__t7_petri_22024-07-27 12:53 23K 
[ ]petri_2__t7_petri_2.vout2024-08-03 05:56 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80