Results for instance robots_1_5_5_31.2
QBFEVAL'05



Solver Time Result
qbfbdd0.09SAT
yQuaffle0.16SAT
QbflHR0.25SAT
sSolve0.41SAT
semprop0.41SAT
QUANTOR1.99SAT
skizzo_v0.42.04SAT
QChaffLearn2.47SAT
openQbf3.22SAT
skizzo_v0.53.45SAT
GRL10.98SAT
WalkQSAT14.6FAIL
QMRes900.67FAIL