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

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

Instance	Result	Time
itc-b13-fixpoint-2	UNSAT	0
itc-b13-fixpoint-1	UNSAT	0
small-pipeline-fixpoint-1	UNSAT	0
small-seq-fixpoint-1	UNSAT	0
small-synabs-fixpoint-3	UNSAT	0
itc-b13-fixpoint-3	SAT	0.6
small-swap1-fixpoint-4	SAT	0.6
usb-phy-fixpoint-1	SAT	0.75
small-swap1-fixpoint-6	SAT	0.9
itc-b13-fixpoint-4	SAT	1.4
small-swap1-fixpoint-8	SAT	1.47
small-swap1-fixpoint-5	SAT	1.5
small-swap1-fixpoint-7	SAT	1.59
itc-b13-fixpoint-5	SAT	1.83
small-swap1-fixpoint-10	SAT	2.28
itc-b13-fixpoint-6	SAT	2.99
small-swap1-fixpoint-9	SAT	3.08
cache-coherence-3-fixpoint-1	UNSAT	3.19
small-pipeline-fixpoint-2	UNSAT	3.25
itc-b13-fixpoint-7	SAT	4.38
ethernet-fixpoint-1	SAT	4.5
small-seq-fixpoint-2	UNSAT	4.85
usb-phy-fixpoint-2	SAT	4.87
cache-coherence-2-fixpoint-2	UNSAT	4.88
itc-b13-fixpoint-8	SAT	5.99
small-synabs-fixpoint-10	UNSAT	5.99
sdlx-fixpoint-3	UNSAT	7
small-seq-fixpoint-3	UNSAT	7.19
itc-b13-fixpoint-9	SAT	7.41
itc-b13-fixpoint-10	SAT	9.31
sdlx-fixpoint-4	UNSAT	10.12
usb-phy-fixpoint-3	SAT	13.24
cache-coherence-3-fixpoint-2	SAT	13.87
sdlx-fixpoint-5	UNSAT	15
small-pipeline-fixpoint-3	UNSAT	23.03
ethernet-fixpoint-2	SAT	23.41
usb-phy-fixpoint-4	UNSAT	37.46
pi-bus-fixpoint-1	SAT	39.16
cache-coherence-2-fixpoint-4	SAT	40.76
ethernet-fixpoint-3	UNSAT	48.46
cache-coherence-3-fixpoint-3	SAT	67.82
small-seq-fixpoint-4	UNSAT	83.86
cache-coherence-2-fixpoint-5	SAT	90.9
usb-phy-fixpoint-5	UNSAT	93.11
cache-coherence-2-fixpoint-6	SAT	164.46
small-seq-fixpoint-5	UNSAT	209.88
ethernet-fixpoint-4	UNSAT	280.32
small-seq-fixpoint-6	UNSAT	283.22
small-seq-fixpoint-8	UNSAT	338.11
small-seq-fixpoint-7	UNSAT	343.68
AR-fixpoint-1	UNSAT	513.87
small-seq-fixpoint-9	UNSAT	681.57
small-seq-fixpoint-10	FAIL	900
sdlx-fixpoint-8	FAIL	900
sdlx-fixpoint-6	FAIL	900.01
sdlx-fixpoint-7	FAIL	900.01
small-equiv-fixpoint-5	FAIL	900.01
pi-bus-fixpoint-2	FAIL	900.02
AR-fixpoint-8	FAIL	900.02
sdlx-fixpoint-9	FAIL	900.02
small-equiv-fixpoint-3	FAIL	900.03
small-equiv-fixpoint-1	FAIL	900.03
small-equiv-fixpoint-2	FAIL	900.04
pi-bus-fixpoint-3	FAIL	900.04
AR-fixpoint-2	FAIL	900.05
sdlx-fixpoint-10	FAIL	900.06
small-equiv-fixpoint-4	FAIL	900.07
AR-fixpoint-6	FAIL	900.07
small-equiv-fixpoint-8	FAIL	900.07
AR-fixpoint-4	FAIL	900.07
AR-fixpoint-10	FAIL	900.08

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

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