Instances of family HardwareFixpoint solved by caqe-pre
QBFEVAL'19 - Prenex CNF Track

InstanceResultTime
itc-b13-fixpoint-3SAT0
small-swap1-fixpoint-6SAT0
small-swap1-fixpoint-4SAT0
small-synabs-fixpoint-3UNSAT0
small-pipeline-fixpoint-1UNSAT0
itc-b13-fixpoint-2UNSAT0
itc-b13-fixpoint-1UNSAT0
itc-b13-fixpoint-4SAT0.8
small-swap1-fixpoint-8SAT0.9
small-swap1-fixpoint-5SAT0.91
small-swap1-fixpoint-7SAT1.07
itc-b13-fixpoint-5SAT1.21
small-swap1-fixpoint-10SAT1.51
small-synabs-fixpoint-10UNSAT1.65
itc-b13-fixpoint-6SAT1.81
small-pipeline-fixpoint-2UNSAT1.97
cache-coherence-3-fixpoint-1UNSAT2.28
small-swap1-fixpoint-9SAT2.55
itc-b13-fixpoint-7SAT2.58
ethernet-fixpoint-1UNSAT2.92
cache-coherence-2-fixpoint-2UNSAT3.06
sdlx-fixpoint-3UNSAT4.93
itc-b13-fixpoint-8SAT5.99
sdlx-fixpoint-4UNSAT7.88
itc-b13-fixpoint-9SAT9.98
cache-coherence-3-fixpoint-2UNSAT11.67
sdlx-fixpoint-5UNSAT12.88
itc-b13-fixpoint-10SAT13.5
small-seq-fixpoint-3UNSAT15.12
small-pipeline-fixpoint-3UNSAT15.77
ethernet-fixpoint-2UNSAT16.4
usb-phy-fixpoint-3UNSAT17.65
sdlx-fixpoint-6UNSAT30.52
pi-bus-fixpoint-1UNSAT34.47
ethernet-fixpoint-3UNSAT38.05
cache-coherence-2-fixpoint-4UNSAT46.45
usb-phy-fixpoint-4UNSAT46.89
cache-coherence-3-fixpoint-3UNSAT66.04
cache-coherence-2-fixpoint-5UNSAT82.32
usb-phy-fixpoint-5UNSAT93.6
cache-coherence-2-fixpoint-6UNSAT130.95
AR-fixpoint-4FAIL310.44
ethernet-fixpoint-4UNSAT367.36
AR-fixpoint-6FAIL520.28
AR-fixpoint-8FAIL547.67
AR-fixpoint-10FAIL557.88
small-seq-fixpoint-7FAIL900.01
sdlx-fixpoint-9FAIL900.01
small-equiv-fixpoint-4FAIL900.01
small-equiv-fixpoint-3FAIL900.01
sdlx-fixpoint-10FAIL900.02
pi-bus-fixpoint-2FAIL900.02
small-equiv-fixpoint-1FAIL900.02
AR-fixpoint-1FAIL900.02
small-seq-fixpoint-5FAIL900.02
AR-fixpoint-2FAIL900.03
pi-bus-fixpoint-3FAIL900.04
small-equiv-fixpoint-5FAIL900.04
small-seq-fixpoint-9FAIL900.05
small-equiv-fixpoint-2FAIL900.05
sdlx-fixpoint-8FAIL900.05
sdlx-fixpoint-7FAIL900.05
small-seq-fixpoint-8FAIL900.06
small-seq-fixpoint-10FAIL900.06
small-equiv-fixpoint-8FAIL900.08