Instances of family HardwareFixpoint solved by GhostQ___cegar_pcnf_2019
Prenex CNF Track

InstanceResultTime
small-synabs-fixpoint-3UNSAT0.37
small-pipeline-fixpoint-1UNSAT0.61
itc-b13-fixpoint-2UNSAT0.89
cache-coherence-3-fixpoint-1UNSAT1.13
small-synabs-fixpoint-10UNSAT1.27
ethernet-fixpoint-1UNSAT1.48
sdlx-fixpoint-3UNSAT1.51
cache-coherence-2-fixpoint-2UNSAT1.75
itc-b13-fixpoint-3SAT1.8
small-pipeline-fixpoint-2UNSAT1.98
sdlx-fixpoint-4UNSAT2.32
cache-coherence-3-fixpoint-2UNSAT2.58
itc-b13-fixpoint-4SAT2.83
usb-phy-fixpoint-3UNSAT2.92
sdlx-fixpoint-5UNSAT3.05
small-pipeline-fixpoint-3UNSAT3.37
itc-b13-fixpoint-5SAT3.55
cache-coherence-2-fixpoint-4UNSAT3.71
cache-coherence-3-fixpoint-3UNSAT3.99
itc-b13-fixpoint-8SAT4.2
cache-coherence-2-fixpoint-5UNSAT4.77
usb-phy-fixpoint-4UNSAT4.9
small-seq-fixpoint-3UNSAT5.59
sdlx-fixpoint-6UNSAT5.62
cache-coherence-2-fixpoint-6UNSAT5.74
itc-b13-fixpoint-6SAT6.89
itc-b13-fixpoint-10SAT7.16
usb-phy-fixpoint-5UNSAT7.19
pi-bus-fixpoint-1UNSAT7.51
ethernet-fixpoint-2UNSAT8.21
sdlx-fixpoint-7SAT8.39
sdlx-fixpoint-8SAT10.06
small-seq-fixpoint-5UNSAT10.65
sdlx-fixpoint-9SAT11.57
itc-b13-fixpoint-7SAT11.83
itc-b13-fixpoint-9SAT12.77
sdlx-fixpoint-10SAT13.93
small-seq-fixpoint-7UNSAT15.95
ethernet-fixpoint-3UNSAT16.01
small-seq-fixpoint-8UNSAT18.33
pi-bus-fixpoint-2UNSAT19.83
small-seq-fixpoint-9UNSAT21.04
small-seq-fixpoint-10UNSAT23.15
AR-fixpoint-1FAIL28.78
pi-bus-fixpoint-3UNSAT29.56
ethernet-fixpoint-4UNSAT40.86
AR-fixpoint-5FAIL325.14
small-swap1-fixpoint-6FAIL900
small-swap1-fixpoint-4FAIL900
small-swap1-fixpoint-5FAIL900
small-swap1-fixpoint-9FAIL900
small-swap1-fixpoint-7FAIL900
small-swap1-fixpoint-10FAIL900
small-swap1-fixpoint-8FAIL900