search

SRI-CSL / yices2

The Yices SMT Solver
https://yices.csl.sri.com/
GNU General Public License v3.0
363 stars 45 forks source link

Mcsat imp reducedb #438

Closed ahmed-irfan closed 1 year ago

ahmed-irfan commented 1 year ago

Here is the improvement on the smtlib benchmarks. (timeout: 3 mins ; mem: 8 GB).

QF_UF: 7274 -> 7325 QF_AX: 543 -> 546 QF_NRA: 10914 -> 10998 QF_NIA: 16311 -> 16310

coveralls commented 1 year ago

Coverage Status

Coverage: 64.231% (+0.001%) from 64.23% when pulling 8b9a0dbeb6260b7b4fdfd15cafdde1e9eec50744 on mcsat-imp-reducedb into c85443e1f5d4d80e7759009461bb53575762d9ba on master.