Instances of family HardwareFixpoint solved by <a href='solver_detail.php?solver=269'>GhostQ-PG_cegar</a> <br> QBFEVAL'18

Instances of family HardwareFixpoint solved by GhostQ-PG_cegar
QBFEVAL'18 - Prenex 2QBF Track

Instance	Result	Time
small-synabs-fixpoint-3	UNSAT	0
itc-b13-fixpoint-1	UNSAT	0
small-pipeline-fixpoint-1	UNSAT	0.59
usb-phy-fixpoint-1	UNSAT	0.69
small-seq-fixpoint-1	UNSAT	0.9
itc-b13-fixpoint-2	UNSAT	0.91
cache-coherence-3-fixpoint-1	UNSAT	1.09
small-synabs-fixpoint-10	UNSAT	1.22
ethernet-fixpoint-1	UNSAT	1.37
sdlx-fixpoint-3	UNSAT	1.51
cache-coherence-2-fixpoint-2	UNSAT	1.69
usb-phy-fixpoint-2	UNSAT	1.8
itc-b13-fixpoint-3	SAT	1.83
small-pipeline-fixpoint-2	UNSAT	1.9
sdlx-fixpoint-4	UNSAT	2.39
cache-coherence-3-fixpoint-2	UNSAT	2.5
itc-b13-fixpoint-4	SAT	2.83
usb-phy-fixpoint-3	UNSAT	2.89
sdlx-fixpoint-5	UNSAT	3
small-seq-fixpoint-2	UNSAT	3.19
small-pipeline-fixpoint-3	UNSAT	3.3
cache-coherence-2-fixpoint-4	UNSAT	3.59
itc-b13-fixpoint-5	SAT	3.8
cache-coherence-3-fixpoint-3	UNSAT	3.88
itc-b13-fixpoint-8	SAT	4.08
cache-coherence-2-fixpoint-5	UNSAT	4.6
usb-phy-fixpoint-4	UNSAT	4.8
small-seq-fixpoint-3	UNSAT	5.51
sdlx-fixpoint-6	UNSAT	5.61
cache-coherence-2-fixpoint-6	UNSAT	5.62
itc-b13-fixpoint-6	SAT	6.94
usb-phy-fixpoint-5	UNSAT	7.09
itc-b13-fixpoint-10	SAT	7.14
pi-bus-fixpoint-1	UNSAT	7.39
small-seq-fixpoint-4	UNSAT	7.9
ethernet-fixpoint-2	UNSAT	8.29
sdlx-fixpoint-7	SAT	9.84
sdlx-fixpoint-8	SAT	9.88
small-seq-fixpoint-5	UNSAT	10.51
sdlx-fixpoint-9	SAT	11.58
itc-b13-fixpoint-7	SAT	12.08
itc-b13-fixpoint-9	SAT	13
small-seq-fixpoint-6	UNSAT	13.21
sdlx-fixpoint-10	SAT	13.98
small-seq-fixpoint-7	UNSAT	15.53
ethernet-fixpoint-3	UNSAT	16.39
pi-bus-fixpoint-2	UNSAT	19.42
small-seq-fixpoint-8	UNSAT	20.53
small-seq-fixpoint-9	UNSAT	20.68
small-seq-fixpoint-10	UNSAT	22.78
AR-fixpoint-1	FAIL	28.56
pi-bus-fixpoint-3	UNSAT	28.74
ethernet-fixpoint-4	UNSAT	42.42
AR-fixpoint-2	FAIL	103.05
AR-fixpoint-4	FAIL	257.16
AR-fixpoint-6	FAIL	406.49
AR-fixpoint-8	FAIL	560.87
AR-fixpoint-10	FAIL	711.28
small-swap1-fixpoint-4	FAIL	900.01
small-equiv-fixpoint-3	FAIL	900.01
small-swap1-fixpoint-8	FAIL	900.01
small-equiv-fixpoint-8	FAIL	900.02
small-equiv-fixpoint-4	FAIL	900.03
small-swap1-fixpoint-6	FAIL	900.04
small-swap1-fixpoint-10	FAIL	900.04
small-swap1-fixpoint-5	FAIL	900.05
small-equiv-fixpoint-5	FAIL	900.05
small-swap1-fixpoint-7	FAIL	900.06
small-swap1-fixpoint-9	FAIL	900.06
small-equiv-fixpoint-2	FAIL	900.09
small-equiv-fixpoint-1	FAIL	900.1

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family HardwareFixpoint solved by GhostQ-PG_cegar
QBFEVAL'18 - Prenex 2QBF Track

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family HardwareFixpoint solved by GhostQ-PG_cegar QBFEVAL'18 - Prenex 2QBF Track

Instances of family HardwareFixpoint solved by GhostQ-PG_cegar
QBFEVAL'18 - Prenex 2QBF Track