Merge pull request #2135 from boqwxp/qbfsat-timeinfo
authorclairexen <claire@symbioticeda.com>
Thu, 25 Jun 2020 16:18:09 +0000 (18:18 +0200)
committerGitHub <noreply@github.com>
Thu, 25 Jun 2020 16:18:09 +0000 (18:18 +0200)
commit21209d632e62983d008e121c6ffcf2815d2ae4d8
treeedf8e293dd468d7625f4da2cf868e7385fd91879
parentfb6441731a03f8156821bdcfa6e08542951ac3f1
parent28c2dd470b085f0be83ce1c55a687638bb31a75d
Merge pull request #2135 from boqwxp/qbfsat-timeinfo

log and qbfsat: Also include child process usage in `PerformanceTimer::query()` and report the time for each call to the QBF-SAT solver