Results for instance term1.blif_0.10_1.00_0_0_inp_exact
QBFEVAL'05



Solver Time Result
QUANTOR0.03UNSAT
qbfbdd0.13UNSAT
skizzo_v0.50.27UNSAT
skizzo_v0.40.3UNSAT
yQuaffle0.41UNSAT
WalkQSAT1.14FAIL
QChaffLearn1.3UNSAT
semprop4.77UNSAT
QMRes16.98UNSAT
GRL65.87FAIL
sSolve900.83FAIL
openQbf900.9FAIL
QbflHR901FAIL