Sota solver results for family Qshifter <br> QBFEVAL'16 - Solver Portfolio Track.

qbflib.org

Sota solver results for family Qshifter
QBFEVAL'16 - Solver Portfolio Track.

Instance	Solver	Result	Time
qshifter_3	caqe-portfolio	SAT	0.12
qshifter_4	caqe-portfolio	SAT	0.12
qshifter_5	caqe-portfolio	SAT	0.12
qshifter_6	caqe-portfolio	SAT	0.22
qshifter_7	caqe-portfolio	SAT	1.22
qshifter_8	caqe-portfolio	SAT	11.64

Contact | Organization | Links | Citing QBFLIB