Results for instance test1_quant_squaring3
QBFEVAL'05



Solver Time Result
QUANTOR14.34FAIL
QMRes895.92FAIL
QChaffLearn899.82FAIL
qbfbdd900.22FAIL
skizzo_v0.4900.36FAIL
yQuaffle900.38FAIL
skizzo_v0.5900.6FAIL
GRL900.68FAIL
sSolve900.84FAIL
openQbf900.94FAIL
QbflHR900.99FAIL
WalkQSAT900.99FAIL
semprop901FAIL