Results for instance ev-pr-4x4-17-3-0-0-1-lg
QBFEVAL'06



Solver Time Result
Quaffle0.49SAT
WalkQSAT0.58SAT
GRL1.04SAT
sKizzo-0.9-grn25FAIL
sKizzo-0.9-abs244.48FAIL
qube4.0298.42FAIL
qube5.0298.84FAIL
qube3.0317.21FAIL
sKizzo-0.9-std355.52FAIL
SQBF411.3SAT
preQuantor413.52FAIL
QUANTOR_hc444.52FAIL
QUANTOR444.93FAIL
yQuaffle593.46FAIL
Qbfl599.59FAIL
semprop600.99FAIL
ssolve+ut4143.6SAT
sSolve4163.16SAT
ssolve-ut4211SAT
2clsQ6000.42FAIL
openQbf6000.91FAIL