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

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

Instance	Result	Time
itc-b13-fixpoint-2	UNSAT	0
itc-b13-fixpoint-1	UNSAT	0
small-synabs-fixpoint-3	UNSAT	0
small-swap1-fixpoint-4	SAT	0.62
itc-b13-fixpoint-3	SAT	0.67
small-swap1-fixpoint-6	SAT	0.73
small-swap1-fixpoint-5	SAT	1.2
small-swap1-fixpoint-8	SAT	1.22
itc-b13-fixpoint-4	SAT	1.25
small-swap1-fixpoint-7	SAT	1.37
itc-b13-fixpoint-5	SAT	1.75
small-swap1-fixpoint-10	SAT	1.89
small-synabs-fixpoint-10	UNSAT	2.08
itc-b13-fixpoint-6	SAT	2.5
cache-coherence-3-fixpoint-1	UNSAT	2.73
small-swap1-fixpoint-9	SAT	3.03
itc-b13-fixpoint-7	SAT	3.37
ethernet-fixpoint-1	UNSAT	3.45
cache-coherence-2-fixpoint-2	UNSAT	3.65
small-pipeline-fixpoint-1	UNSAT	3.86
sdlx-fixpoint-3	UNSAT	6.52
itc-b13-fixpoint-8	SAT	7.21
itc-b13-fixpoint-9	SAT	10.25
cache-coherence-3-fixpoint-2	UNSAT	13.17
itc-b13-fixpoint-10	SAT	15.47
small-seq-fixpoint-3	UNSAT	18.05
ethernet-fixpoint-2	UNSAT	18.56
usb-phy-fixpoint-3	UNSAT	20.36
pi-bus-fixpoint-1	UNSAT	38.63
ethernet-fixpoint-3	UNSAT	43.6
cache-coherence-2-fixpoint-4	UNSAT	53.33
usb-phy-fixpoint-4	UNSAT	54.34
cache-coherence-3-fixpoint-3	UNSAT	200.23
cache-coherence-2-fixpoint-5	UNSAT	200.99
cache-coherence-2-fixpoint-6	UNSAT	205.39
sdlx-fixpoint-4	UNSAT	229.19
usb-phy-fixpoint-5	UNSAT	324.66
small-seq-fixpoint-7	UNSAT	365
small-seq-fixpoint-5	UNSAT	386.22
pi-bus-fixpoint-2	UNSAT	393.49
ethernet-fixpoint-4	UNSAT	779.16
AR-fixpoint-10	FAIL	862.58
AR-fixpoint-1	FAIL	872.35
AR-fixpoint-4	FAIL	878.98
AR-fixpoint-8	FAIL	880.17
AR-fixpoint-2	FAIL	884.45
AR-fixpoint-6	FAIL	885.63
small-seq-fixpoint-8	FAIL	900.01
small-pipeline-fixpoint-3	FAIL	900.01
pi-bus-fixpoint-3	FAIL	900.01
small-equiv-fixpoint-2	FAIL	900.02
small-equiv-fixpoint-1	FAIL	900.02
small-seq-fixpoint-10	FAIL	900.03
sdlx-fixpoint-9	FAIL	900.03
sdlx-fixpoint-10	FAIL	900.03
sdlx-fixpoint-7	FAIL	900.03
small-equiv-fixpoint-5	FAIL	900.05
small-equiv-fixpoint-8	FAIL	900.05
sdlx-fixpoint-5	FAIL	900.05
small-equiv-fixpoint-3	FAIL	900.06
small-equiv-fixpoint-4	FAIL	900.06
small-seq-fixpoint-9	FAIL	900.06
sdlx-fixpoint-8	FAIL	900.06
small-pipeline-fixpoint-2	FAIL	900.08
sdlx-fixpoint-6	FAIL	900.09

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

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