Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/gobrd12
Name
Last modified
Size
Description
Parent Directory
-
gobrd12__l1_gobrd12
2024-07-27 01:03
23K
gobrd12__l1_gobrd12.vout
2024-08-03 06:18
4.1K
gobrd12__l2_gobrd12
2024-07-27 00:45
18K
gobrd12__l2_gobrd12.depv1
2024-08-03 10:19
49
gobrd12__l2_gobrd12.depvmin1
2024-08-03 10:24
49
gobrd12__l2_gobrd12.vmin1
2024-08-03 10:19
335
gobrd12__l2_gobrd12.vmin1out
2024-08-03 10:21
2.4K
gobrd12__l2_gobrd12.vout
2024-08-03 07:46
2.3K
gobrd12__l6_gobrd12
2024-07-27 01:04
27K
gobrd12__l6_gobrd12.vout
2024-08-03 05:09
7.8K
gobrd12__l7_gobrd12
2024-07-27 01:06
27K
gobrd12__l7_gobrd12.vout
2024-08-03 09:49
7.8K
gobrd12__l10_gobrd12
2024-07-27 01:09
135K
gobrd12__l10_gobrd12.vout
2024-08-03 05:27
3.7K
gobrd12__l11_gobrd12
2024-07-27 01:12
136K
gobrd12__l11_gobrd12.vout
2024-08-03 06:02
3.7K
gobrd12__t1_gobrd12
2024-07-27 00:43
24K
gobrd12__t1_gobrd12.depv1
2024-08-03 10:19
201
gobrd12__t1_gobrd12.depvmin1
2024-08-03 10:24
201
gobrd12__t1_gobrd12.vmin1
2024-08-03 10:19
2.5K
gobrd12__t1_gobrd12.vmin1out
2024-08-03 10:20
25K
gobrd12__t1_gobrd12.vout
2024-08-03 04:27
29K
gobrd12__t2_gobrd12
2024-07-27 00:46
30K
gobrd12__t2_gobrd12.depv1
2024-08-03 10:19
261
gobrd12__t2_gobrd12.depvmin1
2024-08-03 10:24
261
gobrd12__t2_gobrd12.vmin1
2024-08-03 10:19
4.5K
gobrd12__t2_gobrd12.vmin1out
2024-08-03 10:20
65K
gobrd12__t2_gobrd12.vout
2024-08-03 06:44
56K
gobrd12__t3_gobrd12
2024-07-27 00:48
31K
gobrd12__t3_gobrd12.vout
2024-08-03 08:32
7.8K
gobrd12__t4_gobrd12
2024-07-27 01:01
32K
gobrd12__t4_gobrd12.vout
2024-08-03 09:58
3.7K
gobrd12__t5_gobrd12
2024-07-27 00:50
29K
gobrd12__t5_gobrd12.vout
2024-08-03 08:24
7.8K
gobrd12__t6_gobrd12
2024-07-27 00:51
37K
gobrd12__t6_gobrd12.depv1
2024-08-03 10:19
137
gobrd12__t6_gobrd12.depvmin1
2024-08-03 10:24
57
gobrd12__t6_gobrd12.vmin1
2024-08-03 10:19
4.2K
gobrd12__t6_gobrd12.vmin1out
2024-08-03 10:22
149K
gobrd12__t6_gobrd12.vout
2024-08-03 09:01
123K
gobrd12__t7_gobrd12
2024-07-27 00:54
83K
gobrd12__t7_gobrd12.vout
2024-08-03 08:10
7.3K
gobrd12__t8_gobrd12
2024-07-27 00:55
31K
gobrd12__t8_gobrd12.vout
2024-08-03 07:06
7.3K
gobrd12__t9_gobrd12
2024-07-27 00:57
39K
gobrd12__t9_gobrd12.vout
2024-08-03 08:13
7.3K
gobrd12__t10_gobrd12
2024-07-27 00:59
38K
gobrd12__t10_gobrd12.vout
2024-08-03 08:29
4.2K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80