Home Rules Benchmarks Tools Specs Participants Results SMT-LIB Previous

QF_ABVFP (Main Track)

Competition results for the QF_ABVFP division as of Fri Jul 13 00:02:11 GMT

Benchmarks in this division : 18129
Time limit: 1200s

Winners:

Sequential PerformancesParallel Performances
CVC4CVC4

Result table1

Sequential Performance

Solver Error Score Correctly Solved Score CPU time Score Solved Unsolved
COLIBRI 5.893 15091.072 59.663 17764 365
CVC4 0.000 18038.569 14.405 18117 12

Parallel Performance

Solver Error Score Correctly Solved Score CPU time Score WALL time Score Solved Unsolved
COLIBRI 5.89315091.07259.66359.66817764365
CVC4 0.00018038.56914.40514.4001811712

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 13 Jul 2018 00:04 UTC
Valid XHTML 1.0 Valid CSS!