Unique instances for GhostQ___cegar_pcnf_2019
Crafted Instances Track


InstanceTimeResult
klieber2017q-076-19-eq4.64SAT
klieber2017q-082-20-eq56.18SAT
klieber2017q-084-21-eq5.95SAT
klieber2017q-086-21-eq96.06SAT
klieber2017q-088-22-eq57.28SAT
klieber2017q-092-23-eq26.58SAT
klieber2017q-096-24-eq627.62SAT