Unique instances for qpro <br> QBFEVAL'08 - non-prenex non-cnf track.

Unique instances for qpro
QBFEVAL'08 - non-prenex non-cnf track.

Instance	Time	Result
008-020-03-06-042.ncf-bin	0.33	UNSAT
008-020-03-06-026.ncf-bin	0.24	SAT
008-020-03-05-028.ncf-bin	5.14	UNSAT
008-020-03-06-024.ncf-bin	11.99	SAT
008-020-03-06-025.ncf-bin	35.3	SAT
008-020-03-05-035.ncf-bin	0.15	SAT
008-020-03-04-047.ncf-bin	4.16	SAT
008-020-03-05-039.ncf-bin	0.9	SAT
008-020-03-04-023.ncf-bin	0.67	SAT
008-020-03-04-015.ncf-bin	9.6	UNSAT
008-020-03-06-047.ncf-bin	0.29	SAT
008-020-03-05-037.ncf-bin	0.16	SAT
008-020-03-06-022.ncf-bin	0.14	UNSAT
008-020-03-06-034.ncf-bin	0.16	SAT
008-020-03-05-005.ncf-bin	0.14	UNSAT
008-020-03-04-001.ncf-bin	0.18	SAT
008-020-03-05-044.ncf-bin	1.8	UNSAT
008-020-03-04-033.ncf-bin	0.09	SAT
008-020-03-05-019.ncf-bin	0.73	SAT
008-020-03-04-031.ncf-bin	0.17	UNSAT
008-020-03-04-018.ncf-bin	0.41	UNSAT
008-020-03-06-037.ncf-bin	0.49	UNSAT
008-020-03-06-049.ncf-bin	2.38	UNSAT
008-020-03-04-045.ncf-bin	3.82	UNSAT
008-020-03-04-041.ncf-bin	0.3	SAT
008-020-03-06-036.ncf-bin	0.75	UNSAT
008-020-03-04-046.ncf-bin	8.71	SAT
008-020-03-05-006.ncf-bin	6.56	SAT
008-020-03-06-010.ncf-bin	0.14	SAT
008-020-03-06-009.ncf-bin	1.27	SAT
008-020-03-06-046.ncf-bin	21.49	UNSAT
008-020-03-06-014.ncf-bin	1.97	SAT
008-020-03-06-030.ncf-bin	1.14	SAT
008-020-03-06-040.ncf-bin	0.72	UNSAT
008-020-03-05-008.ncf-bin	0.64	UNSAT
008-020-03-06-007.ncf-bin	0.76	UNSAT
008-020-03-04-009.ncf-bin	0.13	UNSAT
008-020-03-06-041.ncf-bin	0.26	SAT
008-020-03-05-041.ncf-bin	0.14	SAT
008-020-03-06-004.ncf-bin	0.17	SAT
008-020-03-05-043.ncf-bin	1.38	UNSAT
008-020-03-06-023.ncf-bin	42.94	UNSAT
008-020-03-06-019.ncf-bin	0.36	UNSAT
008-020-03-06-032.ncf-bin	0.38	SAT
008-020-03-06-001.ncf-bin	8.21	SAT
008-020-03-04-019.ncf-bin	1.12	SAT
008-020-03-04-026.ncf-bin	0.45	SAT
008-020-03-05-002.ncf-bin	0.12	UNSAT
008-020-03-06-048.ncf-bin	0.39	SAT
008-020-03-06-031.ncf-bin	0.14	SAT
008-020-03-05-046.ncf-bin	2.4	SAT
008-020-03-04-037.ncf-bin	0.09	SAT
008-020-03-04-008.ncf-bin	0.12	SAT
008-020-03-04-011.ncf-bin	0.24	UNSAT
008-020-03-06-033.ncf-bin	0.17	SAT
008-020-03-06-045.ncf-bin	0.6	SAT
008-020-03-04-017.ncf-bin	5.66	UNSAT
008-020-03-06-003.ncf-bin	5.22	SAT
008-020-03-04-036.ncf-bin	8.01	SAT
008-020-03-05-020.ncf-bin	3.1	SAT
008-020-03-06-020.ncf-bin	1.32	SAT
008-020-03-05-048.ncf-bin	4.17	SAT
008-020-03-05-040.ncf-bin	6.12	UNSAT
008-020-03-05-038.ncf-bin	0.4	SAT
008-020-03-05-030.ncf-bin	0.21	UNSAT
008-020-03-05-036.ncf-bin	0.11	SAT
008-020-03-06-021.ncf-bin	0.33	SAT
008-020-03-05-023.ncf-bin	0.14	UNSAT
008-020-03-05-026.ncf-bin	0.15	UNSAT
008-020-03-06-013.ncf-bin	0.14	SAT
008-020-03-04-025.ncf-bin	0.18	SAT
008-020-03-06-039.ncf-bin	4.12	SAT
008-020-03-05-004.ncf-bin	0.81	UNSAT
008-020-03-06-008.ncf-bin	0.7	UNSAT
008-020-03-04-028.ncf-bin	0.11	UNSAT
008-020-03-06-043.ncf-bin	0.35	SAT
008-020-03-06-035.ncf-bin	0.21	UNSAT
008-020-03-06-005.ncf-bin	0.57	SAT
008-020-03-05-007.ncf-bin	0.12	SAT
008-020-03-05-013.ncf-bin	5.53	UNSAT
008-020-03-06-029.ncf-bin	1.95	SAT
008-020-03-06-038.ncf-bin	0.46	SAT
008-020-03-05-032.ncf-bin	0.12	SAT
008-020-03-06-011.ncf-bin	0.46	SAT
008-020-03-05-017.ncf-bin	1.34	UNSAT
008-020-03-04-016.ncf-bin	0.13	UNSAT
008-020-03-04-049.ncf-bin	3.59	SAT
008-020-03-06-027.ncf-bin	40.69	SAT
008-020-03-05-033.ncf-bin	0.56	SAT
008-020-03-05-022.ncf-bin	1.65	SAT
008-020-03-05-034.ncf-bin	1.4	SAT
008-020-03-04-030.ncf-bin	0.36	UNSAT
008-020-03-04-034.ncf-bin	0.77	SAT
008-020-03-06-012.ncf-bin	2.47	SAT
008-020-03-04-020.ncf-bin	0.54	UNSAT
008-020-03-04-010.ncf-bin	0.08	SAT
008-020-03-05-024.ncf-bin	0.15	SAT
008-020-03-06-018.ncf-bin	0.92	UNSAT
008-020-03-06-016.ncf-bin	0.48	UNSAT

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Unique instances for qpro
QBFEVAL'08 - non-prenex non-cnf track.

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Unique instances for qpro QBFEVAL'08 - non-prenex non-cnf track.

Unique instances for qpro
QBFEVAL'08 - non-prenex non-cnf track.