Sota solver results for family Qshifter
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.


InstanceSolverResultTime
qshifter_3caqe-minisat-parSAT0
qshifter_4caqe-minisat-parSAT0.01
qshifter_5caqe-minisat-parSAT0.02
qshifter_6hiqqerforkSAT0.05
qshifter_7caqe-minisat-parSAT0.52
qshifter_8hiqqerforkSAT4.79