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



Solver Time Result
QUANTOR0.05UNSAT
skizzo_v0.50.48UNSAT
skizzo_v0.40.49UNSAT
qbfbdd5.77UNSAT
yQuaffle95.9UNSAT
GRL130.56FAIL
QChaffLearn130.6FAIL
WalkQSAT131.05FAIL
QMRes900.87FAIL
openQbf900.94FAIL
QbflHR900.99FAIL
sSolve900.99FAIL
semprop901.01FAIL