Discrepancies tables for Sorting_networks
QBFEVAL'06


Instance # Sat # Unsat Minority Solver
sortnetsort5.AE.stepl.003 14 1 sKizzo-0.9-grn
sortnetsort5.v.stepl.005 20 1 WalkQSAT
sortnetsort6.v.stepl.005 18 2 GRL, WalkQSAT
sortnetsort6.v.stepl.006 18 1 WalkQSAT
sortnetsort6.v.stepl.007 17 1 WalkQSAT
sortnetsort7.v.stepl.006 8 1 WalkQSAT
sortnetsort7.v.stepl.007 8 1 WalkQSAT
sortnetsort8.AE.stepl.007 1 3 semprop
sortnetsort8.AE.stepl.008 1 3 semprop
sortnetsort8.AE.stepl.009 1 2 semprop
sortnetsort8.v.stepl.006 8 1 WalkQSAT
Download table[csv, latex]