Results for instance robots_1_5_5_93.4
QBFEVAL'05



Solver Time Result
qbfbdd2.45SAT
yQuaffle4.18SAT
sSolve53.71SAT
WalkQSAT76.82FAIL
QUANTOR87.9FAIL
GRL97.14SAT
QChaffLearn109.84SAT
QbflHR122.89SAT
openQbf318.06SAT
skizzo_v0.5330.78FAIL
skizzo_v0.4639.38FAIL
QMRes900.15FAIL
semprop900.99FAIL