Largest Contribution Ranking - Unsat Core Track

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

Winners

Sequential Performance	Parallel Performance
cvc5	cvc5

Sequential Performance

Solver	Correct Score	Time Score	Division
cvc5	0.15778649	0.57423376	Equality+LinearArith
cvc5	0.05088905	0.08006383	Equality
cvc5	0.01204205	0.00281158	Arith
Yices2	0.00730203	0.00271158	QF_Equality+LinearArith
cvc5	0.00586297	0.0006427	Equality+MachineArith
cvc5	0.00571191	0.00091422	Bitvec
Yices2	0.00529165	0.00527361	QF_LinearIntArith
Yices2	0.00120988	0.00920821	QF_Equality
Yices2	0.00112697	0.00092494	QF_LinearRealArith
Bitwuzla	0.00020744	3.344e-05	FPArith

Parallel Performance

Solver	Correct Score	Time Score	Division
cvc5	0.15744236	0.5777701	Equality+LinearArith
cvc5	0.05037275	0.07989047	Equality
cvc5	0.01204205	0.00281158	Arith
Yices2	0.00722597	0.00257854	QF_Equality+LinearArith
cvc5	0.00586297	0.0006427	Equality+MachineArith
cvc5	0.00571191	0.00091422	Bitvec
Yices2	0.00529165	0.0047471	QF_LinearIntArith
Yices2	0.00120988	0.00915533	QF_Equality
Yices2	0.00112697	0.0008697	QF_LinearRealArith
Bitwuzla	0.00020744	3.344e-05	FPArith

n Non-competing.
e Experimental.