Instances of family HardwareFixpoint solved by <a href='solver_detail.php?solver=302'>aspq3alt</a> <br> QBFEVAL'18

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

Instance	Result	Time
small-synabs-fixpoint-3	UNSAT	0
small-swap1-fixpoint-5	SAT	0
itc-b13-fixpoint-1	UNSAT	0
itc-b13-fixpoint-2	UNSAT	0.52
usb-phy-fixpoint-1	UNSAT	0.57
small-seq-fixpoint-1	UNSAT	0.61
small-swap1-fixpoint-4	SAT	0.63
small-swap1-fixpoint-6	SAT	0.7
small-pipeline-fixpoint-1	UNSAT	0.76
small-swap1-fixpoint-7	SAT	0.83
small-synabs-fixpoint-10	UNSAT	0.9
small-swap1-fixpoint-8	SAT	0.99
itc-b13-fixpoint-3	SAT	1.08
ethernet-fixpoint-1	UNSAT	1.14
small-swap1-fixpoint-9	SAT	1.42
small-swap1-fixpoint-10	SAT	1.5
itc-b13-fixpoint-4	SAT	1.68
cache-coherence-3-fixpoint-1	UNSAT	2.43
itc-b13-fixpoint-5	SAT	2.44
usb-phy-fixpoint-2	UNSAT	2.54
cache-coherence-2-fixpoint-2	UNSAT	3
itc-b13-fixpoint-6	SAT	3.48
usb-phy-fixpoint-3	UNSAT	4.09
ethernet-fixpoint-2	UNSAT	4.29
itc-b13-fixpoint-7	SAT	4.67
cache-coherence-3-fixpoint-2	UNSAT	5.79
itc-b13-fixpoint-8	SAT	6.07
cache-coherence-2-fixpoint-4	UNSAT	7.02
itc-b13-fixpoint-9	SAT	7.06
itc-b13-fixpoint-10	SAT	9.1
cache-coherence-3-fixpoint-3	UNSAT	9.79
cache-coherence-2-fixpoint-5	UNSAT	10.82
cache-coherence-2-fixpoint-6	UNSAT	14.02
pi-bus-fixpoint-1	UNSAT	19.2
usb-phy-fixpoint-4	UNSAT	165.16
sdlx-fixpoint-10	FAIL	900
small-equiv-fixpoint-4	FAIL	900
sdlx-fixpoint-5	FAIL	900.01
small-seq-fixpoint-4	FAIL	900.01
small-pipeline-fixpoint-2	FAIL	900.01
small-seq-fixpoint-9	FAIL	900.01
sdlx-fixpoint-6	FAIL	900.01
AR-fixpoint-1	FAIL	900.01
small-equiv-fixpoint-2	FAIL	900.01
small-equiv-fixpoint-8	FAIL	900.02
sdlx-fixpoint-7	FAIL	900.02
small-seq-fixpoint-2	FAIL	900.03
small-equiv-fixpoint-3	FAIL	900.03
sdlx-fixpoint-8	FAIL	900.03
ethernet-fixpoint-3	FAIL	900.03
AR-fixpoint-10	FAIL	900.03
small-seq-fixpoint-5	FAIL	900.03
small-seq-fixpoint-6	FAIL	900.04
pi-bus-fixpoint-2	FAIL	900.04
sdlx-fixpoint-3	FAIL	900.04
usb-phy-fixpoint-5	FAIL	900.04
AR-fixpoint-2	FAIL	900.04
small-seq-fixpoint-7	FAIL	900.05
AR-fixpoint-8	FAIL	900.05
small-seq-fixpoint-8	FAIL	900.05
ethernet-fixpoint-4	FAIL	900.06
small-equiv-fixpoint-5	FAIL	900.06
small-equiv-fixpoint-1	FAIL	900.06
sdlx-fixpoint-9	FAIL	900.06
AR-fixpoint-6	FAIL	900.07
sdlx-fixpoint-4	FAIL	900.07
small-pipeline-fixpoint-3	FAIL	900.07
AR-fixpoint-4	FAIL	900.08
small-seq-fixpoint-10	FAIL	900.09
small-seq-fixpoint-3	FAIL	900.09
pi-bus-fixpoint-3	FAIL	900.1

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

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