Home Rules Benchmarks Tools Specs Participants Results SMT-LIB Previous

QF_UFNRA (Main Track)

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

Benchmarks in this division : 34

Winners:

Sequential Performances Parallel Performances
Yices2Yices2

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.00019.0002.3490.00019.0002.3492.13315
Yices2 0.00032.000364.3360.00032.000364.423364.2092
z3n 0.00030.00034.0430.00030.00034.04334.0234

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!