| Home | • | Rules | • | Benchmarks | • | Tools | • | Specs | • | Participants | • | Results | • | SMT-LIB | • | Previous |
|---|
Competition results for the QF_NRA division as of Fri Oct 30 12:49:29 GMT
Competition benchmarks = 10184
Competition industrial benchmarks = 10104
| Sequential Performances | Sequential Performances (industrial) | Parallel Performances | Parallel Performances (industrial) |
| Yices2-NL | Yices2-NL | Yices2-NL | Yices2-NL |
| 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 | |
| CVC3 | 0 | 3575 | 1220252.67 | 0 | 3572 | 1220206.65 | 0 | 3575 | 1221385.51 | 1221136.22 | 0 | 3572 | 1221339.49 | 1221090.07 | 6609 | 0 |
| CVC4 | 0 | 2694 | 1030.38 | 0 | 2693 | 1028.21 | 0 | 2694 | 1030.38 | 1031.13 | 0 | 2693 | 1028.21 | 1028.78 | 7490 | 0 |
| CVC4 (exp) | 0 | 2694 | 1021.11 | 0 | 2693 | 1018.93 | 0 | 2694 | 1021.11 | 1037.88 | 0 | 2693 | 1018.93 | 1035.47 | 7490 | 0 |
| SMT-RAT | 0 | 8759 | 3451838.16 | 0 | 8706 | 3386768.21 | 0 | 8759 | 3453107.94 | 3451861.02 | 0 | 8706 | 3388016.80 | 3386790.50 | 1425 | 0 |
| Yices2-NL | 0 | 9854 | 884237.95 | 0 | 9823 | 765719.51 | 0 | 9854 | 884526.29 | 884251.07 | 0 | 9823 | 765967.59 | 765732.33 | 330 | 0 |
| [z3] | 0 | 10000 | 458920.89 | 0 | 9941 | 427115.80 | 0 | 10000 | 459072.40 | 458899.11 | 0 | 9941 | 427256.36 | 427094.33 | 184 | 0 |
| raSAT | 0 | 7952 | 4969778.73 | 0 | 7916 | 4863206.04 | 0 | 7952 | 4971762.30 | 4969973.68 | 0 | 7916 | 4865145.96 | 4863400.55 | 2232 | 0 |
| Home | • | Rules | • | Benchmarks | • | Tools | • | Specs | • | Participants | • | Results | • | SMT-LIB | • | Previous |
|---|
Last modified: Fri 30 Oct 2015 12:49 UTC