| 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 = 10
Competition industrial benchmarks = 10
| Solver | Parallel performance | Parallel performance (industrial) | ||||||
| Errors | Corrects | CPU | WALL | Errors | Corrects | CPU | WALL | |
| CVC3 | 0 | 1373 | 24009.06 | 24000.14 | 0 | 1373 | 24009.06 | 24000.14 |
| CVC4 (exp) | 0 | 3974167 | 15743.92 | 15534.75 | 0 | 3974167 | 15743.92 | 15534.75 |
| CVC4 | 0 | 3976631 | 15693.21 | 15484.24 | 0 | 3976631 | 15693.21 | 15484.24 |
| [z3 4.4.0] | 0 | 4181657 | 2220.93 | 2086.66 | 0 | 4181657 | 2220.93 | 2086.66 |
| Home | • | Rules | • | Benchmarks | • | Tools | • | Specs | • | Participants | • | Results | • | SMT-LIB | • | Previous |
|---|
Last modified: Fri 30 Oct 2015 12:49 UTC