File tree 1 file changed +1
-1
lines changed 1 file changed +1
-1
lines changed Original file line number Diff line number Diff line change @@ -192,7 +192,7 @@ bounds stated in the last column.
192
192
| [ p4] ( http://www.zib.de/gleixner/vipr/p4.vipr.gz ) | 1 | 184.8 | 938 | 3600.0 | 66.7 | 18.0 | 1193552 | 73520 | 16308 | [ 4014352503518715/8, inf) |
193
193
| [ prodplan1] ( http://www.zib.de/gleixner/vipr/prodplan1.vipr.gz ) | 1 | 3600.0 | 2 | 3600.0 | 2.7 | 7.4 | 96728 | 91208 | 16412 | [ -7325416861334513/134217728, inf) |
194
194
| [ prodplan2] ( http://www.zib.de/gleixner/vipr/prodplan2.vipr.gz ) | 4 | 2.5 | 27 | 1401.1 | 0.9 | 0.7 | 28984 | 9532 | 1624 | [ -185497557187228867655290921686042318951/774845425502612687685652190000000, -185497557187228867655290921686042318951/774845425502612687685652190000000] |
195
- | [ ran14x18.disj-8 ] ( http://www.zib.de/gleixner/vipr/ran14x18.disj-8 .vipr.gz ) | 2188502 | 3600.0 | 4620 | 3600.0 | 3.5 | 3.8 | 264592 | 35316 | 11064 | [ 1907094538583883/549755813888, 4864] |
195
+ | [ ran14x18] ( http://www.zib.de/gleixner/vipr/ran14x18.vipr.gz ) | 2188502 | 3600.0 | 4620 | 3600.0 | 3.5 | 3.8 | 264592 | 35316 | 11064 | [ 1907094538583883/549755813888, 4864] |
196
196
| [ sp98ir] ( http://www.zib.de/gleixner/vipr/sp98ir.vipr.gz ) | 24636 | 298.4 | 28091 | 3600.0 | 77.9 | 61.5 | 1033008 | 164252 | 59884 | [ 7318013340697871/33554432, 225571452] |
197
197
| [ tkat3K] ( http://www.zib.de/gleixner/vipr/tkat3K.vipr.gz ) | 119250 | 266.9 | 6118 | 60.1 | 12.5 | 14.3 | 574632 | 217744 | 52440 | [ 47728181/10, 47728181/10] |
198
198
| [ tkat3T] ( http://www.zib.de/gleixner/vipr/tkat3T.vipr.gz ) | 8074 | 29.6 | 7984 | 115.2 | 20.8 | 36.4 | 1087572 | 547192 | 143372 | [ 22259567/4, 22259567/4] |
You can’t perform that action at this time.
0 commit comments