Instances of family mA-t2-1qbf-5cnf-160var-1280cl solved by openQbf
QBFEVAL'05

InstanceResultTime
1qbf-5cnf-160var-1280cl.4SAT0.31
1qbf-5cnf-160var-1280cl.5SAT0.32
1qbf-5cnf-160var-1280cl.3SAT0.33
1qbf-5cnf-160var-1280cl.0SAT0.34
1qbf-5cnf-160var-1280cl.7SAT0.36
1qbf-5cnf-160var-1280cl.9SAT0.37
1qbf-5cnf-160var-1280cl.6SAT0.37
1qbf-5cnf-160var-1280cl.8SAT0.37
1qbf-5cnf-160var-1280cl.2SAT0.4
1qbf-5cnf-160var-1280cl.1SAT0.42