Instances of family HardwareFixpoint solved by GhostQ___plain_pcnf_2019
Prenex CNF Track

InstanceResultTime
small-synabs-fixpoint-3UNSAT0
small-pipeline-fixpoint-1UNSAT0.61
itc-b13-fixpoint-2UNSAT0.76
cache-coherence-3-fixpoint-1UNSAT1.07
small-synabs-fixpoint-10UNSAT1.25
itc-b13-fixpoint-3SAT1.36
ethernet-fixpoint-1UNSAT1.43
sdlx-fixpoint-3UNSAT1.51
cache-coherence-2-fixpoint-2UNSAT1.81
small-pipeline-fixpoint-2UNSAT1.92
itc-b13-fixpoint-4SAT1.97
sdlx-fixpoint-4UNSAT2.18
itc-b13-fixpoint-5SAT2.84
sdlx-fixpoint-5UNSAT2.99
itc-b13-fixpoint-6SAT3.18
small-pipeline-fixpoint-3UNSAT3.25
cache-coherence-3-fixpoint-2UNSAT3.59
ethernet-fixpoint-2UNSAT3.85
itc-b13-fixpoint-7SAT3.95
sdlx-fixpoint-6UNSAT4.01
itc-b13-fixpoint-8SAT4.44
cache-coherence-2-fixpoint-4UNSAT5.06
cache-coherence-3-fixpoint-3UNSAT5.15
small-seq-fixpoint-3UNSAT5.49
sdlx-fixpoint-7SAT5.59
itc-b13-fixpoint-9SAT5.86
usb-phy-fixpoint-3UNSAT5.99
cache-coherence-2-fixpoint-5UNSAT6.31
sdlx-fixpoint-8SAT6.81
itc-b13-fixpoint-10SAT7.02
pi-bus-fixpoint-1UNSAT7.37
ethernet-fixpoint-3UNSAT7.42
cache-coherence-2-fixpoint-6UNSAT7.63
sdlx-fixpoint-9SAT8.01
sdlx-fixpoint-10SAT9.58
small-seq-fixpoint-5UNSAT10.55
usb-phy-fixpoint-4UNSAT12.04
ethernet-fixpoint-4UNSAT15.09
small-seq-fixpoint-7UNSAT15.6
small-seq-fixpoint-8UNSAT18.16
usb-phy-fixpoint-5UNSAT19.77
small-seq-fixpoint-9UNSAT20.82
small-seq-fixpoint-10UNSAT22.77
AR-fixpoint-1FAIL28.76
pi-bus-fixpoint-2UNSAT169.35
AR-fixpoint-5FAIL324.3
pi-bus-fixpoint-3UNSAT453.82
small-swap1-fixpoint-8FAIL900
small-swap1-fixpoint-6FAIL900
small-swap1-fixpoint-4FAIL900
small-swap1-fixpoint-5FAIL900
small-swap1-fixpoint-9FAIL900
small-swap1-fixpoint-7FAIL900
small-swap1-fixpoint-10FAIL900