Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/zfrefle1
Name
Last modified
Size
Description
Parent Directory
-
zfrefle1__t1_zfrefle1
2025-09-13 10:34
24K
zfrefle1__t2_zfrefle1
2025-09-13 10:35
24K
zfrefle1__t17_zfrefle1
2025-09-13 10:35
17K
zfrefle1__t18_zfrefle1
2025-09-13 10:36
22K
zfrefle1__t19_zfrefle1
2025-09-13 10:37
23K
zfrefle1__t21_zfrefle1
2025-09-13 10:38
24K
zfrefle1__t23_zfrefle1
2025-09-13 10:39
23K
zfrefle1__t25_zfrefle1
2025-09-13 10:40
23K
zfrefle1__t26_zfrefle1
2025-09-13 10:41
23K
zfrefle1__t32_zfrefle1
2025-09-13 10:42
18K
zfrefle1__l1_zfrefle1
2025-09-13 10:42
20K
zfrefle1__l2_zfrefle1
2025-09-13 10:43
20K
zfrefle1__t3_zfrefle1
2025-09-13 10:44
27K
zfrefle1__t4_zfrefle1
2025-09-13 10:46
32K
zfrefle1__t5_zfrefle1
2025-09-13 10:47
32K
zfrefle1__t6_zfrefle1
2025-09-13 10:49
38K
zfrefle1__t7_zfrefle1
2025-09-13 10:50
26K
zfrefle1__t8_zfrefle1
2025-09-13 10:51
28K
zfrefle1__t9_zfrefle1
2025-09-13 10:52
31K
zfrefle1__t10_zfrefle1
2025-09-13 10:53
27K
zfrefle1__t11_zfrefle1
2025-09-13 10:54
28K
zfrefle1__t12_zfrefle1
2025-09-13 10:55
25K
zfrefle1__t13_zfrefle1
2025-09-13 10:57
56K
zfrefle1__t14_zfrefle1
2025-09-13 10:58
19K
zfrefle1__t15_zfrefle1
2025-09-13 10:59
23K
zfrefle1__t16_zfrefle1
2025-09-13 11:00
31K
zfrefle1__t20_zfrefle1
2025-09-13 11:01
25K
zfrefle1__t22_zfrefle1
2025-09-13 11:02
25K
zfrefle1__t24_zfrefle1
2025-09-13 11:04
27K
zfrefle1__t27_zfrefle1
2025-09-13 11:05
26K
zfrefle1__t28_zfrefle1
2025-09-13 11:06
36K
zfrefle1__t29_zfrefle1
2025-09-13 11:07
48K
zfrefle1__t30_zfrefle1
2025-09-13 11:10
65K
zfrefle1__t31_zfrefle1
2025-09-13 11:11
18K
zfrefle1__t33_zfrefle1
2025-09-13 11:12
50K
zfrefle1__t34_zfrefle1
2025-09-13 11:14
32K
zfrefle1__t35_zfrefle1
2025-09-13 11:15
35K
zfrefle1__t36_zfrefle1
2025-09-13 11:16
39K
zfrefle1__t37_zfrefle1
2025-09-13 11:18
33K
zfrefle1__t38_zfrefle1
2025-09-13 11:19
30K
zfrefle1__t39_zfrefle1
2025-09-13 11:20
33K
zfrefle1__t40_zfrefle1
2025-09-13 11:21
32K
zfrefle1__t41_zfrefle1
2025-09-13 11:23
34K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80