From: Kshitij Bansal Date: Fri, 17 Apr 2015 18:43:20 +0000 (-0400) Subject: Merge pull request #72 from kbansal/decision-requirephase X-Git-Tag: cvc5-1.0.0~6353 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d60c406206e9ac414cde2c219a748d51a64d000b;p=cvc5.git Merge pull request #72 from kbansal/decision-requirephase https://www.starexec.org/starexec/secure/details/job.jsp?id=6972 The plot is bit misleading. Those not on x=y, are from QF_BV/asp which are segfaulting (see bugzilla 623). No performance impact on other logics it was tested on. --- d60c406206e9ac414cde2c219a748d51a64d000b