Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/brouwer2
Name
Last modified
Size
Description
Parent Directory
-
brouwer2__l1_brouwer2
2024-07-28 06:24
76K
brouwer2__l1_brouwer2.vout
2024-08-03 08:53
4.7K
brouwer2__l2_brouwer2
2024-07-28 06:26
78K
brouwer2__l2_brouwer2.vout
2024-08-03 06:43
6.8K
brouwer2__l5_brouwer2
2024-07-28 06:30
169K
brouwer2__l5_brouwer2.vout
2024-08-03 05:40
3.7K
brouwer2__l8_brouwer2
2024-07-28 06:35
251K
brouwer2__l8_brouwer2.vout
2024-08-03 07:29
3.7K
brouwer2__l13_brouwer2
2024-07-28 06:38
74K
brouwer2__l13_brouwer2.vout
2024-08-03 04:31
5.3K
brouwer2__l14_brouwer2
2024-07-28 05:54
24K
brouwer2__l14_brouwer2.depv1
2024-08-03 10:19
52
brouwer2__l14_brouwer2.depvmin1
2024-08-03 10:24
52
brouwer2__l14_brouwer2.vmin1
2024-08-03 10:20
286
brouwer2__l14_brouwer2.vmin1out
2024-08-03 10:23
2.2K
brouwer2__l14_brouwer2.vout
2024-08-03 07:26
2.1K
brouwer2__l15_brouwer2
2024-07-28 06:41
115K
brouwer2__l15_brouwer2.vout
2024-08-03 08:24
5.3K
brouwer2__t1_brouwer2
2024-07-28 05:57
75K
brouwer2__t1_brouwer2.vout
2024-08-03 08:24
4.7K
brouwer2__t2_brouwer2
2024-07-28 06:00
91K
brouwer2__t2_brouwer2.vout
2024-08-03 06:56
7.3K
brouwer2__t3_brouwer2
2024-07-28 06:03
91K
brouwer2__t3_brouwer2.depv1
2024-08-03 10:19
84
brouwer2__t3_brouwer2.depvmin1
2024-08-03 10:24
84
brouwer2__t3_brouwer2.vmin1
2024-08-03 10:20
3.0K
brouwer2__t3_brouwer2.vmin1out
2024-08-03 10:21
77K
brouwer2__t3_brouwer2.vout
2024-08-03 05:09
123K
brouwer2__t4_brouwer2
2024-07-28 06:06
133K
brouwer2__t4_brouwer2.vout
2024-08-03 05:24
3.7K
brouwer2__t5_brouwer2
2024-07-28 06:09
158K
brouwer2__t5_brouwer2.vout
2024-08-03 06:57
3.7K
brouwer2__t6_brouwer2
2024-07-28 06:12
130K
brouwer2__t6_brouwer2.vout
2024-08-03 04:38
3.7K
brouwer2__t7_brouwer2
2024-07-28 06:15
104K
brouwer2__t7_brouwer2.vout
2024-08-03 08:41
4.7K
brouwer2__t8_brouwer2
2024-07-28 06:18
124K
brouwer2__t8_brouwer2.vout
2024-08-03 04:58
7.3K
brouwer2__t9_brouwer2
2024-07-28 06:21
123K
brouwer2__t9_brouwer2.vout
2024-08-03 08:05
3.7K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80