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

InstanceResultTime
1qbf-5cnf-160var-1280cl.9SAT0
1qbf-5cnf-160var-1280cl.3SAT0
1qbf-5cnf-160var-1280cl.2SAT0
1qbf-5cnf-160var-1280cl.1SAT0.01
1qbf-5cnf-160var-1280cl.4SAT0.01
1qbf-5cnf-160var-1280cl.6SAT0.02
1qbf-5cnf-160var-1280cl.8SAT0.02
1qbf-5cnf-160var-1280cl.5SAT0.02
1qbf-5cnf-160var-1280cl.0SAT0.03
1qbf-5cnf-160var-1280cl.7SAT0.03