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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ami_wstd__l6_ami_wstd2025-09-11 17:51 97K 
[ ]ami_wstd__l9_ami_wstd2025-09-11 17:54 114K 
[ ]ami_wstd__l10_ami_wstd2025-09-11 17:56 114K 
[ ]ami_wstd__l47_ami_wstd2025-09-11 17:58 73K 
[ ]ami_wstd__t1_ami_wstd2025-09-11 16:43 138K 
[ ]ami_wstd__t2_ami_wstd2025-09-11 16:46 102K 
[ ]ami_wstd__t3_ami_wstd2025-09-11 16:49 230K 
[ ]ami_wstd__t4_ami_wstd2025-09-11 16:52 94K 
[ ]ami_wstd__t5_ami_wstd2025-09-11 16:54 99K 
[ ]ami_wstd__t6_ami_wstd2025-09-11 16:56 99K 
[ ]ami_wstd__t7_ami_wstd2025-09-11 16:58 35K 
[ ]ami_wstd__t8_ami_wstd2025-09-11 17:00 96K 
[ ]ami_wstd__t9_ami_wstd2025-09-11 17:03 91K 
[ ]ami_wstd__t10_ami_wstd2025-09-11 17:05 92K 
[ ]ami_wstd__t11_ami_wstd2025-09-11 16:33 39K 
[ ]ami_wstd__t12_ami_wstd2025-09-11 17:07 46K 
[ ]ami_wstd__t13_ami_wstd2025-09-11 16:35 39K 
[ ]ami_wstd__t14_ami_wstd2025-09-11 16:37 40K 
[ ]ami_wstd__t15_ami_wstd2025-09-11 17:08 46K 
[ ]ami_wstd__t16_ami_wstd2025-09-11 17:10 48K 
[ ]ami_wstd__t17_ami_wstd2025-09-11 17:13 118K 
[ ]ami_wstd__t18_ami_wstd2025-09-11 17:15 105K 
[ ]ami_wstd__t19_ami_wstd2025-09-11 17:18 96K 
[ ]ami_wstd__t20_ami_wstd2025-09-11 17:20 94K 
[ ]ami_wstd__t21_ami_wstd2025-09-11 17:22 95K 
[ ]ami_wstd__t22_ami_wstd2025-09-11 17:25 83K 
[ ]ami_wstd__t23_ami_wstd2025-09-11 16:39 69K 
[ ]ami_wstd__t24_ami_wstd2025-09-11 17:27 88K 
[ ]ami_wstd__t25_ami_wstd2025-09-11 17:29 104K 
[ ]ami_wstd__t26_ami_wstd2025-09-11 17:32 102K 
[ ]ami_wstd__t27_ami_wstd2025-09-11 17:34 100K 
[ ]ami_wstd__t28_ami_wstd2025-09-11 17:36 53K 
[ ]ami_wstd__t29_ami_wstd2025-09-11 17:38 101K 
[ ]ami_wstd__t30_ami_wstd2025-09-11 17:41 99K 
[ ]ami_wstd__t31_ami_wstd2025-09-11 17:43 97K 
[ ]ami_wstd__t32_ami_wstd2025-09-11 17:45 108K 
[ ]ami_wstd__t33_ami_wstd2025-09-11 17:47 100K 
[ ]ami_wstd__t34_ami_wstd2025-09-11 16:41 37K 
[ ]ami_wstd__t35_ami_wstd2025-09-11 17:49 41K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80