Home • Rules • Benchmarks • Tools • Specs • Participants • Results • SMT-LIB • Previous

QF_LIA (Main Track)

Competition results for the QF_LIA division as of Fri Oct 30 12:49:29 GMT

Competition benchmarks = 5839

Competition industrial benchmarks = 4102

The winners for this division are:

Sequential Performances Sequential Performances (industrial) Parallel Performances Parallel Performances (industrial)
CVC4 (exp)YicesCVC4 (exp)Yices

Division COMPLETE

Solver Sequential performance Sequential performance (industrial) Parallel performance Parallel performance (industrial) Other information
Errors Corrects CPU Errors Corrects CPU Errors Corrects CPU WALL Errors Corrects CPU WALL Not solved Remaining
CVC4 05678546345.0403966472510.8205678546495.10546113.4703966472640.61472282.561610
CVC4 (exp) 05678546052.0103966472218.8405678546205.02545919.3503966472350.96472092.811610
SMT-RAT 021968935239.72010657446899.21021968938446.338935236.01010657449589.707446905.4936430
SMTInterpol 05583802877.3703865732526.46055891064296.52753336.2803871978350.47687552.042500
Yices 05638577864.3603990313169.1805638578043.43577838.3203990313266.13313157.372010
[MathSat] 05710412224.7204015289785.0105710412336.47412095.2804015289857.28289728.441290
[z3] 05592742614.8204035266839.1305592742856.58742379.5004035266900.93266619.582470
veriT 021586630467.91013226601769.72021586632991.676630396.75013226604285.686601699.6836810
Home • Rules • Benchmarks • Tools • Specs • Participants • Results • SMT-LIB • Previous

Last modified: Fri 30 Oct 2015 12:49 UTC
 Valid XHTML 1.0 Valid CSS!