Instances of family HardwareFixpoint solved by rareqs
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
small-bug1-fixpoint-8SAT0
small-dyn-partition-fixpoint-2UNSAT0
small-bug1-fixpoint-5SAT0
small-dyn-partition-fixpoint-1UNSAT0
small-bug1-fixpoint-3SAT0
small-bug1-fixpoint-10SAT0
small-bug1-fixpoint-4SAT0
small-bug1-fixpoint-6SAT0
small-bug1-fixpoint-9SAT0
small-dyn-partition-fixpoint-3UNSAT0.01
small-dyn-partition-fixpoint-5UNSAT0.02
small-dyn-partition-fixpoint-6UNSAT0.02
itc-b13-fixpoint-1UNSAT0.02
small-dyn-partition-fixpoint-4UNSAT0.02
small-dyn-partition-fixpoint-7UNSAT0.04
small-dyn-partition-fixpoint-9UNSAT0.06
itc-b13-fixpoint-2UNSAT0.06
sdlx-fixpoint-1UNSAT0.06
small-dyn-partition-fixpoint-10UNSAT0.07
itc-b13-fixpoint-3SAT0.14
small-swap1-fixpoint-4SAT0.17
small-swap1-fixpoint-6SAT0.2
small-swap2-fixpoint-5SAT0.23
itc-b13-fixpoint-4SAT0.23
small-swap2-fixpoint-6SAT0.28
small-seq-fixpoint-1UNSAT0.31
small-swap2-fixpoint-7SAT0.33
small-pipeline-fixpoint-1UNSAT0.4
small-swap2-fixpoint-8SAT0.41
small-swap1-fixpoint-7SAT0.45
small-swap1-fixpoint-5SAT0.53
usb-phy-fixpoint-1UNSAT0.54
itc-b13-fixpoint-6SAT0.56
ethernet-fixpoint-1UNSAT0.59
small-synabs-fixpoint-10UNSAT0.62
small-swap2-fixpoint-9SAT0.82
itc-b13-fixpoint-7SAT0.83
small-swap1-fixpoint-8SAT0.86
cache-coherence-3-fixpoint-1UNSAT1.04
usb-phy-fixpoint-2UNSAT1.14
itc-b13-fixpoint-9SAT1.29
small-swap2-fixpoint-10SAT2.31
sdlx-fixpoint-2UNSAT2.36
small-swap1-fixpoint-10SAT3.1
small-swap1-fixpoint-9SAT3.17
itc-b13-fixpoint-8SAT3.91
itc-b13-fixpoint-10SAT34.88
small-pipeline-fixpoint-2UNSAT46.47
small-pipeline-fixpoint-3UNSAT212.82
cache-coherence-2-fixpoint-2FAIL900
sdlx-fixpoint-4FAIL900
sdlx-fixpoint-5FAIL900
usb-phy-fixpoint-5FAIL900
small-seq-fixpoint-4FAIL900
cache-coherence-2-fixpoint-5FAIL900
sdlx-fixpoint-8FAIL900
small-seq-fixpoint-6FAIL900
sdlx-fixpoint-7FAIL900
small-equiv-fixpoint-5FAIL900
small-equiv-fixpoint-8FAIL900
pi-bus-fixpoint-2FAIL900
sdlx-fixpoint-10FAIL900
small-pipeline-fixpoint-9FAIL900
small-equiv-fixpoint-3FAIL900
AR-fixpoint-4FAIL900
sdlx-fixpoint-6FAIL900
small-equiv-fixpoint-1FAIL900
small-equiv-fixpoint-7FAIL900
small-pipeline-fixpoint-8FAIL900
ethernet-fixpoint-3FAIL900
small-seq-fixpoint-2FAIL900
AR-fixpoint-2FAIL900
small-pipeline-fixpoint-4FAIL900
sdlx-fixpoint-9FAIL900
small-equiv-fixpoint-2FAIL900
small-equiv-fixpoint-4FAIL900
ethernet-fixpoint-2FAIL900
small-seq-fixpoint-10FAIL900
AR-fixpoint-8FAIL900
small-pipeline-fixpoint-10FAIL900
small-pipeline-fixpoint-5FAIL900
AR-fixpoint-10FAIL900
usb-phy-fixpoint-4FAIL900
AR-fixpoint-6FAIL900
cache-coherence-3-fixpoint-2FAIL900
ethernet-fixpoint-4FAIL900