xb-qsts_xbqsts2.0 results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction231117108.84
Adder8677400
amba8123030.84
arithmetic54900.49
blackbox-01X-QBF781911504.98
BMC73162742.08
C43221113736.4
C4993127900
C53155145900
C62886760300
C88060146061.85
circuits73264078.71
conformant_planning58145296.16
Connect21900
Connect31900
Connect436131500.28
Connect522223.55
Connect621900.22
Connect721800
Connect8222.17
Counter19214986.34
cycle-sched815538.72
Debug9484600
disjunctive_decomposition531800.84
driver8229.26
dungeon601449068.54
evader-pursuer-4x4-logarithmic109000
evader-pursuer-4x4-standard6457600
evader-pursuer-6x6-logarithmic44227596.6
evader-pursuer-6x6-standard6659400
evader-pursuer-8x8-logarithmic46140397.4
formula_add1229587.48
fpu2020104.43
genbuf87200
Generalized-Tic-Tac-Toe2016558.12
genpatch513602.8
HardwareFixpoint542731680.69
hwmcc825348.1
hyperLTL4110.12
incrementer-encoder351724546.91
irqlkeapclte8172900
ISCAS8942240.4
ITC99372131130.61
jmc_quant43600
jmc_quant_squaring771161820.14
k_branch_n3758254.98
k_branch_p6169264.55
k_ph_p58245362.79
LinearBitvectorRankingFunction73165001.1
ltl2aig-comp87200
LTL2DBA4114.28
LTL2DPA41113.48
mqm2531994.86
mult-matrix815415.1
Planning-CTE53545079.48
QBF-Hardness3019378.07
qbfeval12715400.07
RankingFunctions221.13
Reduction-finding291215013.67
s11961523348.54
s12691517940.81
s29814113256.61
s33301919657.8
s4991316593.43
s51098100
s6411611813.04
s7131522612.7
s8201417227.57
sketch54500
Sorting_networks571228746.23
SzymanskiP1917100
terminator4237800
tipdiam5549500
tipfixpoint58145037.44
toy82214.24
trafficlight-controller1010163.83
uclid3027000