Home Rules Benchmarks Tools Specs Participants Results SMT-LIB Previous

UFLRA (Main Track)

Competition results for the UFLRA division as of Thu Jul 7 07:24:34 GMT

Benchmarks in this division : 25

Winners:

Sequential Performances Parallel Performances
vampire_smt_4.1vampire_smt_4.1

Result table1

Solver Sequential performance Parallel performance Other information
Error Score Correctly Solved Score avg. CPU time Errors Corrects avg. CPU time avg. WALL time Unsolved benchmarks
CVC4 0.00015.124942.7750.00015.124942.888948.1615
vampire_smt_4.1 0.00015.124318.4930.00015.124318.493317.0055
vampire_smt_4.1_parallel 0.00015.124759.3660.00015.1241262.722321.2445
veriT-dev 0.00015.124698.2670.00015.124698.591698.2075
z3n 0.00017.099761.8960.00017.099762.358761.9064

n. Non-competitive.

1. Scores are computed according to Section 7 of the rules.

Home Rules Benchmarks Tools Specs Participants Results SMT-LIB Previous

Last modified: Thu 07 Jul 2016 07:28 UTC
Valid XHTML 1.0 Valid CSS!