QF_FPArith (Unsat Core Track)

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

Page generated on 2022-08-10 11:18:51 +0000

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

Logics:

• QF_ABVFP : 1971 benchmarks
• QF_ABVFPLRA : 5 benchmarks
• QF_BVFP : 1588 benchmarks
• QF_BVFPLRA : 52 benchmarks
• QF_FP : 10052 benchmarks
• QF_UFFP : 2 benchmarks

Winners

Sequential Performance	Parallel Performance
Bitwuzla	Bitwuzla

Sequential Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Abstained	Timeout	Memout
z3-4.8.17n	0	31486	997833.042	997744.01		777	0
Bitwuzla	0	31273	50222.024	50165.689		22	0
2021-Bitwuzlan	0	31082	51841.952	51773.725		28	0
cvc5	0	27683	718282.452	718304.343		519	0
MathSATn	0	749	395.805	404.1		0	0

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Abstained	Timeout	Memout
z3-4.8.17n	0	31486	997966.062	997706.17		777	0
Bitwuzla	0	31273	50227.484	50165.049		22	0
2021-Bitwuzlan	0	31082	51845.422	51772.345		28	0
cvc5	0	27683	718348.162	718285.193		519	0
MathSATn	0	749	395.805	404.1		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.