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

InstanceResultTime
4qbf-5cnf-80var-640cl.1UNSAT9.9
4qbf-5cnf-80var-640cl.5UNSAT10.39
4qbf-5cnf-80var-640cl.2UNSAT13.25
4qbf-5cnf-80var-640cl.4UNSAT14.47
4qbf-5cnf-80var-640cl.9UNSAT24.39
4qbf-5cnf-80var-640cl.0UNSAT30.45
4qbf-5cnf-80var-640cl.6UNSAT145.13
4qbf-5cnf-80var-640cl.8UNSAT287.74
4qbf-5cnf-80var-640cl.7UNSAT569.89
4qbf-5cnf-80var-640cl.3UNSAT639.75