Discrepancies tables for HardwareFixpoint
QBFEVAL'18 - Prenex CNF Track


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