Instances of family HardwareFixpoint solved by <a href='solver_detail.php?solver=334'>GhostQ___plain_pcnf_2019</a> <br> QBFEVAL'19

Instances of family HardwareFixpoint solved by GhostQ___plain_pcnf_2019
QBFEVAL'19 - Prenex CNF Track

Instance	Result	Time
itc-b13-fixpoint-1	UNSAT	0.28
small-synabs-fixpoint-3	UNSAT	0.37
small-pipeline-fixpoint-1	UNSAT	0.61
itc-b13-fixpoint-2	UNSAT	0.77
cache-coherence-3-fixpoint-1	UNSAT	1.08
small-synabs-fixpoint-10	UNSAT	1.19
itc-b13-fixpoint-3	SAT	1.36
ethernet-fixpoint-1	UNSAT	1.38
sdlx-fixpoint-3	UNSAT	1.51
cache-coherence-2-fixpoint-2	UNSAT	1.82
small-pipeline-fixpoint-2	UNSAT	1.88
itc-b13-fixpoint-4	SAT	1.9
sdlx-fixpoint-4	UNSAT	2.16
itc-b13-fixpoint-5	SAT	2.79
sdlx-fixpoint-5	UNSAT	2.9
itc-b13-fixpoint-6	SAT	3.14
small-pipeline-fixpoint-3	UNSAT	3.16
cache-coherence-3-fixpoint-2	UNSAT	3.52
ethernet-fixpoint-2	UNSAT	3.72
itc-b13-fixpoint-7	SAT	3.88
sdlx-fixpoint-6	UNSAT	4
itc-b13-fixpoint-8	SAT	4.38
cache-coherence-2-fixpoint-4	UNSAT	4.9
cache-coherence-3-fixpoint-3	UNSAT	5.07
small-seq-fixpoint-3	UNSAT	5.43
sdlx-fixpoint-7	SAT	5.5
itc-b13-fixpoint-9	SAT	5.72
usb-phy-fixpoint-3	UNSAT	6.01
cache-coherence-2-fixpoint-5	UNSAT	6.29
sdlx-fixpoint-8	SAT	6.81
itc-b13-fixpoint-10	SAT	6.99
pi-bus-fixpoint-1	UNSAT	7.29
ethernet-fixpoint-3	UNSAT	7.31
cache-coherence-2-fixpoint-6	UNSAT	7.52
sdlx-fixpoint-9	SAT	7.93
sdlx-fixpoint-10	SAT	9.57
small-seq-fixpoint-5	UNSAT	10.33
usb-phy-fixpoint-4	UNSAT	11.7
ethernet-fixpoint-4	UNSAT	15.01
small-seq-fixpoint-7	UNSAT	15.52
small-seq-fixpoint-8	UNSAT	17.98
usb-phy-fixpoint-5	UNSAT	19.69
small-seq-fixpoint-9	UNSAT	20.52
small-seq-fixpoint-10	UNSAT	22.67
AR-fixpoint-1	FAIL	28.85
AR-fixpoint-2	FAIL	102.73
pi-bus-fixpoint-2	UNSAT	166.64
AR-fixpoint-4	FAIL	255.2
AR-fixpoint-6	FAIL	417.11
pi-bus-fixpoint-3	UNSAT	455.47
AR-fixpoint-8	FAIL	583.99
AR-fixpoint-10	FAIL	746.91
small-swap1-fixpoint-5	FAIL	900
small-equiv-fixpoint-8	FAIL	900.02
small-equiv-fixpoint-3	FAIL	900.02
small-swap1-fixpoint-8	FAIL	900.02
small-swap1-fixpoint-4	FAIL	900.03
small-equiv-fixpoint-5	FAIL	900.04
small-equiv-fixpoint-4	FAIL	900.05
small-swap1-fixpoint-10	FAIL	900.05
small-equiv-fixpoint-1	FAIL	900.06
small-swap1-fixpoint-9	FAIL	900.06
small-swap1-fixpoint-7	FAIL	900.07
small-swap1-fixpoint-6	FAIL	900.07
small-equiv-fixpoint-2	FAIL	900.11

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family HardwareFixpoint solved by GhostQ___plain_pcnf_2019
QBFEVAL'19 - Prenex CNF Track

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family HardwareFixpoint solved by GhostQ___plain_pcnf_2019 QBFEVAL'19 - Prenex CNF Track

Instances of family HardwareFixpoint solved by GhostQ___plain_pcnf_2019
QBFEVAL'19 - Prenex CNF Track