squeezebf+struqs results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction70140600.24
Adder93247379.73
blackbox-01X-QBF681226771.71
blackbox_design7645577.96
Blocks88149474.48
BMC7746179.46
bomb48223990.76
C43265229520.95
C49976236589.04
C531580142797.93
C628877140204.87
C88078236053.38
Chain82103.34
circuits69137783.61
conformant_planning792134343.61
Connect4644217983.26
Counter52321590.15
Debug8249176.29
DFlipFlop7319898.07
dungeon5532986.42
evader-pursuer-4x4-logarithmic59323550.8
evader-pursuer-4x4-standard64135977.98
evader-pursuer-6x6-logarithmic67137874.49
evader-pursuer-6x6-standard6639586.76
evader-pursuer-8x8-logarithmic72140785.7
FPGA_PLB_FIT_FAST381114443.84
FPGA_PLB_FIT_SLOW2514992.75
fpu4710658.8
Generalized-Tic-Tac-Toe481415276.26
HardwareFixpoint561224569.94
Impl74100.24
incrementer-encoder52128187.67
irqlkeapclte8148576.51
ISCAS893262818.33
ITC99422117293.73
jmc_quant_squaring952141801.67
k_branch_n75333624.96
k_branch_p8249177
k_d4_n73333742.34
k_d4_p72625144.05
k_dum_n661077.43
k_dum_p7410359.67
k_grz_n68715037.63
k_grz_p70525963.14
k_lin_n6438383.44
k_lin_p65811120.71
k_path_n67522513.55
k_path_p67328937.64
k_ph_n72811331.26
k_ph_p70331186.76
k_poly_n6810388.28
k_poly_p6410149.62
k_t4p_n71234002.21
k_t4p_p76102474.96
LinearBitvectorRankingFunction6035982.65
Logn29211395.39
mqm75236918.1
MutexP78753.64
Planning-CTE3822791.08
QBF-Hardness51812002.67
qbfeval12271210676.77
Qshifter6162890.84
RankingFunctions5510145.56
Reduction-finding541224521
Rewriting45515482.79
s119644121912.48
s12697041987.3
s2736132.59
s29870232859.91
s33307243189
s38669234843.11
s4996237188.29
s51059132214.09
s64155326155.26
s71373235492.9
s82070139684.16
Sorting_networks86149190.18
SzymanskiP93532726.3
term1694311332.91
terminator70522457.94
tipdiam68522702.39
tipfixpoint69522259.41
ToiletA483790.08
ToiletC48183026.14
ToiletG4370.07
trafficlight-controller45513410.22
Tree74280.07
uclid3017991.3
VonNeumann7510467.16
wmiforward70425992.87
z4ml61440.61