Instances of family crafted_2020 solved by <a href='solver_detail.php?solver=334'>GhostQ___plain_pcnf

Instances of family crafted_2020 solved by GhostQ___plain_pcnf_2019
Crafted Instances Track

Instance	Result	Time
EQ2-N-5	UNSAT	0
KBKF-N-40	UNSAT	0
CR-N-3	UNSAT	0
KBKF-N-5	UNSAT	0
KBKF-N-50	UNSAT	0
KBKF-N-8	UNSAT	0
KBKF_LD-N-10	UNSAT	0
KBKF_LD-N-15	UNSAT	0
BEQ-N-5	UNSAT	0
KBKF_LD-N-20	UNSAT	0
BEQ-N-4	UNSAT	0
KBKF_LD-N-3	UNSAT	0
BEQ-N-3	UNSAT	0
KBKF_LD-N-30	UNSAT	0
KBKF_LD-N-4	UNSAT	0
KBKF_LD-N-40	UNSAT	0
BEQ-N-8	UNSAT	0
KBKF_LD-N-5	UNSAT	0
CR-N-4	UNSAT	0
KBKF-N-4	UNSAT	0
EQ2-N-3	UNSAT	0
KBKF-N-10	UNSAT	0
KBKF-N-100	UNSAT	0
KBKF-N-20	UNSAT	0
EQ-N-8	UNSAT	0
EQ-N-50	UNSAT	0
EQ-N-5	UNSAT	0
EQ-N-40	UNSAT	0
EQ-N-4	UNSAT	0
EQ-N-30	UNSAT	0
EQ-N-3	UNSAT	0
EQ-N-20	UNSAT	0
EQ-N-15	UNSAT	0
EQ-N-10	UNSAT	0
KBKF-N-3	UNSAT	0
KBKF-N-30	UNSAT	0
EQ2-N-4	UNSAT	0
KBKF_LD-N-50	UNSAT	0
TRAP-N-5	UNSAT	0
LQ_PARITY-N-3	UNSAT	0
LQ_PARITY-N-4	UNSAT	0
LQ_PARITY-N-5	UNSAT	0
LQ_PARITY-N-8	UNSAT	0
PARITY-N-10	UNSAT	0
PARITY-N-15	UNSAT	0
PARITY-N-3	UNSAT	0
PARITY-N-4	UNSAT	0
PARITY-N-5	UNSAT	0
PARITY-N-8	UNSAT	0
QU_PARITY-N-3	UNSAT	0
QU_PARITY-N-4	UNSAT	0
QU_PARITY-N-5	UNSAT	0
QU_PARITY-N-8	UNSAT	0
TRAP-N-3	UNSAT	0
TRAP-N-4	UNSAT	0
LONSING-N-8	UNSAT	0
KBKF-N-15	UNSAT	0
KBKF_QU-N-5	UNSAT	0
KBKF_QU-N-40	UNSAT	0
KBKF_QU-N-4	UNSAT	0
KBKF_QU-N-30	UNSAT	0
KBKF_QU-N-3	UNSAT	0
KBKF_QU-N-20	UNSAT	0
KBKF_QU-N-15	UNSAT	0
KBKF_QU-N-10	UNSAT	0
KBKF_LD-N-8	UNSAT	0
KBKF_QU-N-50	UNSAT	0
LONSING-N-4	UNSAT	0
KBKF_QU-N-8	UNSAT	0
LONSING-N-10	UNSAT	0
LONSING-N-3	UNSAT	0
LONSING-N-5	UNSAT	0
LQ_PARITY-N-10	UNSAT	0.07
QU_PARITY-N-10	UNSAT	0.07
CR-N-5	UNSAT	0.07
PARITY-N-20	UNSAT	0.08
BEQ-N-10	UNSAT	0.09
EQ-N-100	UNSAT	0.12
KBKF_QU-N-100	UNSAT	0.17
TRAP-N-8	UNSAT	0.19
LONSING-N-15	UNSAT	0.54
EQ2-N-8	UNSAT	0.54
LONSING-N-20	UNSAT	1.22
PARITY-N-30	UNSAT	1.51
EQ2-N-10	UNSAT	4.17
LONSING-N-30	UNSAT	4.22
TRAP-N-10	UNSAT	6.43
LONSING-N-40	UNSAT	10.78
BEQ-N-15	UNSAT	14.04
PARITY-N-40	UNSAT	18.6
LONSING-N-50	UNSAT	22.32
LQ_PARITY-N-15	UNSAT	78.54
QU_PARITY-N-15	UNSAT	105.64
LONSING-N-100	UNSAT	225.65
LQ_PARITY-N-50	FAIL	900
PARITY-N-100	FAIL	900
LQ_PARITY-N-20	FAIL	900
LQ_PARITY-N-40	FAIL	900
LQ_PARITY-N-30	FAIL	900
LQ_PARITY-N-100	FAIL	900
TRAP-N-100	FAIL	900
TRAP-N-15	FAIL	900
TRAP-N-20	FAIL	900
TRAP-N-30	FAIL	900
TRAP-N-40	FAIL	900
QU_PARITY-N-50	FAIL	900
PARITY-N-50	FAIL	900
QU_PARITY-N-100	FAIL	900
QU_PARITY-N-20	FAIL	900
QU_PARITY-N-30	FAIL	900
QU_PARITY-N-40	FAIL	900
TRAP-N-50	FAIL	900
EQ2-N-40	FAIL	900
CR-N-100	FAIL	900
CR-N-10	FAIL	900
KBKF_LD-N-100	FAIL	900
BEQ-N-50	FAIL	900
BEQ-N-40	FAIL	900
BEQ-N-30	FAIL	900
BEQ-N-20	FAIL	900
CR-N-15	FAIL	900
CR-N-20	FAIL	900
CR-N-30	FAIL	900
EQ2-N-30	FAIL	900
EQ2-N-50	FAIL	900
EQ2-N-20	FAIL	900
EQ2-N-15	FAIL	900
EQ2-N-100	FAIL	900
CR-N-8	FAIL	900
CR-N-50	FAIL	900
CR-N-40	FAIL	900
BEQ-N-100	FAIL	900

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family crafted_2020 solved by GhostQ___plain_pcnf_2019
Crafted Instances Track

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family crafted_2020 solved by GhostQ___plain_pcnf_2019 Crafted Instances Track

Instances of family crafted_2020 solved by GhostQ___plain_pcnf_2019
Crafted Instances Track