Instance |
# Sat |
# Unsat |
Minority Solver |
cache-coherence-2-fixpoint-4 |
2 |
14 |
Qute_opt500, Qute_random |
cache-coherence-2-fixpoint-5 |
2 |
14 |
Qute_opt500, Qute_random |
cache-coherence-2-fixpoint-6 |
2 |
14 |
Qute_opt500, Qute_random |
cache-coherence-3-fixpoint-2 |
2 |
14 |
Qute_opt500, Qute_random |
cache-coherence-3-fixpoint-3 |
2 |
14 |
Qute_opt500, Qute_random |
ethernet-fixpoint-1 |
2 |
20 |
Qute_opt500, Qute_random |
ethernet-fixpoint-2 |
2 |
14 |
Qute_opt500, Qute_random |
pi-bus-fixpoint-1 |
2 |
14 |
Qute_opt500, Qute_random |
sortnetsort10.AE.stepl.008 |
3 |
8 |
Qute_default, Qute_opt500, Qute_random |
sortnetsort10.AE.stepl.009 |
3 |
11 |
Qute_default, Qute_opt500, Qute_random |
sortnetsort10.AE.stepl.010 |
3 |
9 |
Qute_default, Qute_opt500, Qute_random |
sortnetsort10.AE.stepl.011 |
3 |
10 |
Qute_default, Qute_opt500, Qute_random |
sortnetsort10.AE.stepl.012 |
3 |
12 |
Qute_default, Qute_opt500, Qute_random |
sortnetsort7.AE.stepl.006 |
3 |
14 |
Qute_default, Qute_opt500, Qute_random |
sortnetsort7.AE.stepl.007 |
3 |
15 |
Qute_default, Qute_opt500, Qute_random |
sortnetsort7.AE.stepl.008 |
3 |
15 |
Qute_default, Qute_opt500, Qute_random |
sortnetsort7.AE.stepl.009 |
3 |
15 |
Qute_default, Qute_opt500, Qute_random |
sortnetsort8.AE.stepl.006 |
3 |
14 |
Qute_default, Qute_opt500, Qute_random |
sortnetsort8.AE.stepl.008 |
3 |
17 |
Qute_default, Qute_opt500, Qute_random |
sortnetsort8.AE.stepl.009 |
3 |
16 |
Qute_default, Qute_opt500, Qute_random |
sortnetsort9.AE.stepl.007 |
3 |
10 |
Qute_default, Qute_opt500, Qute_random |
sortnetsort9.AE.stepl.008 |
3 |
13 |
Qute_default, Qute_opt500, Qute_random |
sortnetsort9.AE.stepl.009 |
3 |
13 |
Qute_default, Qute_opt500, Qute_random |
sortnetsort9.AE.stepl.010 |
3 |
14 |
Qute_default, Qute_opt500, Qute_random |
sortnetsort9.AE.stepl.011 |
3 |
17 |
Qute_default, Qute_opt500, Qute_random |
sortnetsort9.AE.stepl.012 |
3 |
16 |
Qute_default, Qute_opt500, Qute_random |
usb-phy-fixpoint-1 |
2 |
20 |
Qute_opt500, Qute_random |
usb-phy-fixpoint-2 |
2 |
20 |
Qute_opt500, Qute_random |
usb-phy-fixpoint-3 |
2 |
20 |
Qute_opt500, Qute_random |