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

qbflib.org

Instances of family Q_2_3 solved by QELL_default
QBFEVAL'17 - Random QBFs Track

Instance	Result	Time
Q_2-3_v-80-100_r-13.1	UNSAT	0.18
Q_2-3_v-80-100_r-13.6	UNSAT	0.23
Q_2-3_v-80-100_r-13.5	UNSAT	1.39
Q_2-3_v-80-100_r-13.4	UNSAT	1.74
Q_2-3_v-80-100_r-13.8	UNSAT	3.61
Q_2-3_v-80-100_r-13.7	UNSAT	4.95
Q_2-3_v-80-100_r-13.0	UNSAT	9.71
Q_2-3_v-80-100_r-11.9	UNSAT	621.27
Q_2-3_v-80-100_r-11.2	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-11.3	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-11.4	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-9.8	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.9	FAIL	900
Q_2-3_v-80-100_r-11.6	FAIL	900
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-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-11.0	FAIL	900
Q_2-3_v-80-100_r-11.8	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-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

Contact | Organization | Links | Citing QBFLIB