xb-qsts results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction70457127.22
Adder93247369.47
blackbox-01X-QBF68104905.56
blackbox_design7610117.89
Blocks883752.35
BMC772134307.67
bomb48321241.41
C432733512056.98
C499763218617.93
C5315802130672.36
C62887746176.67
C880782133741.86
Chain82108.37
circuits69137781.27
conformant_planning795218629.62
Connect464617738.06
Counter5294480.52
Debug8249158.01
DFlipFlop7396619.36
dungeon55324842.04
evader-pursuer-4x4-logarithmic59610024.44
evader-pursuer-4x4-standard6423849.8
evader-pursuer-6x6-logarithmic67519157.5
evader-pursuer-6x6-standard6634256.66
evader-pursuer-8x8-logarithmic72422300.6
FPGA_PLB_FIT_FAST38418.34
FPGA_PLB_FIT_SLOW251291.96
fpu4710290.46
Generalized-Tic-Tac-Toe48191433.12
HardwareFixpoint562315079.2
Impl74100.08
incrementer-encoder52615884.49
irqlkeapclte8148576.65
ISCAS893261380.6
ITC99422110740.53
jmc_quant_squaring952236674.94
k_branch_n7593815.36
k_branch_p8293073.83
k_d4_n731046.44
k_d4_p721014.45
k_dum_n66105.84
k_dum_p74106.66
k_grz_n681018.51
k_grz_p701013.87
k_lin_n6410114.59
k_lin_p65109.94
k_path_n67109.32
k_path_p671011.99
k_ph_n7210657.43
k_ph_p70428718.7
k_poly_n68106.8
k_poly_p64104.91
k_t4p_n711029.52
k_t4p_p761023.16
LinearBitvectorRankingFunction6035977.49
Logn294192.35
mqm75552161.69
MutexP78797.16
Planning-CTE38217383.67
QBF-Hardness5119214.55
qbfeval122724759.5
Qshifter616144.08
RankingFunctions551028.65
Reduction-finding541516232.63
Rewriting45100.59
s119644157160.77
s126970233598.69
s2736136.58
s298707211064.32
s333072234175.84
s38669555341.79
s499627112192.03
s51059325769.69
s64155543331.63
s71373549805.45
s820705219282.39
Sorting_networks864324050.5
SzymanskiP93818673.62
term1694454.66
terminator70426463.84
tipdiam68426396.91
tipfixpoint693317520.91
ToiletA483722.43
ToiletC4819455.03
ToiletG4370.07
trafficlight-controller45101112.56
Tree74280
uclid3017991.38
VonNeumann7510194.34
wmiforward701010.94
z4ml61441.75