Instances of family Q_2_3 solved by <a href='solver_detail.php?solver=277'>prefix-opt-depqbf</a> <br> QBFEVAL'17 - Random QBFs Track

qbflib.org

Instances of family Q_2_3 solved by prefix-opt-depqbf
QBFEVAL'17 - Random QBFs Track

Instance	Result	Time
Q_2-3_v-80-100_r-13.7	UNSAT	0.03
Q_2-3_v-80-100_r-13.0	UNSAT	0.04
Q_2-3_v-80-100_r-13.4	UNSAT	0.04
Q_2-3_v-80-100_r-13.1	UNSAT	0.05
Q_2-3_v-80-100_r-13.6	UNSAT	0.06
Q_2-3_v-80-100_r-13.5	UNSAT	0.06
Q_2-3_v-80-100_r-13.8	UNSAT	0.12
Q_2-3_v-80-100_r-11.3	UNSAT	1.68
Q_2-3_v-80-100_r-11.2	UNSAT	5.35
Q_2-3_v-80-100_r-11.6	UNSAT	10.17
Q_2-3_v-80-100_r-11.0	UNSAT	33.26
Q_2-3_v-80-100_r-11.4	UNSAT	108.13
Q_2-3_v-80-100_r-11.8	UNSAT	369.43
Q_2-3_v-80-100_r-5.5	FAIL	900
Q_2-3_v-80-100_r-7.3	FAIL	900
Q_2-3_v-80-100_r-9.1	FAIL	900
Q_2-3_v-80-100_r-9.9	FAIL	900
Q_2-3_v-80-100_r-11.7	FAIL	900
Q_2-3_v-80-100_r-5.6	FAIL	900
Q_2-3_v-80-100_r-7.4	FAIL	900
Q_2-3_v-80-100_r-9.2	FAIL	900
Q_2-3_v-80-100_r-5.7	FAIL	900
Q_2-3_v-80-100_r-7.5	FAIL	900
Q_2-3_v-80-100_r-9.3	FAIL	900
Q_2-3_v-80-100_r-11.1	FAIL	900
Q_2-3_v-80-100_r-11.9	FAIL	900
Q_2-3_v-80-100_r-5.0	FAIL	900
Q_2-3_v-80-100_r-5.8	FAIL	900
Q_2-3_v-80-100_r-7.6	FAIL	900
Q_2-3_v-80-100_r-9.4	FAIL	900
Q_2-3_v-80-100_r-5.1	FAIL	900
Q_2-3_v-80-100_r-5.9	FAIL	900
Q_2-3_v-80-100_r-7.7	FAIL	900
Q_2-3_v-80-100_r-9.5	FAIL	900
Q_2-3_v-80-100_r-5.2	FAIL	900
Q_2-3_v-80-100_r-7.0	FAIL	900
Q_2-3_v-80-100_r-7.8	FAIL	900
Q_2-3_v-80-100_r-9.6	FAIL	900
Q_2-3_v-80-100_r-5.3	FAIL	900
Q_2-3_v-80-100_r-7.1	FAIL	900
Q_2-3_v-80-100_r-7.9	FAIL	900
Q_2-3_v-80-100_r-9.7	FAIL	900
Q_2-3_v-80-100_r-11.5	FAIL	900
Q_2-3_v-80-100_r-5.4	FAIL	900
Q_2-3_v-80-100_r-7.2	FAIL	900
Q_2-3_v-80-100_r-9.0	FAIL	900
Q_2-3_v-80-100_r-9.8	FAIL	900

Contact | Organization | Links | Citing QBFLIB