Instances of family HardwareFixpoint solved by iProver-qbf-bloqqer-2017-07-27-v3
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
small-bug1-fixpoint-5SAT0.03
small-dyn-partition-fixpoint-1UNSAT0.03
small-bug1-fixpoint-10SAT0.03
small-bug1-fixpoint-8SAT0.03
small-bug1-fixpoint-3SAT0.04
small-bug1-fixpoint-4SAT0.04
small-bug1-fixpoint-6SAT0.04
small-bug1-fixpoint-9SAT0.04
small-dyn-partition-fixpoint-2UNSAT0.04
small-dyn-partition-fixpoint-3UNSAT0.08
small-dyn-partition-fixpoint-5UNSAT0.13
itc-b13-fixpoint-1UNSAT0.16
small-dyn-partition-fixpoint-6UNSAT0.18
small-dyn-partition-fixpoint-7UNSAT0.21
small-dyn-partition-fixpoint-4UNSAT0.22
sdlx-fixpoint-1UNSAT0.25
small-dyn-partition-fixpoint-9UNSAT0.27
small-dyn-partition-fixpoint-10UNSAT0.37
itc-b13-fixpoint-2UNSAT0.53
small-swap2-fixpoint-5SAT0.54
small-swap1-fixpoint-5SAT0.56
usb-phy-fixpoint-1UNSAT0.61
small-swap1-fixpoint-4SAT0.67
small-seq-fixpoint-1UNSAT0.69
small-swap2-fixpoint-6SAT0.71
small-swap1-fixpoint-6SAT0.73
small-swap2-fixpoint-7SAT0.81
small-swap1-fixpoint-7SAT0.85
small-synabs-fixpoint-10UNSAT0.92
small-swap2-fixpoint-8SAT0.96
sdlx-fixpoint-2UNSAT1
small-swap1-fixpoint-8SAT1.07
itc-b13-fixpoint-3SAT1.12
ethernet-fixpoint-1UNSAT1.16
small-swap2-fixpoint-9SAT1.32
small-swap2-fixpoint-10SAT1.36
small-swap1-fixpoint-10SAT1.48
small-swap1-fixpoint-9SAT1.48
itc-b13-fixpoint-4SAT1.66
cache-coherence-3-fixpoint-1UNSAT2.4
usb-phy-fixpoint-2UNSAT2.49
cache-coherence-2-fixpoint-2UNSAT3.06
itc-b13-fixpoint-6SAT3.48
ethernet-fixpoint-2UNSAT4.34
itc-b13-fixpoint-7SAT4.61
cache-coherence-3-fixpoint-2UNSAT5.73
itc-b13-fixpoint-8SAT6.01
itc-b13-fixpoint-9SAT6.9
itc-b13-fixpoint-10SAT9.08
cache-coherence-2-fixpoint-5UNSAT10.46
small-seq-fixpoint-4FAIL747.17
small-pipeline-fixpoint-9FAIL769.45
small-pipeline-fixpoint-1FAIL900
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-equiv-fixpoint-3FAIL900
small-pipeline-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
small-pipeline-fixpoint-2FAIL900
sdlx-fixpoint-9FAIL900
small-equiv-fixpoint-2FAIL900
small-equiv-fixpoint-4FAIL900
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
ethernet-fixpoint-4FAIL900
sdlx-fixpoint-4FAIL900
sdlx-fixpoint-5FAIL900
usb-phy-fixpoint-5FAIL900