| Home | • | Rules | • | Benchmarks | • | Tools | • | Specs | • | Participants | • | Results | • | SMT-LIB | • | Previous |
|---|
Competition results for the QF_IDL division as of Fri Oct 30 12:49:29 GMT
Competition benchmarks = 2094
Competition industrial benchmarks = 1074
| Sequential Performances | Sequential Performances (industrial) | Parallel Performances | Parallel Performances (industrial) |
| Yices | Yices | Yices | Yices |
| 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 | |
| CVC4 | 0 | 1834 | 812546.38 | 0 | 991 | 292132.68 | 0 | 1834 | 812777.75 | 812472.85 | 0 | 991 | 292201.07 | 292101.56 | 260 | 0 |
| CVC4 (exp) | 0 | 1835 | 812119.48 | 0 | 992 | 291687.86 | 0 | 1835 | 812348.86 | 812046.56 | 0 | 992 | 291753.95 | 291644.79 | 259 | 0 |
| SMTInterpol | 0 | 1646 | 1264057.27 | 0 | 869 | 597200.74 | 0 | 1648 | 1592553.47 | 1232274.35 | 0 | 870 | 839201.52 | 580923.92 | 446 | 0 |
| Yices | 0 | 1950 | 395133.07 | 0 | 1012 | 192096.80 | 0 | 1950 | 395259.88 | 395118.58 | 0 | 1012 | 192149.82 | 192084.96 | 144 | 0 |
| [z3] | 0 | 1965 | 431735.20 | 0 | 1023 | 228443.27 | 0 | 1965 | 431863.50 | 431682.47 | 0 | 1023 | 228490.03 | 228403.24 | 129 | 0 |
| veriT | 0 | 1638 | 1332543.16 | 0 | 935 | 422027.61 | 0 | 1638 | 1332925.88 | 1332462.81 | 0 | 935 | 422121.39 | 422006.96 | 456 | 0 |
| Home | • | Rules | • | Benchmarks | • | Tools | • | Specs | • | Participants | • | Results | • | SMT-LIB | • | Previous |
|---|
Last modified: Fri 30 Oct 2015 12:49 UTC