Discrepancies tables
QBFEVAL'18 - Prenex 2QBF Track


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
Download table[csv, latex]