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

InstanceResultTime
2qbf-5cnf-40var-80cl.5SAT0
2qbf-5cnf-40var-80cl.8SAT0.01
2qbf-5cnf-40var-80cl.4SAT0.02
2qbf-5cnf-40var-80cl.1SAT0.03
2qbf-5cnf-40var-80cl.2SAT0.04
2qbf-5cnf-40var-80cl.3SAT0.11
2qbf-5cnf-40var-80cl.0SAT0.59
2qbf-5cnf-40var-80cl.7SAT0.79
2qbf-5cnf-40var-80cl.9SAT1.41
2qbf-5cnf-40var-80cl.6SAT7.4