Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/zf_colla
Name
Last modified
Size
Description
Parent Directory
-
zf_colla__t1_zf_colla
2024-07-26 20:27
15K
zf_colla__t1_zf_colla.vout
2024-08-03 09:06
7.3K
zf_colla__t2_zf_colla
2024-07-26 20:16
7.3K
zf_colla__t2_zf_colla.depv1
2024-08-03 10:19
150
zf_colla__t2_zf_colla.depvmin1
2024-08-03 10:24
106
zf_colla__t2_zf_colla.vmin1
2024-08-03 10:19
1.5K
zf_colla__t2_zf_colla.vmin1out
2024-08-03 10:20
22K
zf_colla__t2_zf_colla.vout
2024-08-03 08:47
33K
zf_colla__t3_zf_colla
2024-07-26 20:16
12K
zf_colla__t3_zf_colla.vout
2024-08-03 07:03
7.3K
zf_colla__t4_zf_colla
2024-07-26 20:17
9.1K
zf_colla__t4_zf_colla.depv1
2024-08-03 10:19
123
zf_colla__t4_zf_colla.depvmin1
2024-08-03 10:24
123
zf_colla__t4_zf_colla.vmin1
2024-08-03 10:19
1.4K
zf_colla__t4_zf_colla.vmin1out
2024-08-03 10:20
45K
zf_colla__t4_zf_colla.vout
2024-08-03 06:23
45K
zf_colla__t5_zf_colla
2024-07-26 20:18
14K
zf_colla__t5_zf_colla.vout
2024-08-03 09:23
7.3K
zf_colla__t6_zf_colla
2024-07-26 20:19
9.5K
zf_colla__t6_zf_colla.vout
2024-08-03 08:18
7.8K
zf_colla__t7_zf_colla
2024-07-26 20:20
8.6K
zf_colla__t7_zf_colla.depv1
2024-08-03 10:19
91
zf_colla__t7_zf_colla.depvmin1
2024-08-03 10:24
91
zf_colla__t7_zf_colla.vmin1
2024-08-03 10:19
954
zf_colla__t7_zf_colla.vmin1out
2024-08-03 10:21
14K
zf_colla__t7_zf_colla.vout
2024-08-03 05:58
15K
zf_colla__t8_zf_colla
2024-07-26 20:21
11K
zf_colla__t8_zf_colla.vout
2024-08-03 09:28
8.4K
zf_colla__t9_zf_colla
2024-07-26 20:22
19K
zf_colla__t9_zf_colla.vout
2024-08-03 05:31
6.8K
zf_colla__t10_zf_colla
2024-07-26 20:23
9.8K
zf_colla__t10_zf_colla.depv1
2024-08-03 10:19
126
zf_colla__t10_zf_colla.depvmin1
2024-08-03 10:24
90
zf_colla__t10_zf_colla.vmin1
2024-08-03 10:19
1.4K
zf_colla__t10_zf_colla.vmin1out
2024-08-03 10:22
22K
zf_colla__t10_zf_colla.vout
2024-08-03 09:18
26K
zf_colla__t11_zf_colla
2024-07-26 20:25
22K
zf_colla__t11_zf_colla.vout
2024-08-03 05:30
4.7K
zf_colla__t12_zf_colla
2024-07-26 20:26
16K
zf_colla__t12_zf_colla.vout
2024-08-03 05:58
7.9K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80