Results for instance robots_1_5_2_9.8
QBFEVAL'05



Solver Time Result
QUANTOR8.9FAIL
skizzo_v0.4100.01FAIL
WalkQSAT230.84FAIL
GRL390.44FAIL
skizzo_v0.5529.87FAIL
yQuaffle776.59FAIL
semprop841.85UNSAT
QChaffLearn893.27FAIL
QMRes899.97FAIL
qbfbdd900.93FAIL
openQbf900.94FAIL
QbflHR900.99FAIL
sSolve900.99FAIL