Results for instance vonNeumann-ripple-carry-12-c
QBFEVAL'05



Solver Time Result
QbflHR0.84UNSAT
sSolve2.54UNSAT
WalkQSAT2.57FAIL
QChaffLearn2.72FAIL
QUANTOR3.07UNSAT
GRL3.3UNSAT
skizzo_v0.43.39UNSAT
skizzo_v0.53.46UNSAT
openQbf4.7UNSAT
yQuaffle4.81UNSAT
semprop5.42UNSAT
qbfbdd15.91UNSAT
QMRes24.98FAIL