Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/zf_refle
Name
Last modified
Size
Description
Parent Directory
-
zf_refle__t1_zf_refle
2024-07-27 11:05
19K
zf_refle__t1_zf_refle.vout
2024-08-03 09:00
2.0K
zf_refle__t2_zf_refle
2024-07-27 11:06
18K
zf_refle__t2_zf_refle.depv1
2024-08-03 10:19
87
zf_refle__t2_zf_refle.depvmin1
2024-08-03 10:24
87
zf_refle__t2_zf_refle.vmin1
2024-08-03 10:20
824
zf_refle__t2_zf_refle.vmin1out
2024-08-03 10:20
11K
zf_refle__t2_zf_refle.vout
2024-08-03 05:50
9.6K
zf_refle__t3_zf_refle
2024-07-27 11:08
20K
zf_refle__t3_zf_refle.vout
2024-08-03 10:03
7.9K
zf_refle__t4_zf_refle
2024-07-27 11:09
19K
zf_refle__t4_zf_refle.depv1
2024-08-03 10:19
151
zf_refle__t4_zf_refle.depvmin1
2024-08-03 10:24
151
zf_refle__t4_zf_refle.vmin1
2024-08-03 10:20
1.2K
zf_refle__t4_zf_refle.vmin1out
2024-08-03 10:20
14K
zf_refle__t4_zf_refle.vout
2024-08-03 07:41
15K
zf_refle__t5_zf_refle
2024-07-27 11:10
31K
zf_refle__t5_zf_refle.vout
2024-08-03 08:34
4.2K
zf_refle__t6_zf_refle
2024-07-27 11:11
23K
zf_refle__t6_zf_refle.depv1
2024-08-03 10:19
98
zf_refle__t6_zf_refle.depvmin1
2024-08-03 10:24
98
zf_refle__t6_zf_refle.vmin1
2024-08-03 10:20
1.4K
zf_refle__t6_zf_refle.vmin1out
2024-08-03 10:22
26K
zf_refle__t6_zf_refle.vout
2024-08-03 06:08
24K
zf_refle__t7_zf_refle
2024-07-27 11:03
12K
zf_refle__t7_zf_refle.depv1
2024-08-03 10:19
67
zf_refle__t7_zf_refle.depvmin1
2024-08-03 10:24
67
zf_refle__t7_zf_refle.vmin1
2024-08-03 10:20
619
zf_refle__t7_zf_refle.vmin1out
2024-08-03 10:20
14K
zf_refle__t7_zf_refle.vout
2024-08-03 06:57
14K
zf_refle__t8_zf_refle
2024-07-27 11:12
20K
zf_refle__t8_zf_refle.vout
2024-08-03 07:14
7.3K
zf_refle__t9_zf_refle
2024-07-27 11:13
18K
zf_refle__t9_zf_refle.depv1
2024-08-03 10:19
84
zf_refle__t9_zf_refle.depvmin1
2024-08-03 10:24
84
zf_refle__t9_zf_refle.vmin1
2024-08-03 10:20
1.2K
zf_refle__t9_zf_refle.vmin1out
2024-08-03 10:22
17K
zf_refle__t9_zf_refle.vout
2024-08-03 05:55
18K
zf_refle__t10_zf_refle
2024-07-27 11:03
889
zf_refle__t10_zf_refle.depv1
2024-08-03 10:19
24
zf_refle__t10_zf_refle.depvmin1
2024-08-03 10:24
24
zf_refle__t10_zf_refle.vmin1
2024-08-03 10:20
299
zf_refle__t10_zf_refle.vmin1out
2024-08-03 10:20
3.4K
zf_refle__t10_zf_refle.vout
2024-08-03 07:18
3.4K
zf_refle__t11_zf_refle
2024-07-27 11:14
16K
zf_refle__t11_zf_refle.depv1
2024-08-03 10:19
142
zf_refle__t11_zf_refle.depvmin1
2024-08-03 10:24
142
zf_refle__t11_zf_refle.vmin1
2024-08-03 10:20
1.4K
zf_refle__t11_zf_refle.vmin1out
2024-08-03 10:23
19K
zf_refle__t11_zf_refle.vout
2024-08-03 10:04
21K
zf_refle__t12_zf_refle
2024-07-27 11:15
15K
zf_refle__t12_zf_refle.depv1
2024-08-03 10:19
109
zf_refle__t12_zf_refle.depvmin1
2024-08-03 10:24
109
zf_refle__t12_zf_refle.vmin1
2024-08-03 10:20
843
zf_refle__t12_zf_refle.vmin1out
2024-08-03 10:23
14K
zf_refle__t12_zf_refle.vout
2024-08-03 06:51
15K
zf_refle__t13_zf_refle
2024-07-27 11:16
19K
zf_refle__t13_zf_refle.depv1
2024-08-03 10:19
138
zf_refle__t13_zf_refle.depvmin1
2024-08-03 10:24
138
zf_refle__t13_zf_refle.vmin1
2024-08-03 10:20
1.4K
zf_refle__t13_zf_refle.vmin1out
2024-08-03 10:23
12K
zf_refle__t13_zf_refle.vout
2024-08-03 06:50
15K
zf_refle__t14_zf_refle
2024-07-27 11:17
26K
zf_refle__t14_zf_refle.vout
2024-08-03 08:07
6.8K
zf_refle__t15_zf_refle
2024-07-27 11:18
14K
zf_refle__t15_zf_refle.depv1
2024-08-03 10:19
70
zf_refle__t15_zf_refle.depvmin1
2024-08-03 10:24
70
zf_refle__t15_zf_refle.vmin1
2024-08-03 10:20
911
zf_refle__t15_zf_refle.vmin1out
2024-08-03 10:21
17K
zf_refle__t15_zf_refle.vout
2024-08-03 04:50
17K
zf_refle__t16_zf_refle
2024-07-27 11:19
21K
zf_refle__t16_zf_refle.depv1
2024-08-03 10:19
198
zf_refle__t16_zf_refle.depvmin1
2024-08-03 10:24
133
zf_refle__t16_zf_refle.vmin1
2024-08-03 10:20
2.3K
zf_refle__t16_zf_refle.vmin1out
2024-08-03 10:20
29K
zf_refle__t16_zf_refle.vout
2024-08-03 05:59
33K
zf_refle__t17_zf_refle
2024-07-27 11:20
24K
zf_refle__t17_zf_refle.vout
2024-08-03 06:30
9.5K
zf_refle__t18_zf_refle
2024-07-27 11:04
15K
zf_refle__t18_zf_refle.depv1
2024-08-03 10:19
38
zf_refle__t18_zf_refle.depvmin1
2024-08-03 10:24
26
zf_refle__t18_zf_refle.vmin1
2024-08-03 10:20
297
zf_refle__t18_zf_refle.vmin1out
2024-08-03 10:23
2.1K
zf_refle__t18_zf_refle.vout
2024-08-03 04:09
2.7K
zf_refle__t19_zf_refle
2024-07-27 11:21
18K
zf_refle__t19_zf_refle.depv1
2024-08-03 10:19
174
zf_refle__t19_zf_refle.depvmin1
2024-08-03 10:24
174
zf_refle__t19_zf_refle.vmin1
2024-08-03 10:20
1.7K
zf_refle__t19_zf_refle.vmin1out
2024-08-03 10:23
16K
zf_refle__t19_zf_refle.vout
2024-08-03 05:03
17K
zf_refle__t20_zf_refle
2024-07-27 11:25
85K
zf_refle__t20_zf_refle.vout
2024-08-03 04:19
3.7K
zf_refle__t21_zf_refle
2024-07-27 11:26
16K
zf_refle__t21_zf_refle.depv1
2024-08-03 10:19
250
zf_refle__t21_zf_refle.depvmin1
2024-08-03 10:24
241
zf_refle__t21_zf_refle.vmin1
2024-08-03 10:20
2.0K
zf_refle__t21_zf_refle.vmin1out
2024-08-03 10:22
24K
zf_refle__t21_zf_refle.vout
2024-08-03 09:44
18K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80