Instances of family HardwareFixpoint solved by Caqe-hqspre
QBFEVAL'19 - Prenex CNF Track

InstanceResultTime
itc-b13-fixpoint-2UNSAT0
itc-b13-fixpoint-1UNSAT0
itc-b13-fixpoint-3SAT0
small-swap1-fixpoint-6SAT0
small-swap1-fixpoint-4SAT0
small-synabs-fixpoint-3UNSAT0
small-pipeline-fixpoint-1UNSAT0
itc-b13-fixpoint-4SAT0.82
small-swap1-fixpoint-8SAT0.9
small-swap1-fixpoint-5SAT0.93
small-swap1-fixpoint-7SAT1
itc-b13-fixpoint-5SAT1.21
small-swap1-fixpoint-10SAT1.5
small-synabs-fixpoint-10UNSAT1.68
itc-b13-fixpoint-6SAT1.85
small-pipeline-fixpoint-2UNSAT1.96
cache-coherence-3-fixpoint-1UNSAT2.29
small-swap1-fixpoint-9SAT2.52
itc-b13-fixpoint-7SAT2.67
ethernet-fixpoint-1UNSAT2.88
cache-coherence-2-fixpoint-2UNSAT3.08
sdlx-fixpoint-3UNSAT4.91
itc-b13-fixpoint-8SAT6.04
sdlx-fixpoint-4UNSAT7.88
itc-b13-fixpoint-9SAT10.18
cache-coherence-3-fixpoint-2UNSAT11.69
sdlx-fixpoint-5UNSAT12.93
itc-b13-fixpoint-10SAT13.75
small-seq-fixpoint-3UNSAT15.09
small-pipeline-fixpoint-3UNSAT15.77
ethernet-fixpoint-2UNSAT16.45
usb-phy-fixpoint-3UNSAT17.78
sdlx-fixpoint-6UNSAT31.47
pi-bus-fixpoint-1UNSAT34.67
ethernet-fixpoint-3UNSAT38.36
cache-coherence-2-fixpoint-4UNSAT44.07
usb-phy-fixpoint-4UNSAT47.39
cache-coherence-3-fixpoint-3UNSAT68.31
cache-coherence-2-fixpoint-5UNSAT90.27
usb-phy-fixpoint-5UNSAT94.47
cache-coherence-2-fixpoint-6UNSAT140.27
AR-fixpoint-4FAIL325.28
ethernet-fixpoint-4UNSAT368.98
sdlx-fixpoint-7SAT619.6
small-seq-fixpoint-5FAIL900
small-equiv-fixpoint-4FAIL900.01
small-seq-fixpoint-8FAIL900.01
AR-fixpoint-8FAIL900.01
small-equiv-fixpoint-3FAIL900.02
AR-fixpoint-10FAIL900.02
small-seq-fixpoint-10FAIL900.03
pi-bus-fixpoint-3FAIL900.03
small-seq-fixpoint-9FAIL900.04
small-seq-fixpoint-7FAIL900.04
sdlx-fixpoint-10FAIL900.04
sdlx-fixpoint-8FAIL900.05
small-equiv-fixpoint-1FAIL900.06
small-equiv-fixpoint-8FAIL900.06
AR-fixpoint-6FAIL900.07
pi-bus-fixpoint-2FAIL900.07
AR-fixpoint-1FAIL900.07
sdlx-fixpoint-9FAIL900.08
AR-fixpoint-2FAIL900.09
small-equiv-fixpoint-2FAIL900.09
small-equiv-fixpoint-5FAIL900.09