Instances of family mA-t2-5qbf-5cnf-40var-1280cl solved by skizzo_v0.4
QBFEVAL'05

InstanceResultTime
5qbf-5cnf-40var-1280cl.9UNSAT0.22
5qbf-5cnf-40var-1280cl.0UNSAT0.78
5qbf-5cnf-40var-1280cl.2UNSAT0.87
5qbf-5cnf-40var-1280cl.7UNSAT0.9
5qbf-5cnf-40var-1280cl.1UNSAT0.92
5qbf-5cnf-40var-1280cl.6UNSAT2.19
5qbf-5cnf-40var-1280cl.5UNSAT3.15
5qbf-5cnf-40var-1280cl.3UNSAT12.43
5qbf-5cnf-40var-1280cl.8UNSAT14.06
5qbf-5cnf-40var-1280cl.4UNSAT17.46