Sota solver results for family HardwareFixpoint
QBFEVAL'19 - Prenex CNF Track


InstanceSolverResultTime
AR-fixpoint-1Qute_defaultUNSAT473.91
cache-coherence-2-fixpoint-2GhostQ___cegar_pcnf_2019UNSAT1.67
cache-coherence-2-fixpoint-4GhostQ___cegar_pcnf_2019UNSAT3.66
cache-coherence-2-fixpoint-5GhostQ___cegar_pcnf_2019UNSAT4.68
cache-coherence-2-fixpoint-6GhostQ___cegar_pcnf_2019UNSAT5.62
cache-coherence-3-fixpoint-1GhostQ___plain_pcnf_2019UNSAT1.08
cache-coherence-3-fixpoint-2GhostQ___cegar_pcnf_2019UNSAT2.53
cache-coherence-3-fixpoint-3GhostQ___cegar_pcnf_2019UNSAT3.91
ethernet-fixpoint-1GhostQ___plain_pcnf_2019UNSAT1.38
ethernet-fixpoint-2GhostQ___plain_pcnf_2019UNSAT3.72
ethernet-fixpoint-3GhostQ___plain_pcnf_2019UNSAT7.31
ethernet-fixpoint-4GhostQ___plain_pcnf_2019UNSAT15.01
itc-b13-fixpoint-1Qute_defaultUNSAT0
itc-b13-fixpoint-10Hiqqer2019_1SAT2.27
itc-b13-fixpoint-2Qute_defaultUNSAT0
itc-b13-fixpoint-3Caqe-hqspreSAT0
itc-b13-fixpoint-4Hiqqer2019_1SAT0
itc-b13-fixpoint-5Hiqqer2019_1SAT0
itc-b13-fixpoint-6Hiqqer2019_1SAT0.59
itc-b13-fixpoint-7Hiqqer2019_3SAT1.19
itc-b13-fixpoint-8Hiqqer2019_3SAT1.41
itc-b13-fixpoint-9Hiqqer2019_1SAT2.07
pi-bus-fixpoint-1GhostQ___plain_pcnf_2019UNSAT7.29
pi-bus-fixpoint-2GhostQ___cegar_pcnf_2019UNSAT19.62
pi-bus-fixpoint-3GhostQ___cegar_pcnf_2019UNSAT29.03
sdlx-fixpoint-10GhostQ___plain_pcnf_2019SAT9.57
sdlx-fixpoint-3GhostQ___plain_pcnf_2019UNSAT1.51
sdlx-fixpoint-4GhostQ___plain_pcnf_2019UNSAT2.16
sdlx-fixpoint-5GhostQ___plain_pcnf_2019UNSAT2.9
sdlx-fixpoint-6GhostQ___plain_pcnf_2019UNSAT4
sdlx-fixpoint-7GhostQ___plain_pcnf_2019SAT5.5
sdlx-fixpoint-8GhostQ___plain_pcnf_2019SAT6.81
sdlx-fixpoint-9GhostQ___plain_pcnf_2019SAT7.93
small-pipeline-fixpoint-1Caqe-hqspreUNSAT0
small-pipeline-fixpoint-2GhostQ___plain_pcnf_2019UNSAT1.88
small-pipeline-fixpoint-3GhostQ___plain_pcnf_2019UNSAT3.16
small-seq-fixpoint-10GhostQ___plain_pcnf_2019UNSAT22.67
small-seq-fixpoint-3GhostQ___plain_pcnf_2019UNSAT5.43
small-seq-fixpoint-5GhostQ___plain_pcnf_2019UNSAT10.33
small-seq-fixpoint-7GhostQ___plain_pcnf_2019UNSAT15.52
small-seq-fixpoint-8GhostQ___plain_pcnf_2019UNSAT17.98
small-seq-fixpoint-9GhostQ___plain_pcnf_2019UNSAT20.52
small-swap1-fixpoint-10Caqe-hqspreSAT1.5
small-swap1-fixpoint-4Caqe-hqspreSAT0
small-swap1-fixpoint-5Hiqqer2019_3SAT0.53
small-swap1-fixpoint-6Caqe-hqspreSAT0
small-swap1-fixpoint-7Hiqqer2019_1SAT0
small-swap1-fixpoint-8Hiqqer2019_3SAT0.58
small-swap1-fixpoint-9Hiqqer2019_1SAT1.19
small-synabs-fixpoint-10Hiqqer2019_2UNSAT0
small-synabs-fixpoint-3Qute_defaultUNSAT0
usb-phy-fixpoint-3GhostQ___cegar_pcnf_2019UNSAT2.94
usb-phy-fixpoint-4GhostQ___cegar_pcnf_2019UNSAT4.79
usb-phy-fixpoint-5GhostQ___cegar_pcnf_2019UNSAT7.11