Sota solver results for family qbfeval12
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.


InstanceSolverResultTime
lights3_021_0_009caqe-minisat-certSAT0.15
lights3_021_0_027cheqUNSAT0.04
lights3_035_0_002depqbf-cert-v2UNSAT0.21
lights3_035_0_027depqbf-cert-v1UNSAT0.11
lights3_035_0_051cheqUNSAT0.1