Home Rules Benchmarks Tools Specs Participants Results SMT-LIB Previous

QF_AUFNIA (Main Track)

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

Benchmarks in this division : 21

Non-Competitive division

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.00021.0000.9070.00021.0000.9070.9060
z3n 0.00021.0001.1430.00021.0001.1431.1420

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!