Home Rules Benchmarks Tools Specs Participants Results SMT-LIB Previous

AUFLIA (Main Track)

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

Benchmarks in this division : 4

Winners:

Sequential Performances Parallel Performances
CVC4CVC4

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.0003.000612.4390.0003.000612.439615.1481
vampire_smt_4.1 0.0002.000502.4810.0002.000502.481500.0832
vampire_smt_4.1_parallel 0.0002.0001200.0340.0002.0002004.019513.4762
veriT-dev 0.0002.0001202.5650.0002.0001248.1171202.5682
z3n 0.0002.0001200.0180.0002.0001200.6431200.0272

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!