Discrepancies tables for Model_instances
QBFEVAL'16 - Random QBFs Track.


Instance # Sat # Unsat Minority Solver
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.asp 1 5 xb-bid-qsts
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.asp 1 5 xb-bid-qsts
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#3.asp 1 15 xb-bid-qsts
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#5.asp 1 14 xb-bid-qsts
Download table[csv, latex]