AUFLIA (Unsat Core Track)

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

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

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

Winners

Sequential Performance	Parallel Performance
cvc5-uc	cvc5-uc

Sequential Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Timeout	Memout
2020-CVC4-ucn	0	34339	117490.704	117519.92	92	0
cvc5-uc	0	33832	122266.401	122223.981	98	0
z3n	0	33002	114396.437	118090.883	82	2
2020-z3n	0	32486	115025.098	115049.346	82	3
SMTInterpol	0	28163	265980.399	262536.357	201	0
SMTInterpol-remus	0	25882	567381.995	539696.987	245	0
UltimateEliminator+MathSAT	1	776	30704.147	25716.356	13	1
Vampire	19	28445	10930.467	7434.804	5	0

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Timeout	Memout
2020-CVC4-ucn	0	34339	117514.564	117515.8	92	0
cvc5-uc	0	33832	122286.681	122219.041	98	0
z3n	0	33002	117550.007	118087.103	82	2
2020-z3n	0	32486	115044.098	115045.256	82	3
SMTInterpol	0	28199	283349.939	250878.307	179	0
SMTInterpol-remus	0	27690	591778.875	525616.934	181	0
UltimateEliminator+MathSAT	1	776	30704.147	25716.356	13	1
Vampire	19	28552	13381.647	6279.579	3	0

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