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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]hahnban__l29_hahnban2025-09-11 20:34 135K 
[ ]hahnban__l30_hahnban2025-09-11 20:36 43K 
[ ]hahnban__l31_hahnban2025-09-11 20:37 49K 
[ ]hahnban__l32_hahnban2025-09-11 20:39 54K 
[ ]hahnban__l33_hahnban2025-09-11 20:41 54K 
[ ]hahnban__t1_hahnban2025-09-11 19:52 53K 
[ ]hahnban__t2_hahnban2025-09-11 19:54 45K 
[ ]hahnban__t3_hahnban2025-09-11 19:56 45K 
[ ]hahnban__t4_hahnban2025-09-11 19:57 45K 
[ ]hahnban__t5_hahnban2025-09-11 19:59 46K 
[ ]hahnban__t6_hahnban2025-09-11 20:00 45K 
[ ]hahnban__t7_hahnban2025-09-11 20:02 30K 
[ ]hahnban__t8_hahnban2025-09-11 20:03 45K 
[ ]hahnban__t9_hahnban2025-09-11 20:05 56K 
[ ]hahnban__t10_hahnban2025-09-11 20:07 47K 
[ ]hahnban__t11_hahnban2025-09-11 20:08 65K 
[ ]hahnban__t12_hahnban2025-09-11 20:10 50K 
[ ]hahnban__t13_hahnban2025-09-11 20:11 50K 
[ ]hahnban__t14_hahnban2025-09-11 20:13 28K 
[ ]hahnban__t15_hahnban2025-09-11 20:14 52K 
[ ]hahnban__t16_hahnban2025-09-11 20:16 62K 
[ ]hahnban__t17_hahnban2025-09-11 20:18 59K 
[ ]hahnban__t18_hahnban2025-09-11 20:20 45K 
[ ]hahnban__t19_hahnban2025-09-11 20:21 53K 
[ ]hahnban__t20_hahnban2025-09-11 20:23 75K 
[ ]hahnban__t21_hahnban2025-09-11 20:25 117K 
[ ]hahnban__t22_hahnban2025-09-11 20:28 100K 
[ ]hahnban__t23_hahnban2025-09-11 20:30 57K 
[ ]hahnban__t24_hahnban2025-09-11 20:32 56K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80