| Home | • | Rules | • | Benchmarks | • | Tools | • | Specs | • | Participants | • | Results | • | SMT-LIB | • | Previous |
|---|
Competition results for the QF_NIA division as of Fri Oct 30 12:49:29 GMT
Competition benchmarks = 8475
Competition industrial benchmarks = 8308
| Sequential Performances | Sequential Performances (industrial) | Parallel Performances | Parallel Performances (industrial) |
| AProVE | AProVE | AProVE | AProVE |
| Solver | Sequential performance | Sequential performance (industrial) | Parallel performance | Parallel performance (industrial) | Other information | |||||||||||
| Errors | Corrects | CPU | Errors | Corrects | CPU | Errors | Corrects | CPU | WALL | Errors | Corrects | CPU | WALL | Not solved | Remaining | |
| AProVE | 0 | 8270 | 482572.71 | 0 | 8108 | 468316.85 | 0 | 8270 | 498780.47 | 479809.79 | 0 | 8108 | 484465.32 | 465706.31 | 205 | 0 |
| CVC3 | 0 | 191 | 180123.85 | 0 | 190 | 155375.48 | 0 | 191 | 180336.25 | 180284.64 | 0 | 190 | 155561.51 | 155514.53 | 8284 | 0 |
| CVC4 | 0 | 76 | 4862.40 | 0 | 76 | 4852.08 | 0 | 76 | 4863.38 | 4879.84 | 0 | 76 | 4853.06 | 4869.17 | 8399 | 0 |
| CVC4 (exp) | 1 | 8277 | 284689.19 | 1 | 8116 | 273221.57 | 1 | 8277 | 284964.34 | 284915.21 | 1 | 8116 | 273494.31 | 273447.42 | 197 | 0 |
| SMT-RAT | 0 | 7309 | 2806064.93 | 0 | 7302 | 2422713.20 | 0 | 7309 | 2807029.47 | 2806081.17 | 0 | 7302 | 2423538.21 | 2422728.01 | 1166 | 0 |
| SMT-RAT (parallel) | 0 | 7435 | 2496420.53 | 0 | 7396 | 2183692.40 | 0 | 7439 | 3281434.96 | 2477847.07 | 0 | 7399 | 2874800.68 | 2169769.85 | 1036 | 0 |
| [z3] | 0 | 8459 | 54049.58 | 0 | 8297 | 39670.50 | 0 | 8459 | 54062.73 | 54046.84 | 0 | 8297 | 39678.49 | 39668.48 | 16 | 0 |
| raSAT | 0 | 7917 | 1290125.28 | 0 | 7788 | 1156363.06 | 0 | 7917 | 1290600.28 | 1290108.65 | 0 | 7788 | 1156812.25 | 1156355.38 | 558 | 0 |
| Home | • | Rules | • | Benchmarks | • | Tools | • | Specs | • | Participants | • | Results | • | SMT-LIB | • | Previous |
|---|
Last modified: Fri 30 Oct 2015 12:49 UTC