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

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

Instance	Result	Time
small-synabs-fixpoint-3	UNSAT	0
itc-b13-fixpoint-1	UNSAT	0.28
small-pipeline-fixpoint-1	UNSAT	0.61
itc-b13-fixpoint-2	UNSAT	0.95
cache-coherence-3-fixpoint-1	UNSAT	1.12
small-synabs-fixpoint-10	UNSAT	1.24
ethernet-fixpoint-1	UNSAT	1.41
sdlx-fixpoint-3	UNSAT	1.52
cache-coherence-2-fixpoint-2	UNSAT	1.67
itc-b13-fixpoint-3	SAT	1.9
small-pipeline-fixpoint-2	UNSAT	1.9
sdlx-fixpoint-4	UNSAT	2.31
cache-coherence-3-fixpoint-2	UNSAT	2.53
itc-b13-fixpoint-4	SAT	2.74
usb-phy-fixpoint-3	UNSAT	2.94
sdlx-fixpoint-5	UNSAT	3.02
small-pipeline-fixpoint-3	UNSAT	3.29
itc-b13-fixpoint-5	SAT	3.52
cache-coherence-2-fixpoint-4	UNSAT	3.66
cache-coherence-3-fixpoint-3	UNSAT	3.91
itc-b13-fixpoint-8	SAT	4.13
cache-coherence-2-fixpoint-5	UNSAT	4.68
usb-phy-fixpoint-4	UNSAT	4.79
sdlx-fixpoint-6	UNSAT	5.58
small-seq-fixpoint-3	UNSAT	5.61
cache-coherence-2-fixpoint-6	UNSAT	5.62
itc-b13-fixpoint-6	SAT	6.84
usb-phy-fixpoint-5	UNSAT	7.11
itc-b13-fixpoint-10	SAT	7.19
pi-bus-fixpoint-1	UNSAT	7.41
ethernet-fixpoint-2	UNSAT	8.19
sdlx-fixpoint-7	SAT	8.31
sdlx-fixpoint-8	SAT	9.73
small-seq-fixpoint-5	UNSAT	10.57
sdlx-fixpoint-9	SAT	11.42
itc-b13-fixpoint-7	SAT	11.61
itc-b13-fixpoint-9	SAT	12.53
sdlx-fixpoint-10	SAT	13.9
small-seq-fixpoint-7	UNSAT	15.72
ethernet-fixpoint-3	UNSAT	16.01
small-seq-fixpoint-8	UNSAT	18.15
pi-bus-fixpoint-2	UNSAT	19.62
small-seq-fixpoint-9	UNSAT	20.84
small-seq-fixpoint-10	UNSAT	22.81
AR-fixpoint-1	FAIL	28.86
pi-bus-fixpoint-3	UNSAT	29.03
ethernet-fixpoint-4	UNSAT	40.6
AR-fixpoint-2	FAIL	102.95
AR-fixpoint-4	FAIL	256.59
AR-fixpoint-6	FAIL	416.68
AR-fixpoint-8	FAIL	589.15
AR-fixpoint-10	FAIL	744.25
small-equiv-fixpoint-4	FAIL	900
small-swap1-fixpoint-4	FAIL	900
small-equiv-fixpoint-1	FAIL	900.01
small-swap1-fixpoint-10	FAIL	900.02
small-equiv-fixpoint-8	FAIL	900.04
small-swap1-fixpoint-6	FAIL	900.05
small-equiv-fixpoint-5	FAIL	900.06
small-swap1-fixpoint-7	FAIL	900.06
small-swap1-fixpoint-9	FAIL	900.08
small-swap1-fixpoint-8	FAIL	900.08
small-equiv-fixpoint-2	FAIL	900.08
small-equiv-fixpoint-3	FAIL	900.09
small-swap1-fixpoint-5	FAIL	900.09

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

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