profiling somewhat broken

abau / co4

COmplexity COncerned COnstraint COmpiler

GNU General Public License v3.0

2 stars 3 forks source link

profiling somewhat broken #53

Closed jwaldmann closed 10 years ago

jwaldmann commented 10 years ago

statistics are collected from satchmo-core (minisat), but also from co4, and these do not match (because minisat makes simplifications, this changes no. of clauses etc.)

abau commented 10 years ago

fixed by satchmo-core-0.7.3 and https://github.com/apunktbau/co4/commit/09e5bd182e313be2c8f0295d049c6b8bf93160f6