QF_FPArith (Unsat Core Track)

Competition results for the QF_FPArith division in the Unsat Core Track.

Page generated on 2023-07-06 16:05:43 +0000

Benchmarks: 13668
Time Limit: 1200 seconds
Memory Limit: 60 GB

Logics:

• QF_ABVFP : 1972 benchmarks
• QF_ABVFPLRA : 5 benchmarks
• QF_BVFP : 1589 benchmarks
• QF_BVFPLRA : 52 benchmarks
• QF_FP : 10050 benchmarks

Winners

Sequential Performance	Parallel Performance
cvc5	cvc5

Sequential Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Abstained	Timeout	Memout
Bitwuzla Fixedn	0	33798	12043.377	12103.752		28	0
cvc5	0	32370	38328.11	38218.474		51	0
2022-z3-4.8.17n	0	32251	58461.62	58184.488		810	0
Bitwuzla	17*	33716	13194.716	13234.623		27	0

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Abstained	Timeout	Memout
Bitwuzla Fixedn	0	33798	12043.377	12103.752		28	0
cvc5	0	32370	38328.11	38218.474		51	0
2022-z3-4.8.17n	0	32251	58461.62	58184.488		810	0
Bitwuzla	17*	33716	13194.716	13234.623		27	0

n Non-competing.
Abstained: Total of benchmarks in logics in this division that solver chose to abstain from. For SAT/UNSAT scores, this column also includes benchmarks not known to be SAT/UNSAT.
* The error score is caused by Bitwuzla using the wrong names in the unsat core output (syntactic problems). It does not indicate an unsoundness.