Biggest Lead Ranking- Unsat Core Track

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

Winners

Sequential Performance	Parallel Performance
cvc5-uc	cvc5-uc

Sequential Performance

Solver	Correct Score	Time Score	Division
cvc5-uc	177624.0	6.125e-05	QF_NonLinearRealArith
cvc5-uc	80016.0	0.00114924	QF_Equality+NonLinearArith
cvc5-uc	25289.0	1.329e-05	QF_NonLinearIntArith
cvc5-uc	8990.0	0.00501836	Equality+MachineArith
cvc5-uc	78.0	0.13652805	Bitvec
cvc5-uc	22.0	0.84856368	FPArith
cvc5-uc	4.5	10.4541339	Arith
cvc5-uc	2.67934996	4.63440653	Equality
Yices2	2.19055857	1.36433478	QF_Equality+LinearArith
cvc5-uc	1.80755576	6.25972258	Equality+LinearArith
cvc5-uc	1.22167359	1.13382467	Equality+NonLinearArith
cvc5-uc	1.15710605	1.06426955	QF_Equality
cvc5-uc	1.10809979	0.64600524	QF_LinearIntArith
Bitwuzla	1.07418125	1.68987586	QF_Equality+Bitvec
Bitwuzla	1.07010066	3.61302036	QF_Bitvec
Bitwuzla	1.01698493	3.11870267	QF_FPArith
Yices2	1.01460338	0.56142582	QF_LinearRealArith

Parallel Performance

Solver	Correct Score	Time Score	Division
cvc5-uc	177624.0	0.00013094	QF_NonLinearRealArith
cvc5-uc	80016.0	0.00232293	QF_Equality+NonLinearArith
cvc5-uc	25289.0	4.414e-05	QF_NonLinearIntArith
cvc5-uc	8990.0	0.00317057	Equality+MachineArith
cvc5-uc	78.0	0.12757205	Bitvec
cvc5-uc	22.0	0.58253678	FPArith
cvc5-uc	4.5	10.2731269	Arith
cvc5-uc	2.65398865	4.50495704	Equality
Yices2	2.05198284	2.03097773	QF_Equality+LinearArith
cvc5-uc	1.80433097	6.16651255	Equality+LinearArith
cvc5-uc	1.18544704	0.66910847	Equality+NonLinearArith
cvc5-uc	1.11960708	1.0096471	QF_Equality
cvc5-uc	1.10809979	0.63774782	QF_LinearIntArith
Bitwuzla	1.07418125	1.68939043	QF_Equality+Bitvec
Bitwuzla	1.07010066	3.61382059	QF_Bitvec
Bitwuzla	1.01698493	3.1207169	QF_FPArith
Yices2	1.01460338	0.5615646	QF_LinearRealArith

n Non-competing.
e Experimental.