Instance | Time | Result |
---|---|---|
klieber2017q-076-19-eq | 4.64 | SAT |
klieber2017q-082-20-eq | 56.18 | SAT |
klieber2017q-084-21-eq | 5.95 | SAT |
klieber2017q-086-21-eq | 96.06 | SAT |
klieber2017q-088-22-eq | 57.28 | SAT |
klieber2017q-092-23-eq | 26.58 | SAT |
klieber2017q-096-24-eq | 627.62 | SAT |