Home Rules Benchmarks Tools Specs Participants Results SMT-LIB Previous

QF_BVFP (Main Track)

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

Benchmarks in this division : 17215

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
COLIBRI 0.00014806.63154.8140.00014806.63154.81554.821216216
z3-4.5.0n 0.00017133.52217.5550.00017133.52217.55517.54144

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!