Results for instance term1.blif_0.10_0.20_0_0_inp_exact
QBFEVAL'06



Solver Time Result
ssolve-ut43.17UNSAT
sSolve43.34UNSAT
Quaffle66UNSAT
ssolve+ut100.84UNSAT
semprop126.43UNSAT
yQuaffle150.36UNSAT
GRL193.41FAIL
2clsQ215.18UNSAT
SQBF544.28UNSAT
qube5.0571.9UNSAT
sKizzo-0.9-std594.47FAIL
QUANTOR598.2FAIL
QUANTOR_hc598.32FAIL
WalkQSAT601FAIL
qube4.0702.23UNSAT
sKizzo-0.9-abs1591.6FAIL
qube3.01754.19UNSAT
Qbfl5983.77FAIL
preQuantor6000.21FAIL
sKizzo-0.9-grn6000.77FAIL
openQbf6000.87FAIL