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


InstanceSolverResultTime
stmt19_217_309depqbf-v1UNSAT0.11
stmt19_3_214aqua-f3vUNSAT0.08
stmt19_83_412aqua-s2vUNSAT4.01
stmt19_90_266depqbf-v1UNSAT0.1
stmt21_319_418AIGSolveSAT188.47
stmt21_79_304depqbf-v1UNSAT0.08
stmt27_16_97aqua-f3vUNSAT0.06
stmt29_226_376aqua-f3vUNSAT0.27
stmt41_160_235qstsUNSAT0.04
stmt52_244_394aqua-f3vUNSAT0.28