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

qbflib.org

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

Instance	Time	Result
dmeSmall_9-bin	0.24	UNSAT
assertion8_0_7-bin	0.31	UNSAT
assertion10_0_7-bin	0.31	UNSAT
assertion2_0_7-bin	0.31	UNSAT
possibility3_0_8-bin	0.04	UNSAT
possibility1_0_7-bin	0.31	UNSAT
assertion1_0_7-bin	0.37	UNSAT
assertion3_0_7-bin	0.32	UNSAT
possibility2_0_8-bin	0.04	UNSAT
assertion6_0_7-bin	0.32	UNSAT
assertion7_0_7-bin	0.31	UNSAT
possibility9_0_7-bin	0.31	UNSAT
assertion1_0_8-bin	0.04	UNSAT
possibility4_0_8-bin	0.03	UNSAT
possibility9_0_8-bin	0.03	UNSAT
assertion7_0_8-bin	0.04	UNSAT
possibility12_0_8-bin	0.04	UNSAT
assertion12_0_8-bin	0.04	UNSAT
assertion8_0_8-bin	0.04	UNSAT
assertion2_0_8-bin	0.03	UNSAT
assertion6_0_8-bin	0.05	UNSAT
possibility11_0_8-bin	0.04	UNSAT
assertion11_0_8-bin	0.03	UNSAT
assertion4_0_8-bin	0.04	UNSAT
assertion4_0_7-bin	0.31	UNSAT
possibility6_0_7-bin	0.31	UNSAT
possibility7_0_7-bin	0.31	UNSAT
consistency_0_8-bin	0.04	UNSAT
assertion5_0_7-bin	0.31	UNSAT
possibility3_0_7-bin	0.32	UNSAT
assertion5_0_8-bin	0.04	UNSAT
possibility11_0_7-bin	0.32	UNSAT
possibility1_0_8-bin	0.04	UNSAT
assertion11_0_7-bin	0.31	UNSAT
possibility2_0_7-bin	0.32	UNSAT
possibility5_0_7-bin	0.32	UNSAT
possibility10_0_8-bin	0.05	UNSAT
consistency_0_7-bin	0.32	UNSAT
possibility4_0_7-bin	0.32	UNSAT
assertion3_0_8-bin	0.04	UNSAT
assertion9_0_8-bin	0.04	UNSAT
assertion12_0_7-bin	0.32	UNSAT
possibility10_0_7-bin	0.32	UNSAT
assertion9_0_7-bin	0.32	UNSAT
assertion10_0_8-bin	0.04	UNSAT
possibility8_0_7-bin	0.31	UNSAT
possibility12_0_7-bin	0.31	UNSAT
possibility6_0_8-bin	0.04	UNSAT
possibility5_0_8-bin	0.04	UNSAT
possibility8_0_8-bin	0.04	UNSAT
possibility7_0_8-bin	0.04	UNSAT

Contact | Organization | Links | Citing QBFLIB