Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/brouwer
Name
Last modified
Size
Description
Parent Directory
-
brouwer__l18_brouwer
2024-07-27 01:14
50K
brouwer__l18_brouwer.vout
2024-08-03 04:28
7.3K
brouwer__t1_brouwer
2024-07-27 00:42
34K
brouwer__t1_brouwer.depv1
2024-08-03 10:19
68
brouwer__t1_brouwer.depvmin1
2024-08-03 10:24
68
brouwer__t1_brouwer.vmin1
2024-08-03 10:20
1.0K
brouwer__t1_brouwer.vmin1out
2024-08-03 10:23
34K
brouwer__t1_brouwer.vout
2024-08-03 06:44
31K
brouwer__t2_brouwer
2024-07-27 00:44
55K
brouwer__t2_brouwer.vout
2024-08-03 07:22
8.3K
brouwer__t3_brouwer
2024-07-27 00:46
46K
brouwer__t3_brouwer.vout
2024-08-03 04:32
6.7K
brouwer__t4_brouwer
2024-07-27 00:49
209K
brouwer__t4_brouwer.vout
2024-08-03 09:15
4.7K
brouwer__t5_brouwer
2024-07-27 00:51
177K
brouwer__t5_brouwer.vout
2024-08-03 09:46
4.7K
brouwer__t6_brouwer
2024-07-27 00:53
53K
brouwer__t6_brouwer.vout
2024-08-03 09:39
4.7K
brouwer__t7_brouwer
2024-07-27 00:56
405K
brouwer__t7_brouwer.vout
2024-08-03 07:25
4.7K
brouwer__t8_brouwer
2024-07-27 00:59
399K
brouwer__t8_brouwer.vout
2024-08-03 08:38
4.7K
brouwer__t9_brouwer
2024-07-27 01:01
57K
brouwer__t9_brouwer.vout
2024-08-03 08:01
4.7K
brouwer__t10_brouwer
2024-07-27 01:04
89K
brouwer__t10_brouwer.vout
2024-08-03 04:24
7.3K
brouwer__t11_brouwer
2024-07-27 01:06
51K
brouwer__t11_brouwer.depv1
2024-08-03 10:19
48
brouwer__t11_brouwer.depvmin1
2024-08-03 10:24
48
brouwer__t11_brouwer.vmin1
2024-08-03 10:20
3.0K
brouwer__t11_brouwer.vmin1out
2024-08-03 10:21
48K
brouwer__t11_brouwer.vout
2024-08-03 05:00
27K
brouwer__t12_brouwer
2024-07-27 01:08
63K
brouwer__t12_brouwer.vout
2024-08-03 05:57
4.7K
brouwer__t14_brouwer
2024-07-27 01:10
61K
brouwer__t14_brouwer.vout
2024-08-03 06:55
4.7K
brouwer__t15_brouwer
2024-07-27 01:12
50K
brouwer__t15_brouwer.vout
2024-08-03 08:39
6.8K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80