Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/anproj_9
Name
Last modified
Size
Description
Parent Directory
-
anproj_9__l8_anproj_9
2025-09-12 23:05
197K
anproj_9__l14_anproj_9
2025-09-12 23:08
145K
anproj_9__l15_anproj_9
2025-09-12 23:11
214K
anproj_9__l16_anproj_9
2025-09-12 23:14
170K
anproj_9__l17_anproj_9
2025-09-12 23:17
150K
anproj_9__l22_anproj_9
2025-09-12 23:19
73K
anproj_9__l30_anproj_9
2025-09-12 23:21
84K
anproj_9__l31_anproj_9
2025-09-12 23:24
89K
anproj_9__l32_anproj_9
2025-09-12 21:39
67K
anproj_9__l33_anproj_9
2025-09-12 21:42
69K
anproj_9__l45_anproj_9
2025-09-12 23:27
113K
anproj_9__t1_anproj_9
2025-09-12 21:44
70K
anproj_9__t2_anproj_9
2025-09-12 21:46
65K
anproj_9__t3_anproj_9
2025-09-12 21:48
59K
anproj_9__t4_anproj_9
2025-09-12 21:51
65K
anproj_9__t5_anproj_9
2025-09-12 21:53
80K
anproj_9__t6_anproj_9
2025-09-12 21:56
196K
anproj_9__t7_anproj_9
2025-09-12 21:59
200K
anproj_9__t8_anproj_9
2025-09-12 22:01
194K
anproj_9__t9_anproj_9
2025-09-12 22:04
68K
anproj_9__t10_anproj_9
2025-09-12 21:37
49K
anproj_9__t11_anproj_9
2025-09-12 22:05
50K
anproj_9__t12_anproj_9
2025-09-12 22:07
56K
anproj_9__t13_anproj_9
2025-09-12 22:12
241K
anproj_9__t14_anproj_9
2025-09-12 22:15
94K
anproj_9__t15_anproj_9
2025-09-12 22:17
78K
anproj_9__t16_anproj_9
2025-09-12 22:19
71K
anproj_9__t17_anproj_9
2025-09-12 22:23
206K
anproj_9__t18_anproj_9
2025-09-12 22:25
75K
anproj_9__t19_anproj_9
2025-09-12 22:28
72K
anproj_9__t20_anproj_9
2025-09-12 22:30
80K
anproj_9__t21_anproj_9
2025-09-12 22:33
84K
anproj_9__t22_anproj_9
2025-09-12 22:35
71K
anproj_9__t23_anproj_9
2025-09-12 22:38
78K
anproj_9__t24_anproj_9
2025-09-12 22:42
212K
anproj_9__t25_anproj_9
2025-09-12 22:46
205K
anproj_9__t26_anproj_9
2025-09-12 22:49
73K
anproj_9__t27_anproj_9
2025-09-12 22:51
71K
anproj_9__t28_anproj_9
2025-09-12 22:54
202K
anproj_9__t29_anproj_9
2025-09-12 22:57
85K
anproj_9__t30_anproj_9
2025-09-12 23:00
90K
anproj_9__t31_anproj_9
2025-09-12 23:02
89K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80