Sota solver results for family Blocks
QBFEVAL'16 - Prenex CNF Track.


InstanceSolverResultTime
BLOCKS3i.5.3AIGSolveUNSAT0.05
BLOCKS3i.5.4rareqsSAT0.05
BLOCKS3ii.4.3AIGSolveUNSAT0.01
BLOCKS3ii.5.2qstsUNSAT0.02
BLOCKS3ii.5.3qstsSAT0.03
BLOCKS3iii.4AIGSolveUNSAT0
BLOCKS3iii.5qstsUNSAT0.01
BLOCKS4i.6.4rareqsUNSAT0.08
BLOCKS4ii.7.2rareqsUNSAT0.11
BLOCKS4iii.6qstsUNSAT0.03