Unique instances for sSolve <br> QBFEVAL'05

qbflib.org

Unique instances for sSolve
QBFEVAL'05

Instance	Time	Result
2qbf-5cnf-40var-160cl.5	0.06	SAT
4qbf-5cnf-80var-320cl.9	0.01	SAT
ncf_16_64_2_u.7	74.33	SAT
ncf_16_64_2_d.7	417.38	SAT
ncf_8_16_8_u.10	17.28	SAT
ncf_8_16_8_euad.10	189.83	SAT
4qbf-5cnf-160var-640cl.9	0.01	SAT
4qbf-5cnf-160var-640cl.4	0	SAT
ncf_16_64_2_euad.7	321.65	SAT
2qbf-5cnf-160var-320cl.8	0	SAT
4qbf-5cnf-80var-320cl.1	0	SAT
2qbf-5cnf-40var-160cl.3	0.02	SAT
ncf_16_64_2_edau.7	80.76	SAT
4qbf-5cnf-80var-320cl.7	0	SAT
6qbf-5cnf-40var-320cl.2	0.01	SAT
4qbf-5cnf-160var-640cl.0	0	SAT
4qbf-5cnf-80var-320cl.2	0.01	SAT
2qbf-5cnf-80var-320cl.7	404.42	SAT
ncf_8_16_8_edau.10	6.58	SAT
ncf_4_32_2_euad.9	858.8	UNSAT
2qbf-5cnf-80var-320cl.8	149.04	SAT
6qbf-5cnf-160var-1280cl.6	1.02	SAT
6qbf-5cnf-160var-1280cl.9	0.01	SAT
ncf_8_16_8_d.10	45.51	SAT
6qbf-5cnf-80var-640cl.6	0.71	SAT
6qbf-5cnf-80var-640cl.9	0.01	SAT
6qbf-5cnf-80var-640cl.3	0	SAT
4qbf-5cnf-160var-640cl.3	0	SAT
4qbf-5cnf-160var-640cl.5	0.01	SAT
6qbf-5cnf-80var-640cl.7	0.01	SAT
4qbf-5cnf-160var-640cl.6	0	SAT
6qbf-5cnf-160var-1280cl.1	0.01	SAT
6qbf-5cnf-160var-1280cl.3	0.03	SAT
6qbf-5cnf-80var-640cl.4	0.01	SAT
4qbf-5cnf-160var-640cl.8	0	SAT
4qbf-5cnf-160var-640cl.7	0.01	SAT
4qbf-5cnf-160var-640cl.1	0	SAT
ncf_4_32_2_d.9	360.99	UNSAT
4qbf-5cnf-160var-640cl.2	0.01	SAT

Contact | Organization | Links | Citing QBFLIB