Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/fuzimpl2
Name
Last modified
Size
Description
Parent Directory
-
fuzimpl2__l1_fuzimpl2
2025-09-13 04:19
35K
fuzimpl2__l2_fuzimpl2
2025-09-13 04:20
28K
fuzimpl2__l9_fuzimpl2
2025-09-13 04:21
26K
fuzimpl2__l10_fuzimpl2
2025-09-13 04:22
39K
fuzimpl2__l11_fuzimpl2
2025-09-13 04:23
62K
fuzimpl2__l12_fuzimpl2
2025-09-13 04:24
57K
fuzimpl2__l13_fuzimpl2
2025-09-13 04:26
57K
fuzimpl2__l14_fuzimpl2
2025-09-13 04:27
53K
fuzimpl2__l16_fuzimpl2
2025-09-13 04:28
42K
fuzimpl2__l17_fuzimpl2
2025-09-13 04:30
60K
fuzimpl2__l18_fuzimpl2
2025-09-13 04:31
81K
fuzimpl2__l20_fuzimpl2
2025-09-13 04:33
81K
fuzimpl2__l22_fuzimpl2
2025-09-13 04:34
53K
fuzimpl2__l23_fuzimpl2
2025-09-13 04:36
56K
fuzimpl2__l25_fuzimpl2
2025-09-13 04:37
42K
fuzimpl2__l26_fuzimpl2
2025-09-13 04:39
53K
fuzimpl2__l27_fuzimpl2
2025-09-13 04:40
60K
fuzimpl2__t1_fuzimpl2
2025-09-13 04:02
54K
fuzimpl2__t2_fuzimpl2
2025-09-13 04:03
42K
fuzimpl2__t3_fuzimpl2
2025-09-13 04:05
107K
fuzimpl2__t4_fuzimpl2
2025-09-13 04:07
74K
fuzimpl2__t5_fuzimpl2
2025-09-13 04:08
51K
fuzimpl2__t6_fuzimpl2
2025-09-13 04:10
59K
fuzimpl2__t7_fuzimpl2
2025-09-13 03:55
35K
fuzimpl2__t8_fuzimpl2
2025-09-13 03:56
35K
fuzimpl2__t9_fuzimpl2
2025-09-13 03:58
34K
fuzimpl2__t10_fuzimpl2
2025-09-13 03:59
35K
fuzimpl2__t11_fuzimpl2
2025-09-13 04:00
35K
fuzimpl2__t12_fuzimpl2
2025-09-13 04:11
36K
fuzimpl2__t13_fuzimpl2
2025-09-13 04:12
36K
fuzimpl2__t14_fuzimpl2
2025-09-13 04:14
36K
fuzimpl2__t15_fuzimpl2
2025-09-13 04:15
36K
fuzimpl2__t16_fuzimpl2
2025-09-13 04:16
42K
fuzimpl2__t17_fuzimpl2
2025-09-13 04:18
44K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80