Instance | # Sat | # Unsat | Minority Solver |
---|---|---|---|
cache-coherence-2-fixpoint-4 | 2 | 11 | Qute_opt500, Qute_random |
cache-coherence-2-fixpoint-6 | 2 | 11 | Qute_opt500, Qute_random |
cache-coherence-3-fixpoint-3 | 2 | 11 | Qute_opt500, Qute_random |
pi-bus-fixpoint-1 | 2 | 11 | Qute_opt500, Qute_random |
usb-phy-fixpoint-3 | 2 | 16 | Qute_opt500, Qute_random |