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

InstanceResultTime
small-synabs-fixpoint-3UNSAT0
small-pipeline-fixpoint-1FAIL0
itc-b13-fixpoint-2UNSAT0
itc-b13-fixpoint-1UNSAT0
itc-b13-fixpoint-3SAT0.68
small-swap1-fixpoint-4SAT0.68
small-swap1-fixpoint-6SAT0.92
itc-b13-fixpoint-4SAT1.5
small-swap1-fixpoint-5SAT1.52
small-swap1-fixpoint-8SAT1.53
small-swap1-fixpoint-7SAT1.64
itc-b13-fixpoint-5SAT1.97
small-equiv-fixpoint-1FAIL1.98
small-swap1-fixpoint-10SAT2.38
itc-b13-fixpoint-6SAT3.09
small-swap1-fixpoint-9SAT3.18
small-pipeline-fixpoint-2FAIL3.31
cache-coherence-3-fixpoint-1UNSAT3.32
small-equiv-fixpoint-2FAIL3.56
itc-b13-fixpoint-7SAT4.6
ethernet-fixpoint-1FAIL4.6
cache-coherence-2-fixpoint-2UNSAT4.97
small-equiv-fixpoint-3FAIL5.53
small-synabs-fixpoint-10UNSAT6.17
itc-b13-fixpoint-8SAT6.18
sdlx-fixpoint-3FAIL7.39
small-seq-fixpoint-3UNSAT7.4
itc-b13-fixpoint-9SAT7.67
small-equiv-fixpoint-4FAIL7.87
itc-b13-fixpoint-10SAT9.49
small-equiv-fixpoint-5FAIL10.14
sdlx-fixpoint-4FAIL10.56
usb-phy-fixpoint-3FAIL13.5
cache-coherence-3-fixpoint-2FAIL14.12
sdlx-fixpoint-5FAIL14.63
small-equiv-fixpoint-8FAIL19.78
sdlx-fixpoint-6FAIL20.81
small-pipeline-fixpoint-3FAIL23.23
ethernet-fixpoint-2FAIL23.75
usb-phy-fixpoint-4FAIL38.1
sdlx-fixpoint-7FAIL38.19
pi-bus-fixpoint-1FAIL39.71
cache-coherence-2-fixpoint-4FAIL41.56
ethernet-fixpoint-3FAIL49.26
sdlx-fixpoint-8FAIL52.73
sdlx-fixpoint-9FAIL57.2
cache-coherence-3-fixpoint-3FAIL68.99
sdlx-fixpoint-10FAIL70.89
cache-coherence-2-fixpoint-5FAIL91.74
usb-phy-fixpoint-5FAIL93.62
cache-coherence-2-fixpoint-6FAIL152.27
small-seq-fixpoint-5UNSAT213.72
ethernet-fixpoint-4FAIL272.93
small-seq-fixpoint-8FAIL303.89
small-seq-fixpoint-7FAIL338.54
pi-bus-fixpoint-2FAIL408.75
small-seq-fixpoint-9FAIL410.42
small-seq-fixpoint-10FAIL412.21
pi-bus-fixpoint-3FAIL418.17
AR-fixpoint-1FAIL418.62
AR-fixpoint-2FAIL433.09
AR-fixpoint-4FAIL434.83
AR-fixpoint-6FAIL437.32
AR-fixpoint-8FAIL438.47
AR-fixpoint-10FAIL900.01