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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]ami_5__l5_ami_52025-09-13 22:38 59K 
[   ]ami_5__t1_ami_52025-09-13 21:42 60K 
[   ]ami_5__t2_ami_52025-09-13 21:39 60K 
[   ]ami_5__t3_ami_52025-09-13 21:44 59K 
[   ]ami_5__t4_ami_52025-09-13 21:46 64K 
[   ]ami_5__t5_ami_52025-09-13 21:49 76K 
[   ]ami_5__t7_ami_52025-09-13 21:51 63K 
[   ]ami_5__t8_ami_52025-09-13 21:53 64K 
[   ]ami_5__t9_ami_52025-09-13 21:56 64K 
[   ]ami_5__t10_ami_52025-09-13 21:58 64K 
[   ]ami_5__t11_ami_52025-09-13 22:00 64K 
[   ]ami_5__t12_ami_52025-09-13 22:03 64K 
[   ]ami_5__t13_ami_52025-09-13 22:05 64K 
[   ]ami_5__t14_ami_52025-09-13 22:07 64K 
[   ]ami_5__t15_ami_52025-09-13 22:09 64K 
[   ]ami_5__t16_ami_52025-09-13 22:12 87K 
[   ]ami_5__t17_ami_52025-09-13 22:14 101K 
[   ]ami_5__t18_ami_52025-09-13 22:17 192K 
[   ]ami_5__t19_ami_52025-09-13 22:20 192K 
[   ]ami_5__t20_ami_52025-09-13 22:22 206K 
[   ]ami_5__t21_ami_52025-09-13 22:25 102K 
[   ]ami_5__t22_ami_52025-09-13 22:28 102K 
[   ]ami_5__t23_ami_52025-09-13 22:30 195K 
[   ]ami_5__t24_ami_52025-09-13 22:33 116K 
[   ]ami_5__t25_ami_52025-09-13 22:36 99K 

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