Home Rules Benchmarks Tools Specs Participants Results SMT-LIB Previous

QF_AUFNIA (Main Track)

Competition results for the QF_AUFNIA division as of Fri Jul 21 10:18:02 GMT

Benchmarks in this division : 17

Non-Competitive division

Solver Sequential performance Parallel performance Unsolved benchmarks
Error Score Correctly Solved Score CPU time Score Errors Correct Score CPU Score WALL Score Overall In Sequential
CVC4 0.00017.0001.1610.00017.0001.1611.17500
z3-4.5.0n 0.00017.0001.0190.00017.0001.0191.02800

n. Non-competing.

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

Home Rules Benchmarks Tools Specs Participants Results SMT-LIB Previous

Last modified: Fri 21 Jul 2017 10:18 UTC
Valid XHTML 1.0 Valid CSS!