Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/pua2mss1
Name
Last modified
Size
Description
Parent Directory
-
pua2mss1__l1_pua2mss1
2025-09-13 04:36
33K
pua2mss1__l2_pua2mss1
2025-09-13 04:37
53K
pua2mss1__l7_pua2mss1
2025-09-13 03:38
29K
pua2mss1__s1_pua2mss1
2025-09-13 03:39
46K
pua2mss1__s2_pua2mss1
2025-09-13 03:40
40K
pua2mss1__s3_pua2mss1
2025-09-13 03:42
44K
pua2mss1__s4_pua2mss1
2025-09-13 03:43
51K
pua2mss1__t1_pua2mss1
2025-09-13 03:44
33K
pua2mss1__t2_pua2mss1
2025-09-13 03:45
32K
pua2mss1__t4_pua2mss1
2025-09-13 03:47
55K
pua2mss1__t5_pua2mss1
2025-09-13 03:48
63K
pua2mss1__t6_pua2mss1
2025-09-13 03:49
35K
pua2mss1__t7_pua2mss1
2025-09-13 03:50
57K
pua2mss1__t8_pua2mss1
2025-09-13 03:52
48K
pua2mss1__t9_pua2mss1
2025-09-13 03:54
63K
pua2mss1__t10_pua2mss1
2025-09-13 03:55
63K
pua2mss1__t11_pua2mss1
2025-09-13 03:57
36K
pua2mss1__t12_pua2mss1
2025-09-13 03:58
45K
pua2mss1__t13_pua2mss1
2025-09-13 03:59
61K
pua2mss1__t14_pua2mss1
2025-09-13 04:01
38K
pua2mss1__t15_pua2mss1
2025-09-13 04:02
42K
pua2mss1__t16_pua2mss1
2025-09-13 04:03
50K
pua2mss1__t17_pua2mss1
2025-09-13 04:04
49K
pua2mss1__t18_pua2mss1
2025-09-13 04:05
48K
pua2mss1__t19_pua2mss1
2025-09-13 04:07
74K
pua2mss1__t20_pua2mss1
2025-09-13 04:09
66K
pua2mss1__t21_pua2mss1
2025-09-13 04:10
53K
pua2mss1__t22_pua2mss1
2025-09-13 04:12
50K
pua2mss1__t23_pua2mss1
2025-09-13 04:14
71K
pua2mss1__t24_pua2mss1
2025-09-13 04:16
101K
pua2mss1__t25_pua2mss1
2025-09-13 04:18
65K
pua2mss1__t26_pua2mss1
2025-09-13 04:19
90K
pua2mss1__t27_pua2mss1
2025-09-13 04:22
94K
pua2mss1__t28_pua2mss1
2025-09-13 04:23
73K
pua2mss1__t29_pua2mss1
2025-09-13 04:25
54K
pua2mss1__t30_pua2mss1
2025-09-13 04:26
54K
pua2mss1__t31_pua2mss1
2025-09-13 04:29
124K
pua2mss1__t32_pua2mss1
2025-09-13 04:31
96K
pua2mss1__t33_pua2mss1
2025-09-13 04:35
128K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80