SMT-COMP 2024

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

SMT-COMP 2024

Equality_NonLinearArith (Single Query Track)

Competition results for the Equality_NonLinearArith division in the Single Query Track.

Results were generated on 2024-07-08

Benchmarks: 9696
Time Limit: 1200 seconds
Memory Limit: 20480 GB

Logics:

Winners

Sequential PerformanceParallel PerformanceSAT Performance (parallel)UNSAT Performance (parallel)24 seconds Performance (parallel)
cvc5cvc5cvc5cvc5cvc5

Sequential Performance Performance

SolverError ScoreCorrect ScoreCPU Time ScoreWall Time ScoreSolvedSolved SATSolved UNSATUnsolvedAbstainedTimeoutMemout
cvc506278224359.348865225034.625913627876555133418030780
iProver v3.903694320834.98883984955.246624132041325564055640
SMTInterpol0287327058.02096717958.931411287384278968230381986

Parallel Performance Performance

SolverError ScoreCorrect ScoreCPU Time ScoreWall Time ScoreSolvedSolved SATSolved UNSATUnsolvedAbstainedTimeoutMemout
cvc506278224359.348865225034.625913627876555133418030780
SMTInterpol0287327058.02096717958.931411287384278968230381986
iProver v3.9241301.536612437244e+06392088.4667584132041325564055640

SAT Performance Performance

SolverError ScoreCorrect ScoreCPU Time ScoreWall Time ScoreSolvedSolved SATSolved UNSATUnsolvedAbstainedTimeoutMemout
cvc5076530616.30814930699.250066765765084884760
SMTInterpol084261.599769211.705303848407658847620
iProver v3.9204668.4489441181.56462320284788478470

UNSAT Performance Performance

SolverError ScoreCorrect ScoreCPU Time ScoreWall Time ScoreSolvedSolved SATSolved UNSATUnsolvedAbstainedTimeoutMemout
cvc505513193743.040716194335.37584755130551321539681510
iProver v3.9040801.453706433695e+06371125.1515244080040801648396816480
SMTInterpol0278926796.42119717747.22610827890278929393968180645

24 seconds Performance Performance

SolverError ScoreCorrect ScoreCPU Time ScoreWall Time ScoreSolvedSolved SATSolved UNSATUnsolvedAbstainedTimeoutMemout
cvc5055433473.246764027.18531255436964847337381600
iProver v3.90296235841.34894911356.9675632962029620673400
SMTInterpol0281311700.0550224725.25709728138327302475440800