Sota solver results for family Qshifter <br> QBFEVAL'07

qbflib.org

Sota solver results for family Qshifter
QBFEVAL'07

Instance	Solver	Result	Time
qshifter_5	sKizzo-0.10-qck	SAT	0.02
qshifter_6	sKizzo-0.10-qck	SAT	0.11
qshifter_7	sKizzo-0.10-std	SAT	0.69
qshifter_8	qSS	SAT	5.38

Contact | Organization | Links | Citing QBFLIB