Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/prefer_1
Name
Last modified
Size
Description
Parent Directory
-
prefer_1__l8_prefer_1
2025-09-13 14:24
18K
prefer_1__l19_prefer_1
2025-09-13 13:24
19K
prefer_1__l45_prefer_1
2025-09-13 14:26
38K
prefer_1__l47_prefer_1
2025-09-13 14:27
38K
prefer_1__l69_prefer_1
2025-09-13 14:29
40K
prefer_1__l70_prefer_1
2025-09-13 14:30
37K
prefer_1__t1_prefer_1
2025-09-13 13:25
17K
prefer_1__t2_prefer_1
2025-09-13 13:26
17K
prefer_1__t3_prefer_1
2025-09-13 13:27
23K
prefer_1__t4_prefer_1
2025-09-13 13:27
23K
prefer_1__t5_prefer_1
2025-09-13 13:28
15K
prefer_1__t6_prefer_1
2025-09-13 13:29
19K
prefer_1__t7_prefer_1
2025-09-13 13:30
18K
prefer_1__t8_prefer_1
2025-09-13 13:32
31K
prefer_1__t9_prefer_1
2025-09-13 13:33
19K
prefer_1__t10_prefer_1
2025-09-13 13:34
19K
prefer_1__t11_prefer_1
2025-09-13 13:35
33K
prefer_1__t12_prefer_1
2025-09-13 13:36
35K
prefer_1__t13_prefer_1
2025-09-13 13:37
19K
prefer_1__t14_prefer_1
2025-09-13 13:38
38K
prefer_1__t15_prefer_1
2025-09-13 13:39
30K
prefer_1__t16_prefer_1
2025-09-13 13:40
30K
prefer_1__t17_prefer_1
2025-09-13 13:41
29K
prefer_1__t18_prefer_1
2025-09-13 13:42
30K
prefer_1__t19_prefer_1
2025-09-13 13:22
19K
prefer_1__t20_prefer_1
2025-09-13 13:43
19K
prefer_1__t21_prefer_1
2025-09-13 13:44
30K
prefer_1__t22_prefer_1
2025-09-13 13:45
19K
prefer_1__t23_prefer_1
2025-09-13 13:45
16K
prefer_1__t24_prefer_1
2025-09-13 13:46
34K
prefer_1__t25_prefer_1
2025-09-13 13:23
30K
prefer_1__t26_prefer_1
2025-09-13 13:48
40K
prefer_1__t27_prefer_1
2025-09-13 13:49
20K
prefer_1__t28_prefer_1
2025-09-13 13:49
29K
prefer_1__t29_prefer_1
2025-09-13 13:51
48K
prefer_1__t30_prefer_1
2025-09-13 13:52
38K
prefer_1__t31_prefer_1
2025-09-13 13:53
19K
prefer_1__t32_prefer_1
2025-09-13 13:54
30K
prefer_1__t33_prefer_1
2025-09-13 13:55
19K
prefer_1__t34_prefer_1
2025-09-13 13:56
37K
prefer_1__t35_prefer_1
2025-09-13 13:57
31K
prefer_1__t36_prefer_1
2025-09-13 13:57
1.5K
prefer_1__t37_prefer_1
2025-09-13 13:59
36K
prefer_1__t38_prefer_1
2025-09-13 14:00
33K
prefer_1__t39_prefer_1
2025-09-13 14:01
51K
prefer_1__t40_prefer_1
2025-09-13 14:03
55K
prefer_1__t41_prefer_1
2025-09-13 14:04
50K
prefer_1__t42_prefer_1
2025-09-13 14:06
47K
prefer_1__t43_prefer_1
2025-09-13 14:07
53K
prefer_1__t44_prefer_1
2025-09-13 14:09
48K
prefer_1__t45_prefer_1
2025-09-13 14:10
53K
prefer_1__t46_prefer_1
2025-09-13 14:11
43K
prefer_1__t47_prefer_1
2025-09-13 14:13
45K
prefer_1__t48_prefer_1
2025-09-13 14:14
43K
prefer_1__t49_prefer_1
2025-09-13 14:15
48K
prefer_1__t50_prefer_1
2025-09-13 14:16
43K
prefer_1__t51_prefer_1
2025-09-13 14:17
42K
prefer_1__t52_prefer_1
2025-09-13 14:19
48K
prefer_1__t53_prefer_1
2025-09-13 14:20
39K
prefer_1__t54_prefer_1
2025-09-13 14:22
64K
prefer_1__t55_prefer_1
2025-09-13 14:23
65K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80