Home Rules Benchmarks Tools Specs Participants Results SMT-LIB Previous

QF_AUFBV (Main Track)

Competition results for the QF_AUFBV division as of Thu Jul 7 07:24:34 GMT

Benchmarks in this division : 37

Winners:

Sequential Performances Parallel Performances
CVC4CVC4

Result table1

Solver Sequential performance Parallel performance Other information
Error Score Correctly Solved Score avg. CPU time Errors Corrects avg. CPU time avg. WALL time Unsolved benchmarks
Boolector 0.00037.0000.3930.00037.0000.3930.3950
CVC4 0.00037.0000.2240.00037.0000.2240.2240
MathSat5n 0.00037.0000.1040.00037.0000.1040.1030
Yices2 0.00037.0000.3220.00037.0000.3220.3240
z3n 0.00034.000195.8430.00034.000195.893195.8433

n. Non-competitive.

1. Scores are computed according to Section 7 of the rules.

Home Rules Benchmarks Tools Specs Participants Results SMT-LIB Previous

Last modified: Thu 07 Jul 2016 07:28 UTC
Valid XHTML 1.0 Valid CSS!