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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ami_2__l2_ami_22025-09-13 11:26 40K 
[ ]ami_2__l3_ami_22025-09-13 11:27 41K 
[ ]ami_2__l9_ami_22025-09-13 11:28 39K 
[ ]ami_2__l16_ami_22025-09-13 11:06 45K 
[ ]ami_2__l17_ami_22025-09-13 11:07 34K 
[ ]ami_2__l18_ami_22025-09-13 11:09 49K 
[ ]ami_2__l19_ami_22025-09-13 11:10 53K 
[ ]ami_2__t6_ami_22025-09-13 11:11 55K 
[ ]ami_2__t7_ami_22025-09-13 11:12 55K 
[ ]ami_2__t8_ami_22025-09-13 10:57 50K 
[ ]ami_2__t9_ami_22025-09-13 10:58 56K 
[ ]ami_2__t10_ami_22025-09-13 11:14 58K 
[ ]ami_2__t11_ami_22025-09-13 11:15 64K 
[ ]ami_2__t12_ami_22025-09-13 11:17 65K 
[ ]ami_2__t13_ami_22025-09-13 11:18 63K 
[ ]ami_2__t14_ami_22025-09-13 11:19 66K 
[ ]ami_2__t15_ami_22025-09-13 11:21 65K 
[ ]ami_2__t16_ami_22025-09-13 11:22 65K 
[ ]ami_2__t20_ami_22025-09-13 10:59 39K 
[ ]ami_2__t22_ami_22025-09-13 11:00 39K 
[ ]ami_2__t23_ami_22025-09-13 11:24 41K 
[ ]ami_2__t24_ami_22025-09-13 11:25 41K 
[ ]ami_2__t26_ami_22025-09-13 11:01 39K 
[ ]ami_2__t27_ami_22025-09-13 11:03 50K 
[ ]ami_2__t28_ami_22025-09-13 11:04 56K 
[ ]ami_2__t29_ami_22025-09-13 11:05 50K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80