Home Rules Benchmarks Tools Specs Participants Results SMT-LIB Previous

QF_IDL (Main Track)

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

Competition benchmarks = 2094

Competition industrial benchmarks = 1074

The winners for this division are:

Sequential Performances Sequential Performances (industrial) Parallel Performances Parallel Performances (industrial)
YicesYicesYicesYices

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 01834812546.380991292132.6801834812777.75812472.850991292201.07292101.562600
CVC4 (exp) 01835812119.480992291687.8601835812348.86812046.560992291753.95291644.792590
SMTInterpol 016461264057.270869597200.74016481592553.471232274.350870839201.52580923.924460
Yices 01950395133.0701012192096.8001950395259.88395118.5801012192149.82192084.961440
[z3] 01965431735.2001023228443.2701965431863.50431682.4701023228490.03228403.241290
veriT 016381332543.160935422027.61016381332925.881332462.810935422121.39422006.964560
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!