Sota solver results for family HardwareFixpoint
Prenex CNF Track


InstanceSolverResultTime
AR-fixpoint-1nanoqbf_hqspreUNSAT150.14
cache-coherence-2-fixpoint-2GhostQ___cegar_pcnf_2019UNSAT1.75
cache-coherence-2-fixpoint-4GhostQ___cegar_pcnf_2019UNSAT3.71
cache-coherence-2-fixpoint-5GhostQ___cegar_pcnf_2019UNSAT4.77
cache-coherence-2-fixpoint-6GhostQ___cegar_pcnf_2019UNSAT5.74
cache-coherence-3-fixpoint-1Rareqs_2018UNSAT0.98
cache-coherence-3-fixpoint-2GhostQ___cegar_pcnf_2019UNSAT2.58
cache-coherence-3-fixpoint-3GhostQ___cegar_pcnf_2019UNSAT3.99
ethernet-fixpoint-1Rareqs_2018UNSAT0.54
ethernet-fixpoint-2GhostQ___plain_pcnf_2019UNSAT3.85
ethernet-fixpoint-3GhostQ___plain_pcnf_2019UNSAT7.42
ethernet-fixpoint-4GhostQ___plain_pcnf_2019UNSAT15.09
itc-b13-fixpoint-10GhostQ___plain_pcnf_2019SAT7.02
itc-b13-fixpoint-2Qute_defaultUNSAT0
itc-b13-fixpoint-3Caqe-hqspreSAT0
itc-b13-fixpoint-4Rareqs_2018SAT0
itc-b13-fixpoint-5Rareqs_2018SAT0
itc-b13-fixpoint-6Rareqs_2018SAT0
itc-b13-fixpoint-7Rareqs_2018SAT0.78
itc-b13-fixpoint-8Rareqs_2018SAT3.91
itc-b13-fixpoint-9Rareqs_2018SAT1.21
pi-bus-fixpoint-1GhostQ___plain_pcnf_2019UNSAT7.37
pi-bus-fixpoint-2GhostQ___cegar_pcnf_2019UNSAT19.83
pi-bus-fixpoint-3GhostQ___cegar_pcnf_2019UNSAT29.56
sdlx-fixpoint-10GhostQ___plain_pcnf_2019SAT9.58
sdlx-fixpoint-3GhostQ___cegar_pcnf_2019UNSAT1.51
sdlx-fixpoint-4GhostQ___plain_pcnf_2019UNSAT2.18
sdlx-fixpoint-5GhostQ___plain_pcnf_2019UNSAT2.99
sdlx-fixpoint-6GhostQ___plain_pcnf_2019UNSAT4.01
sdlx-fixpoint-7GhostQ___plain_pcnf_2019SAT5.59
sdlx-fixpoint-8GhostQ___plain_pcnf_2019SAT6.81
sdlx-fixpoint-9GhostQ___plain_pcnf_2019SAT8.01
small-pipeline-fixpoint-1Caqe-hqspreUNSAT0
small-pipeline-fixpoint-2nanoqbf_hqspreUNSAT1.76
small-pipeline-fixpoint-3GhostQ___plain_pcnf_2019UNSAT3.25
small-seq-fixpoint-10GhostQ___plain_pcnf_2019UNSAT22.77
small-seq-fixpoint-3GhostQ___plain_pcnf_2019UNSAT5.49
small-seq-fixpoint-5GhostQ___plain_pcnf_2019UNSAT10.55
small-seq-fixpoint-7GhostQ___plain_pcnf_2019UNSAT15.6
small-seq-fixpoint-8GhostQ___plain_pcnf_2019UNSAT18.16
small-seq-fixpoint-9GhostQ___plain_pcnf_2019UNSAT20.82
small-swap1-fixpoint-10caqe-preSAT1.48
small-swap1-fixpoint-4Caqe-hqspreSAT0
small-swap1-fixpoint-5Rareqs_2018SAT0
small-swap1-fixpoint-6Rareqs_2018SAT0
small-swap1-fixpoint-7Rareqs_2018SAT0
small-swap1-fixpoint-8Rareqs_2018SAT0.8
small-swap1-fixpoint-9nanoqbf_hqspreSAT2.38
small-synabs-fixpoint-10Rareqs_2018UNSAT0.61
small-synabs-fixpoint-3iprover_bloqqer_singleUNSAT0
usb-phy-fixpoint-3Rareqs_2018UNSAT2.21
usb-phy-fixpoint-4GhostQ___cegar_pcnf_2019UNSAT4.9
usb-phy-fixpoint-5GhostQ___cegar_pcnf_2019UNSAT7.19