Instances of family HardwareFixpoint solved by Qute_opt500
Prenex CNF Track

InstanceResultTime
small-synabs-fixpoint-3UNSAT0
itc-b13-fixpoint-2UNSAT0
small-pipeline-fixpoint-1FAIL0
small-swap1-fixpoint-4SAT0.64
itc-b13-fixpoint-3SAT0.7
small-swap1-fixpoint-6SAT0.95
itc-b13-fixpoint-4SAT1.5
small-swap1-fixpoint-8SAT1.51
small-swap1-fixpoint-5SAT1.55
small-swap1-fixpoint-7SAT1.67
itc-b13-fixpoint-5SAT2.02
small-swap1-fixpoint-10SAT2.39
itc-b13-fixpoint-6SAT3.18
small-swap1-fixpoint-9SAT3.22
cache-coherence-3-fixpoint-1UNSAT3.3
small-pipeline-fixpoint-2FAIL3.35
itc-b13-fixpoint-7SAT4.6
ethernet-fixpoint-1FAIL4.71
cache-coherence-2-fixpoint-2UNSAT5.04
itc-b13-fixpoint-8SAT6.25
small-synabs-fixpoint-10UNSAT6.26
small-seq-fixpoint-3UNSAT7.39
sdlx-fixpoint-3FAIL7.4
itc-b13-fixpoint-9SAT7.66
itc-b13-fixpoint-10SAT9.58
sdlx-fixpoint-4FAIL10.64
usb-phy-fixpoint-3FAIL13.75
cache-coherence-3-fixpoint-2FAIL14.27
sdlx-fixpoint-5FAIL14.69
sdlx-fixpoint-6FAIL21.16
small-pipeline-fixpoint-3FAIL23.44
ethernet-fixpoint-2FAIL23.75
usb-phy-fixpoint-4FAIL37.94
sdlx-fixpoint-7FAIL39.33
pi-bus-fixpoint-1FAIL39.63
cache-coherence-2-fixpoint-4FAIL41.57
ethernet-fixpoint-3FAIL47.84
sdlx-fixpoint-8FAIL51.77
sdlx-fixpoint-9FAIL61.87
cache-coherence-3-fixpoint-3FAIL68.79
sdlx-fixpoint-10FAIL73.82
cache-coherence-2-fixpoint-5FAIL87.53
usb-phy-fixpoint-5FAIL92.51
cache-coherence-2-fixpoint-6FAIL154.59
small-seq-fixpoint-5UNSAT210.48
ethernet-fixpoint-4FAIL282.41
small-seq-fixpoint-8FAIL318.15
small-seq-fixpoint-7FAIL338.86
pi-bus-fixpoint-2FAIL408.97
small-seq-fixpoint-9FAIL410.44
small-seq-fixpoint-10FAIL412.43
pi-bus-fixpoint-3FAIL418.56
AR-fixpoint-1FAIL418.59
AR-fixpoint-5FAIL436.39