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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]petri__t1_petri2025-09-12 08:01 20K 
[ ]petri__t2_petri2025-09-12 08:02 19K 
[ ]petri__t3_petri2025-09-12 08:03 20K 
[ ]petri__t4_petri2025-09-12 08:04 19K 
[ ]petri__t5_petri2025-09-12 08:05 20K 
[ ]petri__t6_petri2025-09-12 08:06 19K 
[ ]petri__t7_petri2025-09-12 08:07 20K 
[ ]petri__t8_petri2025-09-12 08:08 19K 
[ ]petri__t9_petri2025-09-12 08:09 18K 
[ ]petri__t10_petri2025-09-12 08:10 18K 
[ ]petri__t11_petri2025-09-12 08:11 18K 
[ ]petri__t12_petri2025-09-12 08:12 18K 
[ ]petri__t13_petri2025-09-12 07:59 18K 
[ ]petri__t14_petri2025-09-12 08:00 20K 
[ ]petri__t15_petri2025-09-12 08:13 27K 
[ ]petri__t16_petri2025-09-12 08:14 27K 
[ ]petri__t17_petri2025-09-12 08:15 25K 
[ ]petri__t18_petri2025-09-12 08:16 25K 
[ ]petri__t19_petri2025-09-12 08:17 24K 
[ ]petri__t20_petri2025-09-12 08:18 24K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80