Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/gobrd10
Name
Last modified
Size
Description
Parent Directory
-
gobrd10__l7_gobrd10
2024-07-26 17:12
22K
gobrd10__l7_gobrd10.depv1
2024-08-03 10:19
110
gobrd10__l7_gobrd10.depvmin1
2024-08-03 10:24
110
gobrd10__l7_gobrd10.vmin1
2024-08-03 10:19
1.0K
gobrd10__l7_gobrd10.vmin1out
2024-08-03 10:23
9.2K
gobrd10__l7_gobrd10.vout
2024-08-03 04:17
13K
gobrd10__t1_gobrd10
2024-07-26 17:10
55K
gobrd10__t1_gobrd10.depv1
2024-08-03 10:19
61
gobrd10__t1_gobrd10.depvmin1
2024-08-03 10:24
61
gobrd10__t1_gobrd10.vmin1
2024-08-03 10:19
627
gobrd10__t1_gobrd10.vmin1out
2024-08-03 10:22
10K
gobrd10__t1_gobrd10.vout
2024-08-03 05:43
10K
gobrd10__t2_gobrd10
2024-07-26 17:13
28K
gobrd10__t2_gobrd10.vout
2024-08-03 07:56
7.3K
gobrd10__t3_gobrd10
2024-07-26 17:14
56K
gobrd10__t3_gobrd10.depv1
2024-08-03 10:19
140
gobrd10__t3_gobrd10.depvmin1
2024-08-03 10:24
120
gobrd10__t3_gobrd10.vmin1
2024-08-03 10:19
1.3K
gobrd10__t3_gobrd10.vmin1out
2024-08-03 10:21
31K
gobrd10__t3_gobrd10.vout
2024-08-03 09:29
54K
gobrd10__t4_gobrd10
2024-07-26 17:11
13K
gobrd10__t4_gobrd10.depv1
2024-08-03 10:19
123
gobrd10__t4_gobrd10.depvmin1
2024-08-03 10:24
97
gobrd10__t4_gobrd10.vmin1
2024-08-03 10:19
1.3K
gobrd10__t4_gobrd10.vmin1out
2024-08-03 10:23
26K
gobrd10__t4_gobrd10.vout
2024-08-03 09:52
24K
gobrd10__t5_gobrd10
2024-07-26 17:15
48K
gobrd10__t5_gobrd10.vout
2024-08-03 09:12
4.2K
gobrd10__t6_gobrd10
2024-07-26 17:16
37K
gobrd10__t6_gobrd10.vout
2024-08-03 06:00
6.8K
gobrd10__t7_gobrd10
2024-07-26 17:18
54K
gobrd10__t7_gobrd10.vout
2024-08-03 08:46
7.3K
gobrd10__t8_gobrd10
2024-07-26 17:19
91K
gobrd10__t8_gobrd10.vout
2024-08-03 08:04
4.7K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80