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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]amistd_5__l18_amistd_52025-09-12 06:42 151K 
[ ]amistd_5__t1_amistd_52025-09-12 06:13 27K 
[ ]amistd_5__t2_amistd_52025-09-12 06:15 88K 
[ ]amistd_5__t3_amistd_52025-09-12 06:16 60K 
[ ]amistd_5__t4_amistd_52025-09-12 06:18 74K 
[ ]amistd_5__t5_amistd_52025-09-12 06:20 88K 
[ ]amistd_5__t6_amistd_52025-09-12 06:21 65K 
[ ]amistd_5__t7_amistd_52025-09-12 06:23 62K 
[ ]amistd_5__t8_amistd_52025-09-12 06:25 119K 
[ ]amistd_5__t9_amistd_52025-09-12 06:27 134K 
[ ]amistd_5__t10_amistd_52025-09-12 06:30 130K 
[ ]amistd_5__t11_amistd_52025-09-12 06:32 113K 
[ ]amistd_5__t12_amistd_52025-09-12 06:34 92K 
[ ]amistd_5__t13_amistd_52025-09-12 06:36 124K 
[ ]amistd_5__t14_amistd_52025-09-12 06:38 108K 
[ ]amistd_5__t15_amistd_52025-09-12 06:40 56K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80