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

qbflib.org

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

Instance	Result	Time
Q_2-3_v-80-100_r-13.7	UNSAT	0.26
Q_2-3_v-80-100_r-13.4	UNSAT	0.34
Q_2-3_v-80-100_r-13.5	UNSAT	0.57
Q_2-3_v-80-100_r-13.6	UNSAT	2.78
Q_2-3_v-80-100_r-13.1	UNSAT	20.82
Q_2-3_v-80-100_r-13.0	UNSAT	30.18
Q_2-3_v-80-100_r-13.8	UNSAT	30.18
Q_2-3_v-80-100_r-11.3	UNSAT	30.21
Q_2-3_v-80-100_r-11.4	UNSAT	38.16
Q_2-3_v-80-100_r-11.6	UNSAT	46.88
Q_2-3_v-80-100_r-11.7	UNSAT	104.7
Q_2-3_v-80-100_r-11.0	UNSAT	154.04
Q_2-3_v-80-100_r-11.9	UNSAT	189.67
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
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-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
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-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.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

Contact | Organization | Links | Citing QBFLIB