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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]osalg_4__t1_osalg_42025-09-12 00:43 47K 
[ ]osalg_4__t2_osalg_42025-09-12 00:45 64K 
[ ]osalg_4__t3_osalg_42025-09-12 00:46 41K 
[ ]osalg_4__t4_osalg_42025-09-12 00:48 49K 
[ ]osalg_4__t5_osalg_42025-09-12 00:49 50K 
[ ]osalg_4__t6_osalg_42025-09-12 00:51 171K 
[ ]osalg_4__t7_osalg_42025-09-12 00:52 49K 
[ ]osalg_4__t8_osalg_42025-09-12 00:54 49K 
[ ]osalg_4__t9_osalg_42025-09-12 00:39 32K 
[ ]osalg_4__t10_osalg_42025-09-12 00:56 66K 
[ ]osalg_4__t11_osalg_42025-09-12 00:57 50K 
[ ]osalg_4__t12_osalg_42025-09-12 00:59 73K 
[ ]osalg_4__t13_osalg_42025-09-12 00:41 65K 
[ ]osalg_4__t14_osalg_42025-09-12 01:02 101K 
[ ]osalg_4__t15_osalg_42025-09-12 01:05 137K 
[ ]osalg_4__t16_osalg_42025-09-12 01:07 83K 
[ ]osalg_4__t17_osalg_42025-09-12 01:11 147K 
[ ]osalg_4__t18_osalg_42025-09-12 01:13 108K 
[ ]osalg_4__t19_osalg_42025-09-12 01:15 72K 
[ ]osalg_4__t20_osalg_42025-09-12 01:17 62K 
[ ]osalg_4__t21_osalg_42025-09-12 01:20 78K 
[ ]osalg_4__t22_osalg_42025-09-12 01:22 75K 
[ ]osalg_4__t23_osalg_42025-09-12 01:24 79K 
[ ]osalg_4__t24_osalg_42025-09-12 01:26 103K 
[ ]osalg_4__t25_osalg_42025-09-12 01:29 138K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80