Sota solver results for family CombinationalEquivalence
Crafted Instances Track


InstanceSolverResultTime
klieber2017q-074-18-eqGhostQ___cegar_pcnf_2019SAT36.41
klieber2017q-074-18-t1Rareqs_2018UNSAT0
klieber2017q-076-19-eqGhostQ___cegar_pcnf_2019SAT4.64
klieber2017q-076-19-t1Rareqs_2018UNSAT0.93
klieber2017q-078-19-eqGhostQ___cegar_pcnf_2019SAT10.29
klieber2017q-078-19-t1Rareqs_2018UNSAT0.67
klieber2017q-080-20-eqGhostQ___cegar_pcnf_2019SAT82.79
klieber2017q-080-20-t1Rareqs_2018UNSAT0
klieber2017q-082-20-eqGhostQ___cegar_pcnf_2019SAT56.18
klieber2017q-082-20-t1Rareqs_2018UNSAT0
klieber2017q-084-21-eqGhostQ___cegar_pcnf_2019SAT5.95
klieber2017q-084-21-t1Rareqs_2018UNSAT0.77
klieber2017q-086-21-eqGhostQ___cegar_pcnf_2019SAT96.06
klieber2017q-086-21-t1Caqe-bloqqer-qdoUNSAT2.18
klieber2017q-088-22-eqGhostQ___cegar_pcnf_2019SAT57.28
klieber2017q-088-22-t1Rareqs_2018UNSAT0
klieber2017q-092-23-eqGhostQ___cegar_pcnf_2019SAT26.58
klieber2017q-092-23-t1Caqe-bloqqer-qdoUNSAT2.27
klieber2017q-096-24-eqGhostQ___cegar_pcnf_2019SAT627.62
klieber2017q-096-24-t1Rareqs_2018UNSAT0