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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]petri__t1_petri2024-07-27 00:07 13K 
[ ]petri__t1_petri.vout2024-08-03 05:21 7.3K 
[ ]petri__t2_petri2024-07-26 23:55 12K 
[ ]petri__t2_petri.depv12024-08-03 10:19 300  
[ ]petri__t2_petri.depvmin12024-08-03 10:24 191  
[ ]petri__t2_petri.vmin12024-08-03 10:19 3.4K 
[ ]petri__t2_petri.vmin1out2024-08-03 10:23 64K 
[ ]petri__t2_petri.vout2024-08-03 05:29 57K 
[ ]petri__t3_petri2024-07-27 00:08 13K 
[ ]petri__t3_petri.vout2024-08-03 04:18 7.3K 
[ ]petri__t4_petri2024-07-26 23:55 12K 
[ ]petri__t4_petri.depv12024-08-03 10:19 229  
[ ]petri__t4_petri.depvmin12024-08-03 10:24 201  
[ ]petri__t4_petri.vmin12024-08-03 10:19 3.0K 
[ ]petri__t4_petri.vmin1out2024-08-03 10:23 46K 
[ ]petri__t4_petri.vout2024-08-03 04:53 69K 
[ ]petri__t5_petri2024-07-27 00:09 13K 
[ ]petri__t5_petri.vout2024-08-03 09:01 7.3K 
[ ]petri__t6_petri2024-07-26 23:56 12K 
[ ]petri__t6_petri.depv12024-08-03 10:19 268  
[ ]petri__t6_petri.depvmin12024-08-03 10:24 214  
[ ]petri__t6_petri.vmin12024-08-03 10:19 3.2K 
[ ]petri__t6_petri.vmin1out2024-08-03 10:22 46K 
[ ]petri__t6_petri.vout2024-08-03 08:17 55K 
[ ]petri__t7_petri2024-07-27 00:09 13K 
[ ]petri__t7_petri.vout2024-08-03 04:46 7.2K 
[ ]petri__t8_petri2024-07-26 23:57 12K 
[ ]petri__t8_petri.depv12024-08-03 10:19 268  
[ ]petri__t8_petri.depvmin12024-08-03 10:24 214  
[ ]petri__t8_petri.vmin12024-08-03 10:19 3.2K 
[ ]petri__t8_petri.vmin1out2024-08-03 10:21 46K 
[ ]petri__t8_petri.vout2024-08-03 10:03 55K 
[ ]petri__t9_petri2024-07-26 23:58 11K 
[ ]petri__t9_petri.depv12024-08-03 10:19 132  
[ ]petri__t9_petri.depvmin12024-08-03 10:24 132  
[ ]petri__t9_petri.vmin12024-08-03 10:19 1.5K 
[ ]petri__t9_petri.vmin1out2024-08-03 10:23 22K 
[ ]petri__t9_petri.vout2024-08-03 09:17 18K 
[ ]petri__t10_petri2024-07-26 23:59 11K 
[ ]petri__t10_petri.depv12024-08-03 10:19 133  
[ ]petri__t10_petri.depvmin12024-08-03 10:24 133  
[ ]petri__t10_petri.vmin12024-08-03 10:19 1.5K 
[ ]petri__t10_petri.vmin1out2024-08-03 10:23 22K 
[ ]petri__t10_petri.vout2024-08-03 09:13 18K 
[ ]petri__t11_petri2024-07-27 00:00 11K 
[ ]petri__t11_petri.depv12024-08-03 10:19 133  
[ ]petri__t11_petri.depvmin12024-08-03 10:24 133  
[ ]petri__t11_petri.vmin12024-08-03 10:19 1.5K 
[ ]petri__t11_petri.vmin1out2024-08-03 10:20 22K 
[ ]petri__t11_petri.vout2024-08-03 08:31 18K 
[ ]petri__t12_petri2024-07-27 00:00 11K 
[ ]petri__t12_petri.depv12024-08-03 10:19 133  
[ ]petri__t12_petri.depvmin12024-08-03 10:24 133  
[ ]petri__t12_petri.vmin12024-08-03 10:19 1.5K 
[ ]petri__t12_petri.vmin1out2024-08-03 10:20 22K 
[ ]petri__t12_petri.vout2024-08-03 07:28 18K 
[ ]petri__t13_petri2024-07-26 23:53 11K 
[ ]petri__t13_petri.depv12024-08-03 10:19 172  
[ ]petri__t13_petri.depvmin12024-08-03 10:24 172  
[ ]petri__t13_petri.vmin12024-08-03 10:19 1.8K 
[ ]petri__t13_petri.vmin1out2024-08-03 10:22 19K 
[ ]petri__t13_petri.vout2024-08-03 09:40 47K 
[ ]petri__t14_petri2024-07-26 23:54 12K 
[ ]petri__t14_petri.depv12024-08-03 10:19 318  
[ ]petri__t14_petri.depvmin12024-08-03 10:24 229  
[ ]petri__t14_petri.vmin12024-08-03 10:19 3.5K 
[ ]petri__t14_petri.vmin1out2024-08-03 10:20 28K 
[ ]petri__t14_petri.vout2024-08-03 06:49 48K 
[ ]petri__t15_petri2024-07-27 00:01 17K 
[ ]petri__t15_petri.vout2024-08-03 10:15 7.3K 
[ ]petri__t16_petri2024-07-27 00:02 17K 
[ ]petri__t16_petri.vout2024-08-03 08:14 7.3K 
[ ]petri__t17_petri2024-07-27 00:03 16K 
[ ]petri__t17_petri.depv12024-08-03 10:19 95  
[ ]petri__t17_petri.depvmin12024-08-03 10:24 95  
[ ]petri__t17_petri.vmin12024-08-03 10:19 2.2K 
[ ]petri__t17_petri.vmin1out2024-08-03 10:22 35K 
[ ]petri__t17_petri.vout2024-08-03 06:37 37K 
[ ]petri__t18_petri2024-07-27 00:04 16K 
[ ]petri__t18_petri.depv12024-08-03 10:19 95  
[ ]petri__t18_petri.depvmin12024-08-03 10:24 95  
[ ]petri__t18_petri.vmin12024-08-03 10:19 2.2K 
[ ]petri__t18_petri.vmin1out2024-08-03 10:23 35K 
[ ]petri__t18_petri.vout2024-08-03 05:49 37K 
[ ]petri__t19_petri2024-07-27 00:05 15K 
[ ]petri__t19_petri.vout2024-08-03 06:34 7.2K 
[ ]petri__t20_petri2024-07-27 00:06 15K 
[ ]petri__t20_petri.vout2024-08-03 06:41 7.2K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80