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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]ami_4__l1_ami_42025-09-13 15:36 41K 
[   ]ami_4__l2_ami_42025-09-13 15:37 41K 
[   ]ami_4__l5_ami_42025-09-13 15:58 68K 
[   ]ami_4__l11_ami_42025-09-13 16:00 93K 
[   ]ami_4__l12_ami_42025-09-13 16:02 89K 
[   ]ami_4__l13_ami_42025-09-13 16:04 118K 
[   ]ami_4__t1_ami_42025-09-13 15:39 62K 
[   ]ami_4__t2_ami_42025-09-13 15:41 77K 
[   ]ami_4__t3_ami_42025-09-13 15:43 77K 
[   ]ami_4__t4_ami_42025-09-13 15:44 75K 
[   ]ami_4__t5_ami_42025-09-13 15:46 80K 
[   ]ami_4__t6_ami_42025-09-13 15:48 76K 
[   ]ami_4__t7_ami_42025-09-13 15:50 119K 
[   ]ami_4__t8_ami_42025-09-13 15:52 69K 
[   ]ami_4__t9_ami_42025-09-13 15:53 67K 
[   ]ami_4__t10_ami_42025-09-13 15:56 491K 

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