Instances of family mA-t2-1qbf-5cnf-80var-2560cl solved by sKizzo-0.9-std
QBFEVAL'06

InstanceResultTime
1qbf-5cnf-80var-2560cl.2UNSAT61.23
1qbf-5cnf-80var-2560cl.8UNSAT61.77
1qbf-5cnf-80var-2560cl.6UNSAT62.25
1qbf-5cnf-80var-2560cl.3UNSAT63.29
1qbf-5cnf-80var-2560cl.4UNSAT63.46
1qbf-5cnf-80var-2560cl.1UNSAT69.16
1qbf-5cnf-80var-2560cl.0UNSAT73.83
1qbf-5cnf-80var-2560cl.9UNSAT73.93
1qbf-5cnf-80var-2560cl.7UNSAT90.84
1qbf-5cnf-80var-2560cl.5UNSAT93.47