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

InstanceResultTime
5qbf-5cnf-160var-1280cl.6FAIL900.66
5qbf-5cnf-160var-1280cl.8FAIL900.83
5qbf-5cnf-160var-1280cl.4FAIL900.84
5qbf-5cnf-160var-1280cl.9FAIL900.88
5qbf-5cnf-160var-1280cl.7FAIL900.88
5qbf-5cnf-160var-1280cl.5FAIL900.9
5qbf-5cnf-160var-1280cl.2FAIL900.92
5qbf-5cnf-160var-1280cl.3FAIL900.95
5qbf-5cnf-160var-1280cl.1FAIL900.98
5qbf-5cnf-160var-1280cl.0FAIL901.01