Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/jordan1i
Name
Last modified
Size
Description
Parent Directory
-
jordan1i__t1_jordan1i
2025-09-13 16:33
65K
jordan1i__t2_jordan1i
2025-09-13 16:35
58K
jordan1i__t3_jordan1i
2025-09-13 16:37
62K
jordan1i__t4_jordan1i
2025-09-13 16:39
116K
jordan1i__t5_jordan1i
2025-09-13 16:41
116K
jordan1i__t6_jordan1i
2025-09-13 16:44
322K
jordan1i__t7_jordan1i
2025-09-13 16:48
323K
jordan1i__t8_jordan1i
2025-09-13 16:51
323K
jordan1i__t9_jordan1i
2025-09-13 16:53
60K
jordan1i__t10_jordan1i
2025-09-13 16:55
60K
jordan1i__t11_jordan1i
2025-09-13 16:57
60K
jordan1i__t12_jordan1i
2025-09-13 16:59
60K
jordan1i__t13_jordan1i
2025-09-13 17:02
52K
jordan1i__t14_jordan1i
2025-09-13 17:04
52K
jordan1i__t15_jordan1i
2025-09-13 17:06
57K
jordan1i__t16_jordan1i
2025-09-13 17:08
57K
jordan1i__t17_jordan1i
2025-09-13 17:11
85K
jordan1i__t18_jordan1i
2025-09-13 17:13
85K
jordan1i__t19_jordan1i
2025-09-13 17:16
187K
jordan1i__t20_jordan1i
2025-09-13 17:19
187K
jordan1i__t21_jordan1i
2025-09-13 17:22
193K
jordan1i__t22_jordan1i
2025-09-13 17:25
193K
jordan1i__t23_jordan1i
2025-09-13 17:28
193K
jordan1i__t24_jordan1i
2025-09-13 17:31
193K
jordan1i__t25_jordan1i
2025-09-13 17:34
120K
jordan1i__t26_jordan1i
2025-09-13 17:37
215K
jordan1i__t27_jordan1i
2025-09-13 17:40
214K
jordan1i__t28_jordan1i
2025-09-13 17:43
298K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80