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


InstanceSolverResultTime
klieber2017q-074-18-eqGhostQ___cegar_pcnf_2019SAT36.17
klieber2017q-074-18-t1Caqe-hqspreUNSAT1.59
klieber2017q-076-19-eqGhostQ___cegar_pcnf_2019SAT4.66
klieber2017q-076-19-t1Caqe-hqspreUNSAT2.69
klieber2017q-078-19-eqGhostQ___cegar_pcnf_2019SAT10.2
klieber2017q-078-19-t1Caqe-bloqqer-qdoUNSAT5.08
klieber2017q-080-20-eqGhostQ___cegar_pcnf_2019SAT83.96
klieber2017q-080-20-t1Caqe-hqspreUNSAT4.39
klieber2017q-082-20-eqGhostQ___cegar_pcnf_2019SAT56.23
klieber2017q-082-20-t1Caqe-bloqqer-qdoUNSAT1.46
klieber2017q-084-21-eqGhostQ___cegar_pcnf_2019SAT5.99
klieber2017q-084-21-t1Caqe-bloqqer-qdoUNSAT1.5
klieber2017q-086-21-eqGhostQ___cegar_pcnf_2019SAT87.44
klieber2017q-086-21-t1Caqe-bloqqer-qdoUNSAT2.18
klieber2017q-088-22-eqGhostQ___cegar_pcnf_2019SAT57.77
klieber2017q-088-22-t1Qute_defaultUNSAT0.86
klieber2017q-092-23-eqGhostQ___cegar_pcnf_2019SAT25.36
klieber2017q-092-23-t1Caqe-bloqqer-qdoUNSAT2.28
klieber2017q-096-24-eqGhostQ___cegar_pcnf_2019SAT559.8
klieber2017q-096-24-t1Caqe-bloqqer-qdoUNSAT2.22