Discrepancies tables
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
Q_2-3_v-80-100_r-11.2 1 5 xb-bid-qsts
Q_2-3_v-80-100_r-11.6 1 5 xb-bid-qsts
Q_2-3_v-80-100_r-11.9 1 2 xb-bid-qsts
Q_2-3_v-80-100_r-13.1 1 9 xb-bid-qsts
Q_2-3_v-80-100_r-13.2 1 12 xb-bid-qsts
Q_2-3_v-80-100_r-13.3 1 10 xb-bid-qsts
Q_2-3_v-80-100_r-13.4 1 9 xb-bid-qsts
Q_2-3_v-80-100_r-13.6 1 9 xb-bid-qsts
Q_2-3_v-80-100_r-13.9 1 11 xb-bid-qsts
robots_1_5_4_74.9 1 16 xb-bid-qsts
robots_1_5_5_91.7 1 16 xb-bid-qsts
T-adeu-42 1 16 xb-bid-qsts
Download table[csv, latex]