Instances of family HardwareFixpoint solved by <a href='solver_detail.php?solver=316'>Heretiq-cube</a> <br> QBFEVAL'18

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

Instance	Result	Time
itc-b13-fixpoint-5	SAT	0
small-pipeline-fixpoint-1	UNSAT	0
small-seq-fixpoint-1	UNSAT	0
itc-b13-fixpoint-6	SAT	0
small-swap1-fixpoint-6	SAT	0
small-swap1-fixpoint-4	SAT	0
small-synabs-fixpoint-3	UNSAT	0
itc-b13-fixpoint-4	SAT	0
small-swap1-fixpoint-5	SAT	0
itc-b13-fixpoint-2	UNSAT	0
itc-b13-fixpoint-1	UNSAT	0
small-swap1-fixpoint-7	SAT	0
itc-b13-fixpoint-3	SAT	0
usb-phy-fixpoint-1	UNSAT	0.51
ethernet-fixpoint-1	UNSAT	0.55
small-synabs-fixpoint-10	UNSAT	0.59
itc-b13-fixpoint-7	SAT	0.77
small-swap1-fixpoint-8	SAT	0.77
cache-coherence-3-fixpoint-1	UNSAT	0.91
itc-b13-fixpoint-9	SAT	1.24
small-swap1-fixpoint-10	SAT	3
small-swap1-fixpoint-9	SAT	3.04
usb-phy-fixpoint-2	UNSAT	4.47
usb-phy-fixpoint-3	UNSAT	10.49
small-seq-fixpoint-2	UNSAT	38.68
itc-b13-fixpoint-8	SAT	303.74
small-seq-fixpoint-6	FAIL	432.21
small-seq-fixpoint-5	FAIL	440.44
small-seq-fixpoint-8	FAIL	440.96
small-seq-fixpoint-7	FAIL	442.92
small-seq-fixpoint-10	FAIL	450.01
small-seq-fixpoint-9	FAIL	451.85
sdlx-fixpoint-9	FAIL	457.76
small-pipeline-fixpoint-2	FAIL	457.94
cache-coherence-3-fixpoint-3	FAIL	460.28
small-seq-fixpoint-3	FAIL	464.43
ethernet-fixpoint-4	FAIL	464.48
sdlx-fixpoint-4	FAIL	469.94
sdlx-fixpoint-7	FAIL	470.34
ethernet-fixpoint-2	FAIL	473.05
cache-coherence-2-fixpoint-5	FAIL	474.24
sdlx-fixpoint-8	FAIL	480.07
sdlx-fixpoint-10	FAIL	480.33
cache-coherence-2-fixpoint-4	FAIL	481.61
cache-coherence-2-fixpoint-6	FAIL	482.01
cache-coherence-3-fixpoint-2	FAIL	482.9
sdlx-fixpoint-6	FAIL	482.95
cache-coherence-2-fixpoint-2	FAIL	483.12
small-seq-fixpoint-4	FAIL	490.38
usb-phy-fixpoint-4	FAIL	520.44
ethernet-fixpoint-3	FAIL	520.82
small-pipeline-fixpoint-3	FAIL	521.95
sdlx-fixpoint-5	FAIL	524.56
usb-phy-fixpoint-5	FAIL	530.22
sdlx-fixpoint-3	FAIL	540.15
pi-bus-fixpoint-1	FAIL	549.95
pi-bus-fixpoint-3	FAIL	551.6
pi-bus-fixpoint-2	FAIL	559.37
small-equiv-fixpoint-1	FAIL	640.42
small-equiv-fixpoint-4	FAIL	653.68
itc-b13-fixpoint-10	FAIL	653.79
small-equiv-fixpoint-5	FAIL	700.72
small-equiv-fixpoint-3	FAIL	805.99
small-equiv-fixpoint-8	FAIL	821.08
AR-fixpoint-4	FAIL	900.02
AR-fixpoint-10	FAIL	900.02
AR-fixpoint-2	FAIL	900.02
small-equiv-fixpoint-2	FAIL	900.04
AR-fixpoint-6	FAIL	900.05
AR-fixpoint-1	FAIL	900.07
AR-fixpoint-8	FAIL	900.08

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

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