Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/jordan1f
Name
Last modified
Size
Description
Parent Directory
-
jordan1f__t1_jordan1f
2024-07-28 18:20
76K
jordan1f__t1_jordan1f.vout
2024-08-03 08:08
7.3K
jordan1f__t2_jordan1f
2024-07-28 18:23
76K
jordan1f__t2_jordan1f.vout
2024-08-03 07:48
6.8K
jordan1f__t3_jordan1f
2024-07-28 18:26
76K
jordan1f__t3_jordan1f.vout
2024-08-03 04:26
6.8K
jordan1f__t4_jordan1f
2024-07-28 18:29
76K
jordan1f__t4_jordan1f.vout
2024-08-03 08:23
6.8K
jordan1f__t5_jordan1f
2024-07-28 18:31
45K
jordan1f__t5_jordan1f.vout
2024-08-03 04:18
3.2K
jordan1f__t6_jordan1f
2024-07-28 18:34
44K
jordan1f__t6_jordan1f.vout
2024-08-03 10:10
3.2K
jordan1f__t7_jordan1f
2024-07-28 18:36
47K
jordan1f__t7_jordan1f.vout
2024-08-03 08:31
3.2K
jordan1f__t8_jordan1f
2024-07-28 18:38
46K
jordan1f__t8_jordan1f.vout
2024-08-03 07:10
3.2K
jordan1f__t9_jordan1f
2024-07-28 18:40
59K
jordan1f__t9_jordan1f.vout
2024-08-03 04:21
4.1K
jordan1f__t10_jordan1f
2024-07-28 18:43
59K
jordan1f__t10_jordan1f.vout
2024-08-03 09:22
4.7K
jordan1f__t11_jordan1f
2024-07-28 18:45
57K
jordan1f__t11_jordan1f.vout
2024-08-03 10:05
4.7K
jordan1f__t12_jordan1f
2024-07-28 18:48
96K
jordan1f__t12_jordan1f.vout
2024-08-03 06:21
4.7K
jordan1f__t13_jordan1f
2024-07-28 18:51
180K
jordan1f__t13_jordan1f.vout
2024-08-03 08:47
6.8K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80