QF_Equality_LinearArith (Parallel Track)

Competition results for the QF_Equality_LinearArith division in the Parallel Track. Chart

Results were generated on 2025-08-11

Benchmarks: 68
Time Limit: 1200 seconds
Memory Limit: 30720 GB

Logics:

Sequential Performance	Parallel Performance	SAT Performance (parallel)	UNSAT Performance (parallel)	24 seconds Performance (parallel)
-	SMTS	Yices2	SMTS	Yices2

Solver	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Solved UNSAT	Unsolved	Timeout
SMTS	15	549824.76	4812.85	15	2	13	53	46
Yices2	10	443774.95	3480.68	10	7	3	58	58
SMTS (32 cores) ⁿ	0	0.00	0.00	0	0	0	68	0
SMTS (64 cores) ⁿ	0	0.00	0.00	0	0	0	68	0

ⁿ: non-competing solver

Solver	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Unsolved	Abstained	Timeout
Yices2	7	355486.10	2787.29	7	7	6	55	6
SMTS	2	30476.05	241.20	2	2	11	55	10
SMTS (32 cores) ⁿ	0	0.00	0.00	0	0	13	55	0
SMTS (64 cores) ⁿ	0	0.00	0.00	0	0	13	55	0

ⁿ: non-competing solver

Solver	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved UNSAT	Unsolved	Abstained	Timeout
SMTS	13	519348.70	4571.65	13	13	23	32	21
Yices2	3	88288.86	693.39	3	3	33	32	33
SMTS (32 cores) ⁿ	0	0.00	0.00	0	0	36	32	0
SMTS (64 cores) ⁿ	0	0.00	0.00	0	0	36	32	0

ⁿ: non-competing solver

Solver	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Unsolved	Abstained
Yices2	1	2772.26	22.77	1	1	0	67
SMTS (32 cores) ⁿ	0	0.00	0.00	0	0	68	0
SMTS (64 cores) ⁿ	0	0.00	0.00	0	0	68	0

ⁿ: non-competing solver

SMT-COMP 2025