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


InstanceSolverResultTime
BLOCKS3i.5.3hiqqerforkUNSAT0.42
BLOCKS3i.5.4hiqqerforkSAT0.2
BLOCKS3ii.4.3hiqqerforkUNSAT0.04
BLOCKS3ii.5.2hiqqerforkUNSAT0.1
BLOCKS3ii.5.3mpiDepQBFSAT0.15
BLOCKS3iii.4hiqqerforkUNSAT0.03
BLOCKS3iii.5hiqqerforkSAT0.04
BLOCKS4i.6.4hiqqerforkUNSAT0.57
BLOCKS4ii.7.2hiqqerforkUNSAT1.86
BLOCKS4iii.6hiqqerforkUNSAT0.19