Unique instances for xb-bid-qsts
QBFEVAL'16 - Random QBFs Track.


InstanceTimeResult
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#8.asp31.51SAT
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#5.asp27.42SAT
ci.e#1.a#3.E#40.A#60.c#408.w#4.s#3.asp42.12SAT
Q_2-3_v-80-100_r-7.031.54SAT
Q_2-3_v-80-100_r-7.127.94SAT
Q_2-3_v-80-100_r-7.337.37SAT
Q_2-3_v-80-100_r-7.429.32SAT
Q_2-3_v-80-100_r-7.524.78SAT
Q_2-3_v-80-100_r-7.728.83SAT
Q_2-3_v-80-100_r-7.828.04SAT
Q_2-3_v-80-100_r-9.227.51SAT
Q_2-3_v-80-100_r-9.431.86SAT
Q_2-3_v-80-100_r-9.935.86SAT
Q_3-3_v-100-100_r-11.031.71SAT
Q_3-3_v-100-100_r-11.227.83SAT
Q_3-3_v-100-100_r-11.328.21SAT
Q_3-3_v-100-100_r-11.428.23SAT
Q_3-3_v-100-100_r-11.927.91SAT
Q_3-3_v-100-100_r-13.127.9SAT
Q_3-3_v-100-100_r-13.431.68SAT
Q_3-3_v-100-100_r-13.726.19SAT
Q_3-3_v-100-100_r-13.828.67SAT
Q_3-3_v-100-100_r-15.531.67SAT
Q_3-3_v-100-100_r-17.028.86SAT
Q_3-3_v-100-100_r-17.831.93SAT
Q_3-3-3_v-100-100-100_r-30.525.92SAT
Q_3-3-3_v-100-100-100_r-40.037.66SAT
Q_3-3-3_v-100-100-100_r-60.529.97SAT
Q_3-3-3_v-100-100-100_r-70.529.08SAT