Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/jordan19
Name
Last modified
Size
Description
Parent Directory
-
jordan19__l5_jordan19
2025-09-13 10:00
79K
jordan19__l6_jordan19
2025-09-13 10:03
380K
jordan19__t1_jordan19
2025-09-13 08:24
74K
jordan19__t2_jordan19
2025-09-13 08:27
475K
jordan19__t3_jordan19
2025-09-13 08:31
428K
jordan19__t4_jordan19
2025-09-13 08:34
91K
jordan19__t5_jordan19
2025-09-13 08:36
98K
jordan19__t6_jordan19
2025-09-13 08:39
142K
jordan19__t7_jordan19
2025-09-13 08:41
53K
jordan19__t8_jordan19
2025-09-13 08:44
138K
jordan19__t9_jordan19
2025-09-13 08:46
138K
jordan19__t10_jordan19
2025-09-13 08:49
138K
jordan19__t11_jordan19
2025-09-13 08:52
138K
jordan19__t12_jordan19
2025-09-13 08:57
499K
jordan19__t13_jordan19
2025-09-13 09:03
499K
jordan19__t14_jordan19
2025-09-13 09:05
101K
jordan19__t15_jordan19
2025-09-13 09:08
101K
jordan19__t16_jordan19
2025-09-13 09:11
99K
jordan19__t17_jordan19
2025-09-13 09:13
99K
jordan19__t18_jordan19
2025-09-13 09:16
94K
jordan19__t19_jordan19
2025-09-13 09:19
94K
jordan19__t20_jordan19
2025-09-13 09:24
511K
jordan19__t21_jordan19
2025-09-13 09:30
511K
jordan19__t22_jordan19
2025-09-13 09:35
511K
jordan19__t23_jordan19
2025-09-13 09:41
511K
jordan19__t24_jordan19
2025-09-13 09:45
180K
jordan19__t25_jordan19
2025-09-13 09:49
180K
jordan19__t26_jordan19
2025-09-13 09:55
1.0M
jordan19__t27_jordan19
2025-09-13 09:58
210K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80