cheq_checker_qube_cert_results.txt
summarizes results on QBFEVAL-10, MAIN/SUBMITTED/*
This is 136 benchmarks, 88 solved by qube-cert.