Sota solver results for family Qshifter
QBFEVAL'16 - 2QBF Track.


InstanceSolverResultTime
qshifter_3xb-qstsSAT0
qshifter_4areqsSAT0
qshifter_5struqs-10SAT0
qshifter_6struqs-10SAT0.03
qshifter_7struqs-10SAT0.19
qshifter_8struqs-10SAT1.39