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

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

Instance	Result	Time
small-synabs-fixpoint-3	UNSAT	0
itc-b13-fixpoint-2	UNSAT	0
itc-b13-fixpoint-1	UNSAT	0
small-pipeline-fixpoint-1	UNSAT	0
small-seq-fixpoint-1	UNSAT	0
itc-b13-fixpoint-3	SAT	0.65
small-swap1-fixpoint-4	SAT	0.67
usb-phy-fixpoint-1	SAT	0.76
small-swap1-fixpoint-6	SAT	0.91
itc-b13-fixpoint-4	SAT	1.38
small-swap1-fixpoint-5	SAT	1.47
small-swap1-fixpoint-8	SAT	1.47
small-swap1-fixpoint-7	SAT	1.53
itc-b13-fixpoint-5	SAT	1.92
small-swap1-fixpoint-10	SAT	2.28
itc-b13-fixpoint-6	SAT	2.99
small-swap1-fixpoint-9	SAT	3.1
cache-coherence-3-fixpoint-1	UNSAT	3.2
small-pipeline-fixpoint-2	UNSAT	3.29
itc-b13-fixpoint-7	SAT	4.36
ethernet-fixpoint-1	SAT	4.54
usb-phy-fixpoint-2	SAT	4.69
small-seq-fixpoint-2	UNSAT	4.84
cache-coherence-2-fixpoint-2	UNSAT	4.85
small-synabs-fixpoint-10	UNSAT	5.93
itc-b13-fixpoint-8	SAT	5.95
small-seq-fixpoint-3	UNSAT	7.1
sdlx-fixpoint-3	UNSAT	7.12
itc-b13-fixpoint-9	SAT	7.41
itc-b13-fixpoint-10	SAT	9.22
sdlx-fixpoint-4	UNSAT	10.16
usb-phy-fixpoint-3	SAT	13.16
cache-coherence-3-fixpoint-2	SAT	14
sdlx-fixpoint-5	UNSAT	15.06
small-pipeline-fixpoint-3	UNSAT	22.94
ethernet-fixpoint-2	SAT	23.24
usb-phy-fixpoint-4	UNSAT	37.27
pi-bus-fixpoint-1	SAT	38.52
cache-coherence-2-fixpoint-4	SAT	40.89
ethernet-fixpoint-3	UNSAT	48.36
cache-coherence-3-fixpoint-3	SAT	68
small-seq-fixpoint-4	UNSAT	83.63
cache-coherence-2-fixpoint-5	SAT	91.97
usb-phy-fixpoint-5	UNSAT	93.38
cache-coherence-2-fixpoint-6	SAT	153.04
small-seq-fixpoint-5	UNSAT	213.55
ethernet-fixpoint-4	UNSAT	280.14
small-seq-fixpoint-6	UNSAT	286.97
small-seq-fixpoint-8	UNSAT	352.17
small-seq-fixpoint-7	UNSAT	356.59
AR-fixpoint-1	UNSAT	463.15
sdlx-fixpoint-9	FAIL	900.01
sdlx-fixpoint-6	FAIL	900.01
small-equiv-fixpoint-2	FAIL	900.01
small-equiv-fixpoint-4	FAIL	900.01
AR-fixpoint-6	FAIL	900.01
small-equiv-fixpoint-8	FAIL	900.02
small-equiv-fixpoint-1	FAIL	900.02
AR-fixpoint-4	FAIL	900.02
small-equiv-fixpoint-5	FAIL	900.02
sdlx-fixpoint-10	FAIL	900.02
AR-fixpoint-8	FAIL	900.03
AR-fixpoint-10	FAIL	900.04
pi-bus-fixpoint-2	FAIL	900.04
sdlx-fixpoint-7	FAIL	900.05
small-seq-fixpoint-10	FAIL	900.05
small-equiv-fixpoint-3	FAIL	900.05
AR-fixpoint-2	FAIL	900.06
sdlx-fixpoint-8	FAIL	900.07
small-seq-fixpoint-9	FAIL	900.08
pi-bus-fixpoint-3	FAIL	900.08

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

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