Instances of family HardwareFixpoint solved by <a href='solver_detail.php?solver=329'>Rareqs_2018</a> <br> Prenex CNF Track

qbflib.org

Instances of family HardwareFixpoint solved by Rareqs_2018
Prenex CNF Track

Instance	Result	Time
small-swap1-fixpoint-5	SAT	0
itc-b13-fixpoint-4	SAT	0
itc-b13-fixpoint-3	SAT	0
small-pipeline-fixpoint-1	UNSAT	0
small-swap1-fixpoint-7	SAT	0
itc-b13-fixpoint-6	SAT	0
small-synabs-fixpoint-3	UNSAT	0
small-swap1-fixpoint-6	SAT	0
small-swap1-fixpoint-4	SAT	0
itc-b13-fixpoint-5	SAT	0
itc-b13-fixpoint-2	UNSAT	0
ethernet-fixpoint-1	UNSAT	0.54
small-synabs-fixpoint-10	UNSAT	0.61
itc-b13-fixpoint-7	SAT	0.78
small-swap1-fixpoint-8	SAT	0.8
cache-coherence-3-fixpoint-1	UNSAT	0.98
itc-b13-fixpoint-9	SAT	1.21
usb-phy-fixpoint-3	UNSAT	2.21
small-swap1-fixpoint-10	SAT	3.01
small-swap1-fixpoint-9	SAT	3.09
itc-b13-fixpoint-8	SAT	3.91
small-seq-fixpoint-3	UNSAT	17.95
itc-b13-fixpoint-10	SAT	34.53
small-pipeline-fixpoint-2	UNSAT	46.39
small-pipeline-fixpoint-3	UNSAT	214.47
sdlx-fixpoint-10	FAIL	900
sdlx-fixpoint-7	FAIL	900
sdlx-fixpoint-3	FAIL	900
AR-fixpoint-1	FAIL	900
small-seq-fixpoint-8	FAIL	900
cache-coherence-2-fixpoint-6	FAIL	900
pi-bus-fixpoint-1	FAIL	900
cache-coherence-2-fixpoint-4	FAIL	900
ethernet-fixpoint-3	FAIL	900
sdlx-fixpoint-4	FAIL	900
cache-coherence-3-fixpoint-2	FAIL	900
AR-fixpoint-5	FAIL	900
small-seq-fixpoint-10	FAIL	900
small-seq-fixpoint-9	FAIL	900
small-seq-fixpoint-7	FAIL	900
cache-coherence-2-fixpoint-5	FAIL	900
pi-bus-fixpoint-2	FAIL	900
pi-bus-fixpoint-3	FAIL	900
ethernet-fixpoint-4	FAIL	900
usb-phy-fixpoint-4	FAIL	900
sdlx-fixpoint-6	FAIL	900
ethernet-fixpoint-2	FAIL	900
small-seq-fixpoint-5	FAIL	900
sdlx-fixpoint-5	FAIL	900
sdlx-fixpoint-8	FAIL	900
usb-phy-fixpoint-5	FAIL	900
sdlx-fixpoint-9	FAIL	900
cache-coherence-2-fixpoint-2	FAIL	900
cache-coherence-3-fixpoint-3	FAIL	900

Contact | Organization | Links | Citing QBFLIB