Results for instance x200.1
QBFEVAL'06



Solver Time Result
semprop0.12SAT
openQbf19.44FAIL
qube3.068.79UNSAT
qube5.077.09UNSAT
qube4.077.84UNSAT
preQuantor114.05FAIL
QUANTOR128.87FAIL
QUANTOR_hc130.29FAIL
yQuaffle550.97FAIL
Quaffle574.19FAIL
ssolve+ut600.33FAIL
GRL600.85FAIL
WalkQSAT600.98FAIL
sKizzo-0.9-abs5305.9FAIL
SQBF5411.16FAIL
Qbfl5999.71FAIL
sSolve6000.21FAIL
ssolve-ut6000.29FAIL
2clsQ6000.42FAIL
sKizzo-0.9-grn6000.65FAIL
sKizzo-0.9-std6000.7FAIL