Instances of family HardwareFixpoint solved by iprover_bloqqer_schedule
Prenex CNF Track

InstanceResultTime
small-synabs-fixpoint-3UNSAT0
itc-b13-fixpoint-2UNSAT0.91
small-swap1-fixpoint-5SAT0.95
small-swap1-fixpoint-4SAT1.12
small-swap1-fixpoint-6SAT1.23
small-swap1-fixpoint-7SAT1.47
small-synabs-fixpoint-10UNSAT1.54
small-swap1-fixpoint-8SAT1.84
itc-b13-fixpoint-3SAT1.88
ethernet-fixpoint-1UNSAT1.89
small-swap1-fixpoint-9SAT2.38
small-swap1-fixpoint-10SAT2.57
itc-b13-fixpoint-4SAT2.71
cache-coherence-3-fixpoint-1UNSAT3.74
itc-b13-fixpoint-5SAT3.88
cache-coherence-2-fixpoint-2UNSAT4.8
itc-b13-fixpoint-6SAT5.29
usb-phy-fixpoint-3UNSAT6.19
ethernet-fixpoint-2UNSAT6.47
itc-b13-fixpoint-7SAT6.88
itc-b13-fixpoint-8SAT8.3
cache-coherence-3-fixpoint-2UNSAT8.5
itc-b13-fixpoint-9SAT9.59
cache-coherence-2-fixpoint-4UNSAT10.49
itc-b13-fixpoint-10SAT12.4
small-pipeline-fixpoint-1UNSAT12.42
cache-coherence-3-fixpoint-3UNSAT13.81
cache-coherence-2-fixpoint-5UNSAT15.24
cache-coherence-2-fixpoint-6UNSAT19.52
pi-bus-fixpoint-1UNSAT22.97
AR-fixpoint-1FAIL637.57
pi-bus-fixpoint-2FAIL654.74
small-seq-fixpoint-10FAIL687.98
pi-bus-fixpoint-3FAIL734.68
small-seq-fixpoint-8FAIL900
sdlx-fixpoint-3FAIL900
sdlx-fixpoint-4FAIL900
ethernet-fixpoint-3FAIL900
small-seq-fixpoint-9FAIL900
small-seq-fixpoint-7FAIL900
AR-fixpoint-5FAIL900
usb-phy-fixpoint-4FAIL900
small-seq-fixpoint-3FAIL900
sdlx-fixpoint-6FAIL900
small-pipeline-fixpoint-2FAIL900
ethernet-fixpoint-4FAIL900
small-pipeline-fixpoint-3FAIL900
sdlx-fixpoint-5FAIL900
small-seq-fixpoint-5FAIL900
sdlx-fixpoint-8FAIL900
usb-phy-fixpoint-5FAIL900
sdlx-fixpoint-9FAIL900
sdlx-fixpoint-10FAIL900
sdlx-fixpoint-7FAIL900