Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/petri

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]petri__t1_petri2025-09-08 17:34 13K 
[   ]petri__t1_petri.vout2025-09-15 18:30 7.2K 
[   ]petri__t2_petri2025-09-08 17:21 12K 
[   ]petri__t2_petri.depv12025-09-15 19:46 300  
[   ]petri__t2_petri.depvmin12025-09-15 19:51 191  
[   ]petri__t2_petri.vmin12025-09-15 19:47 3.4K 
[   ]petri__t2_petri.vmin1out2025-09-15 19:49 64K 
[   ]petri__t2_petri.vout2025-09-15 14:38 57K 
[   ]petri__t3_petri2025-09-08 17:35 13K 
[   ]petri__t3_petri.vout2025-09-15 19:02 7.3K 
[   ]petri__t4_petri2025-09-08 17:22 12K 
[   ]petri__t4_petri.depv12025-09-15 19:46 229  
[   ]petri__t4_petri.depvmin12025-09-15 19:51 201  
[   ]petri__t4_petri.vmin12025-09-15 19:47 3.0K 
[   ]petri__t4_petri.vmin1out2025-09-15 19:48 46K 
[   ]petri__t4_petri.vout2025-09-15 18:58 69K 
[   ]petri__t5_petri2025-09-08 17:36 13K 
[   ]petri__t5_petri.vout2025-09-15 15:44 7.2K 
[   ]petri__t6_petri2025-09-08 17:23 12K 
[   ]petri__t6_petri.depv12025-09-15 19:46 268  
[   ]petri__t6_petri.depvmin12025-09-15 19:51 214  
[   ]petri__t6_petri.vmin12025-09-15 19:47 3.2K 
[   ]petri__t6_petri.vmin1out2025-09-15 19:48 46K 
[   ]petri__t6_petri.vout2025-09-15 18:18 55K 
[   ]petri__t7_petri2025-09-08 17:37 13K 
[   ]petri__t7_petri.vout2025-09-15 18:49 7.3K 
[   ]petri__t8_petri2025-09-08 17:24 12K 
[   ]petri__t8_petri.depv12025-09-15 19:46 268  
[   ]petri__t8_petri.depvmin12025-09-15 19:51 214  
[   ]petri__t8_petri.vmin12025-09-15 19:47 3.2K 
[   ]petri__t8_petri.vmin1out2025-09-15 19:48 46K 
[   ]petri__t8_petri.vout2025-09-15 19:36 55K 
[   ]petri__t9_petri2025-09-08 17:25 11K 
[   ]petri__t9_petri.depv12025-09-15 19:46 132  
[   ]petri__t9_petri.depvmin12025-09-15 19:51 132  
[   ]petri__t9_petri.vmin12025-09-15 19:47 1.5K 
[   ]petri__t9_petri.vmin1out2025-09-15 19:47 22K 
[   ]petri__t9_petri.vout2025-09-15 14:48 18K 
[   ]petri__t10_petri2025-09-08 17:25 11K 
[   ]petri__t10_petri.depv12025-09-15 19:46 133  
[   ]petri__t10_petri.depvmin12025-09-15 19:51 133  
[   ]petri__t10_petri.vmin12025-09-15 19:47 1.5K 
[   ]petri__t10_petri.vmin1out2025-09-15 19:51 22K 
[   ]petri__t10_petri.vout2025-09-15 15:41 18K 
[   ]petri__t11_petri2025-09-08 17:26 11K 
[   ]petri__t11_petri.depv12025-09-15 19:46 133  
[   ]petri__t11_petri.depvmin12025-09-15 19:51 133  
[   ]petri__t11_petri.vmin12025-09-15 19:47 1.5K 
[   ]petri__t11_petri.vmin1out2025-09-15 19:50 22K 
[   ]petri__t11_petri.vout2025-09-15 15:23 18K 
[   ]petri__t12_petri2025-09-08 17:27 11K 
[   ]petri__t12_petri.depv12025-09-15 19:46 133  
[   ]petri__t12_petri.depvmin12025-09-15 19:51 133  
[   ]petri__t12_petri.vmin12025-09-15 19:47 1.5K 
[   ]petri__t12_petri.vmin1out2025-09-15 19:51 22K 
[   ]petri__t12_petri.vout2025-09-15 17:19 18K 
[   ]petri__t13_petri2025-09-08 17:19 11K 
[   ]petri__t13_petri.depv12025-09-15 19:46 172  
[   ]petri__t13_petri.depvmin12025-09-15 19:51 172  
[   ]petri__t13_petri.vmin12025-09-15 19:47 1.8K 
[   ]petri__t13_petri.vmin1out2025-09-15 19:47 19K 
[   ]petri__t13_petri.vout2025-09-15 15:17 47K 
[   ]petri__t14_petri2025-09-08 17:20 12K 
[   ]petri__t14_petri.depv12025-09-15 19:46 318  
[   ]petri__t14_petri.depvmin12025-09-15 19:51 229  
[   ]petri__t14_petri.vmin12025-09-15 19:47 3.5K 
[   ]petri__t14_petri.vmin1out2025-09-15 19:49 28K 
[   ]petri__t14_petri.vout2025-09-15 19:06 48K 
[   ]petri__t15_petri2025-09-08 17:28 17K 
[   ]petri__t15_petri.vout2025-09-15 16:58 7.3K 
[   ]petri__t16_petri2025-09-08 17:29 17K 
[   ]petri__t16_petri.vout2025-09-15 16:58 7.3K 
[   ]petri__t17_petri2025-09-08 17:30 16K 
[   ]petri__t17_petri.depv12025-09-15 19:46 95  
[   ]petri__t17_petri.depvmin12025-09-15 19:51 95  
[   ]petri__t17_petri.vmin12025-09-15 19:47 2.2K 
[   ]petri__t17_petri.vmin1out2025-09-15 19:50 35K 
[   ]petri__t17_petri.vout2025-09-15 14:23 37K 
[   ]petri__t18_petri2025-09-08 17:31 16K 
[   ]petri__t18_petri.depv12025-09-15 19:46 95  
[   ]petri__t18_petri.depvmin12025-09-15 19:51 95  
[   ]petri__t18_petri.vmin12025-09-15 19:47 2.2K 
[   ]petri__t18_petri.vmin1out2025-09-15 19:47 35K 
[   ]petri__t18_petri.vout2025-09-15 14:08 37K 
[   ]petri__t19_petri2025-09-08 17:32 15K 
[   ]petri__t19_petri.vout2025-09-15 19:18 7.2K 
[   ]petri__t20_petri2025-09-08 17:33 15K 
[   ]petri__t20_petri.vout2025-09-15 15:35 7.2K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80