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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]ami_3__l2_ami_32025-09-12 02:04 72K 
[   ]ami_3__l21_ami_32025-09-12 02:07 177K 
[   ]ami_3__l22_ami_32025-09-12 02:10 126K 
[   ]ami_3__l23_ami_32025-09-12 02:12 179K 
[   ]ami_3__l24_ami_32025-09-12 02:15 180K 
[   ]ami_3__l25_ami_32025-09-12 02:17 180K 
[   ]ami_3__l26_ami_32025-09-12 02:20 194K 
[   ]ami_3__l27_ami_32025-09-12 02:22 180K 
[   ]ami_3__l28_ami_32025-09-12 02:25 263K 
[   ]ami_3__l29_ami_32025-09-12 02:28 267K 
[   ]ami_3__l30_ami_32025-09-12 02:31 267K 
[   ]ami_3__l31_ami_32025-09-12 02:34 81K 
[   ]ami_3__l32_ami_32025-09-12 02:36 83K 
[   ]ami_3__t1_ami_32025-09-12 00:52 72K 
[   ]ami_3__t2_ami_32025-09-12 01:40 141K 
[   ]ami_3__t3_ami_32025-09-12 01:43 141K 
[   ]ami_3__t4_ami_32025-09-12 01:46 238K 
[   ]ami_3__t5_ami_32025-09-12 01:49 141K 
[   ]ami_3__t6_ami_32025-09-12 01:51 141K 
[   ]ami_3__t7_ami_32025-09-12 01:54 138K 
[   ]ami_3__t8_ami_32025-09-12 01:57 141K 
[   ]ami_3__t9_ami_32025-09-12 02:00 151K 
[   ]ami_3__t10_ami_32025-09-12 00:54 74K 
[   ]ami_3__t11_ami_32025-09-12 00:56 79K 
[   ]ami_3__t12_ami_32025-09-12 00:59 74K 
[   ]ami_3__t13_ami_32025-09-12 01:01 74K 
[   ]ami_3__t14_ami_32025-09-12 01:03 178K 
[   ]ami_3__t15_ami_32025-09-12 01:06 74K 
[   ]ami_3__t16_ami_32025-09-12 01:08 74K 
[   ]ami_3__t17_ami_32025-09-12 01:10 74K 
[   ]ami_3__t18_ami_32025-09-12 01:13 74K 
[   ]ami_3__t19_ami_32025-09-12 01:15 74K 
[   ]ami_3__t20_ami_32025-09-12 01:17 74K 
[   ]ami_3__t21_ami_32025-09-12 01:19 73K 
[   ]ami_3__t22_ami_32025-09-12 01:22 74K 
[   ]ami_3__t23_ami_32025-09-12 01:24 74K 
[   ]ami_3__t24_ami_32025-09-12 01:26 83K 
[   ]ami_3__t25_ami_32025-09-12 01:29 76K 
[   ]ami_3__t26_ami_32025-09-12 01:31 75K 
[   ]ami_3__t27_ami_32025-09-12 02:02 77K 
[   ]ami_3__t28_ami_32025-09-12 01:33 75K 
[   ]ami_3__t29_ami_32025-09-12 01:35 75K 
[   ]ami_3__t30_ami_32025-09-12 01:37 67K 

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