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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]henmodel__l11_henmodel2025-09-12 03:21 41K 
[   ]henmodel__t1_henmodel2025-09-12 02:52 47K 
[   ]henmodel__t2_henmodel2025-09-12 02:53 51K 
[   ]henmodel__t3_henmodel2025-09-12 02:55 47K 
[   ]henmodel__t4_henmodel2025-09-12 02:56 50K 
[   ]henmodel__t5_henmodel2025-09-12 02:57 49K 
[   ]henmodel__t6_henmodel2025-09-12 02:59 56K 
[   ]henmodel__t7_henmodel2025-09-12 03:00 54K 
[   ]henmodel__t8_henmodel2025-09-12 03:03 129K 
[   ]henmodel__t9_henmodel2025-09-12 03:05 137K 
[   ]henmodel__t10_henmodel2025-09-12 03:08 137K 
[   ]henmodel__t11_henmodel2025-09-12 03:10 68K 
[   ]henmodel__t12_henmodel2025-09-12 03:11 63K 
[   ]henmodel__t13_henmodel2025-09-12 03:13 43K 
[   ]henmodel__t14_henmodel2025-09-12 03:14 61K 
[   ]henmodel__t15_henmodel2025-09-12 03:16 104K 
[   ]henmodel__t16_henmodel2025-09-12 03:18 62K 
[   ]henmodel__t17_henmodel2025-09-12 03:20 76K 

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