QF_FPArith (Unsat Core Track)

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

Page generated on 2021-07-18 17:31:25 +0000

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

Logics:

• QF_ABVFP : 1965 benchmarks
• QF_BVFP : 1586 benchmarks
• QF_BVFPLRA : 46 benchmarks
• QF_FP : 10031 benchmarks
• QF_UFFP : 2 benchmarks
• QF_UFFPDTLIRA : 4 benchmarks

Winners

Sequential Performance	Parallel Performance
Bitwuzla	Bitwuzla

Sequential Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Abstained	Timeout	Memout
Bitwuzla	0	31314	18479.206	18383.984		3	0
2020-Bitwuzlan	0	31005	12604.484	12398.964		1	0
2020-Bitwuzla-fixedn	0	30990	12401.856	12291.553		1	0
cvc5-uc	0	30791	57633.268	57373.444		16	0
z3n	0	14099	958935.264	958933.148		739	0
MathSAT5n	0	333	371.691	393.56		0	0

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Abstained	Timeout	Memout
Bitwuzla	0	31314	18479.796	18383.844		3	0
2020-Bitwuzlan	0	31005	12604.524	12398.944		1	0
2020-Bitwuzla-fixedn	0	30990	12401.896	12291.483		1	0
cvc5-uc	0	30791	57636.148	57372.894		16	0
z3n	0	14099	959050.254	958899.598		739	0
MathSAT5n	0	333	371.691	393.56		0	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.