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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ami_6__l15_ami_62025-09-13 09:05 89K 
[ ]ami_6__l24_ami_62025-09-13 07:51 73K 
[ ]ami_6__t1_ami_62025-09-13 07:54 91K 
[ ]ami_6__t2_ami_62025-09-13 07:49 78K 
[ ]ami_6__t3_ami_62025-09-13 07:57 100K 
[ ]ami_6__t4_ami_62025-09-13 08:00 85K 
[ ]ami_6__t5_ami_62025-09-13 08:03 85K 
[ ]ami_6__t6_ami_62025-09-13 08:05 85K 
[ ]ami_6__t7_ami_62025-09-13 08:08 85K 
[ ]ami_6__t8_ami_62025-09-13 08:11 85K 
[ ]ami_6__t9_ami_62025-09-13 08:14 93K 
[ ]ami_6__t10_ami_62025-09-13 08:17 101K 
[ ]ami_6__t11_ami_62025-09-13 08:20 101K 
[ ]ami_6__t12_ami_62025-09-13 08:23 94K 
[ ]ami_6__t13_ami_62025-09-13 08:26 95K 
[ ]ami_6__t14_ami_62025-09-13 08:29 95K 
[ ]ami_6__t15_ami_62025-09-13 08:32 103K 
[ ]ami_6__t16_ami_62025-09-13 08:35 89K 
[ ]ami_6__t17_ami_62025-09-13 08:38 377K 
[ ]ami_6__t18_ami_62025-09-13 08:41 98K 
[ ]ami_6__t19_ami_62025-09-13 08:44 409K 
[ ]ami_6__t20_ami_62025-09-13 08:47 98K 
[ ]ami_6__t21_ami_62025-09-13 08:51 508K 
[ ]ami_6__t22_ami_62025-09-13 08:54 107K 
[ ]ami_6__t23_ami_62025-09-13 08:56 129K 
[ ]ami_6__t24_ami_62025-09-13 09:00 136K 
[ ]ami_6__t25_ami_62025-09-13 09:03 136K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80