QF_UFBV (Unsat Core Track)

Competition results for the QF_UFBV logic in the Unsat Core Track.

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

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

Winners

Sequential Performance	Parallel Performance
Bitwuzla	Bitwuzla

Sequential Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Timeout	Memout
Bitwuzla	0	977620	13831.893	13834.274	2	0
2021-Bitwuzlan	0	975164	17202.284	17219.392	2	0
z3-4.8.17n	0	708561	58342.973	58358.212	47	0
Yices2	0	703118	56939.485	56955.01	46	0
cvc5	0	10231	47005.186	47003.77	28	0
MathSATn	0	0	28.688	28.752	0	0

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Timeout	Memout
Bitwuzla	0	977620	13832.293	13834.224	2	0
2021-Bitwuzlan	0	975164	17202.714	17219.352	2	0
z3-4.8.17n	0	708561	58356.103	58355.962	47	0
Yices2	0	703118	56951.935	56952.75	46	0
cvc5	0	10231	47011.576	47002.64	28	0
MathSATn	0	0	28.688	28.752	0	0

n Non-competing.
N/A: Benchmarks not known to be SAT/UNSAT, respectively.