Instances of family HardwareFixpoint solved by <a href='solver_detail.php?solver=306'>Caqe-hqspre</a> <br> QBFEVAL'18

Instances of family HardwareFixpoint solved by Caqe-hqspre
QBFEVAL'18 - Prenex 2QBF Track

Instance	Result	Time
small-pipeline-fixpoint-1	UNSAT	0
small-seq-fixpoint-1	UNSAT	0
small-swap1-fixpoint-6	SAT	0
small-swap1-fixpoint-4	SAT	0
small-synabs-fixpoint-3	UNSAT	0
itc-b13-fixpoint-2	UNSAT	0
itc-b13-fixpoint-1	UNSAT	0
itc-b13-fixpoint-3	SAT	0
usb-phy-fixpoint-1	UNSAT	0.6
itc-b13-fixpoint-4	SAT	0.86
small-swap1-fixpoint-8	SAT	0.91
small-swap1-fixpoint-5	SAT	0.92
small-swap1-fixpoint-7	SAT	1.02
itc-b13-fixpoint-5	SAT	1.2
small-swap1-fixpoint-10	SAT	1.52
small-synabs-fixpoint-10	UNSAT	1.6
itc-b13-fixpoint-6	SAT	1.82
small-pipeline-fixpoint-2	UNSAT	2.07
cache-coherence-3-fixpoint-1	UNSAT	2.28
small-swap1-fixpoint-9	SAT	2.56
itc-b13-fixpoint-7	SAT	2.61
ethernet-fixpoint-1	UNSAT	2.87
cache-coherence-2-fixpoint-2	UNSAT	3.09
usb-phy-fixpoint-2	UNSAT	3.19
small-seq-fixpoint-2	UNSAT	3.77
sdlx-fixpoint-3	UNSAT	4.88
itc-b13-fixpoint-8	SAT	6.1
sdlx-fixpoint-4	UNSAT	7.55
itc-b13-fixpoint-9	SAT	10.08
cache-coherence-3-fixpoint-2	UNSAT	11.57
sdlx-fixpoint-5	UNSAT	12.58
itc-b13-fixpoint-10	SAT	13.61
small-seq-fixpoint-3	UNSAT	15.02
small-pipeline-fixpoint-3	UNSAT	16.13
ethernet-fixpoint-2	UNSAT	16.49
usb-phy-fixpoint-3	UNSAT	18.04
pi-bus-fixpoint-1	UNSAT	32.74
ethernet-fixpoint-3	UNSAT	37.16
cache-coherence-2-fixpoint-4	UNSAT	46.76
usb-phy-fixpoint-4	UNSAT	47.48
cache-coherence-3-fixpoint-3	UNSAT	68.3
sdlx-fixpoint-6	UNSAT	81.88
cache-coherence-2-fixpoint-5	UNSAT	91.52
usb-phy-fixpoint-5	UNSAT	94.79
small-seq-fixpoint-4	UNSAT	126.81
cache-coherence-2-fixpoint-6	UNSAT	146.67
ethernet-fixpoint-4	UNSAT	373.77
sdlx-fixpoint-7	SAT	838.31
pi-bus-fixpoint-2	FAIL	900
sdlx-fixpoint-10	FAIL	900
sdlx-fixpoint-8	FAIL	900.01
small-seq-fixpoint-6	FAIL	900.01
small-seq-fixpoint-9	FAIL	900.01
small-equiv-fixpoint-2	FAIL	900.01
AR-fixpoint-4	FAIL	900.02
small-seq-fixpoint-5	FAIL	900.02
small-seq-fixpoint-7	FAIL	900.03
small-equiv-fixpoint-3	FAIL	900.03
AR-fixpoint-1	FAIL	900.03
AR-fixpoint-6	FAIL	900.03
AR-fixpoint-2	FAIL	900.04
AR-fixpoint-8	FAIL	900.05
small-seq-fixpoint-8	FAIL	900.05
small-equiv-fixpoint-4	FAIL	900.05
small-equiv-fixpoint-1	FAIL	900.06
pi-bus-fixpoint-3	FAIL	900.06
small-seq-fixpoint-10	FAIL	900.08
small-equiv-fixpoint-5	FAIL	900.08
sdlx-fixpoint-9	FAIL	900.08
small-equiv-fixpoint-8	FAIL	900.09
AR-fixpoint-10	FAIL	900.09

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family HardwareFixpoint solved by Caqe-hqspre
QBFEVAL'18 - Prenex 2QBF Track

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family HardwareFixpoint solved by Caqe-hqspre QBFEVAL'18 - Prenex 2QBF Track

Instances of family HardwareFixpoint solved by Caqe-hqspre
QBFEVAL'18 - Prenex 2QBF Track