Instances of family HardwareFixpoint solved by <a href='solver_detail.php?solver=290'>CADET_2017</a> <br> QBFEVAL'17

Instances of family HardwareFixpoint solved by CADET_2017
QBFEVAL'17 - Prenex 2QBF Track

Instance	Result	Time
small-dyn-partition-fixpoint-1	UNSAT	0
small-bug1-fixpoint-3	SAT	0
small-bug1-fixpoint-10	SAT	0
small-bug1-fixpoint-4	SAT	0
small-bug1-fixpoint-6	SAT	0
small-bug1-fixpoint-9	SAT	0
small-bug1-fixpoint-8	SAT	0
small-dyn-partition-fixpoint-2	UNSAT	0
small-bug1-fixpoint-5	SAT	0
small-dyn-partition-fixpoint-3	UNSAT	0
small-dyn-partition-fixpoint-5	UNSAT	0.01
small-dyn-partition-fixpoint-6	UNSAT	0.01
small-dyn-partition-fixpoint-4	UNSAT	0.01
small-dyn-partition-fixpoint-7	UNSAT	0.01
itc-b13-fixpoint-1	UNSAT	0.02
small-dyn-partition-fixpoint-9	UNSAT	0.02
small-dyn-partition-fixpoint-10	UNSAT	0.03
sdlx-fixpoint-1	UNSAT	0.03
small-pipeline-fixpoint-1	UNSAT	0.03
small-synabs-fixpoint-10	UNSAT	0.04
small-swap2-fixpoint-5	SAT	0.04
usb-phy-fixpoint-1	UNSAT	0.04
small-swap2-fixpoint-6	SAT	0.05
small-swap2-fixpoint-7	SAT	0.06
cache-coherence-3-fixpoint-1	UNSAT	0.06
small-seq-fixpoint-1	UNSAT	0.06
small-pipeline-fixpoint-2	UNSAT	0.06
itc-b13-fixpoint-2	UNSAT	0.06
sdlx-fixpoint-2	UNSAT	0.07
small-swap2-fixpoint-8	SAT	0.07
small-swap2-fixpoint-9	SAT	0.08
itc-b13-fixpoint-3	SAT	0.08
cache-coherence-2-fixpoint-2	UNSAT	0.08
ethernet-fixpoint-1	UNSAT	0.08
small-pipeline-fixpoint-3	UNSAT	0.09
small-swap2-fixpoint-10	SAT	0.09
itc-b13-fixpoint-4	SAT	0.11
small-seq-fixpoint-2	UNSAT	0.12
cache-coherence-3-fixpoint-2	UNSAT	0.12
ethernet-fixpoint-2	UNSAT	0.16
usb-phy-fixpoint-4	UNSAT	0.16
itc-b13-fixpoint-6	SAT	0.17
cache-coherence-2-fixpoint-5	UNSAT	0.19
itc-b13-fixpoint-7	SAT	0.2
usb-phy-fixpoint-5	UNSAT	0.2
usb-phy-fixpoint-2	UNSAT	0.21
sdlx-fixpoint-4	UNSAT	0.22
itc-b13-fixpoint-8	SAT	0.23
ethernet-fixpoint-3	UNSAT	0.24
small-seq-fixpoint-4	UNSAT	0.24
itc-b13-fixpoint-9	SAT	0.26
itc-b13-fixpoint-10	SAT	0.29
ethernet-fixpoint-4	UNSAT	0.34
sdlx-fixpoint-5	UNSAT	0.38
small-seq-fixpoint-6	UNSAT	0.38
sdlx-fixpoint-6	UNSAT	0.53
small-seq-fixpoint-10	UNSAT	0.66
pi-bus-fixpoint-2	UNSAT	0.79
sdlx-fixpoint-8	SAT	3.21
AR-fixpoint-2	UNSAT	3.97
sdlx-fixpoint-7	SAT	4.06
sdlx-fixpoint-9	SAT	6.62
sdlx-fixpoint-10	SAT	9.09
AR-fixpoint-4	UNSAT	12.09
AR-fixpoint-6	UNSAT	19.69
AR-fixpoint-8	UNSAT	31.97
AR-fixpoint-10	UNSAT	38.46
small-swap1-fixpoint-4	SAT	58.94
small-swap1-fixpoint-7	SAT	301.17
small-swap1-fixpoint-6	SAT	556.21
small-swap1-fixpoint-8	SAT	576.43
small-swap1-fixpoint-9	SAT	822.35
small-equiv-fixpoint-5	FAIL	900
small-equiv-fixpoint-8	FAIL	900
small-pipeline-fixpoint-9	FAIL	900
small-equiv-fixpoint-3	FAIL	900
small-equiv-fixpoint-1	FAIL	900
small-equiv-fixpoint-7	FAIL	900
small-pipeline-fixpoint-8	FAIL	900
small-pipeline-fixpoint-4	FAIL	900
small-equiv-fixpoint-2	FAIL	900
small-equiv-fixpoint-4	FAIL	900
small-swap1-fixpoint-5	FAIL	900
small-pipeline-fixpoint-10	FAIL	900
small-pipeline-fixpoint-5	FAIL	900
small-swap1-fixpoint-10	FAIL	900

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family HardwareFixpoint solved by CADET_2017
QBFEVAL'17 - Prenex 2QBF Track

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family HardwareFixpoint solved by CADET_2017 QBFEVAL'17 - Prenex 2QBF Track

Instances of family HardwareFixpoint solved by CADET_2017
QBFEVAL'17 - Prenex 2QBF Track