hiqqer1 results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction70455664.24
Adder931246159.23
blackbox-01X-QBF68618009.63
blackbox_design76618011.31
Blocks883743.02
BMC774320871.94
bomb48417969
C432733312774.57
C499763221553.75
C5315802130640.93
C62887746181.57
C88078235991.36
Chain82104.69
circuits69137786.51
conformant_planning793322359.56
Connect464617311.57
Counter5287237.92
Debug8249187.72
DFlipFlop731020.7
dungeon55422608.85
evader-pursuer-4x4-logarithmic59788.45
evader-pursuer-4x4-standard64417540.72
evader-pursuer-6x6-logarithmic67613095.99
evader-pursuer-6x6-standard6639584.25
evader-pursuer-8x8-logarithmic72520376.3
FPGA_PLB_FIT_FAST38417.56
FPGA_PLB_FIT_SLOW2512598.52
fpu4710145.89
Generalized-Tic-Tac-Toe48183430.21
HardwareFixpoint562220402.08
Impl74102.22
incrementer-encoder52615646.11
irqlkeapclte81143458.51
ISCAS893261166.62
ITC99421119799.13
jmc_quant_squaring952140528.11
k_branch_n7595573.39
k_branch_p8210401.04
k_d4_n73106.86
k_d4_p72104.67
k_dum_n66102.87
k_dum_p74103.45
k_grz_n68104.97
k_grz_p70104.41
k_lin_n6410151.64
k_lin_p65103.75
k_path_n67103.33
k_path_p67103.78
k_ph_n7210316.91
k_ph_p70331190.72
k_poly_n68103.01
k_poly_p64102.69
k_t4p_n71106.38
k_t4p_p76105.46
LinearBitvectorRankingFunction6035986.2
Logn29433.15
mqm75553586.96
MutexP7877.28
Planning-CTE38217399.42
QBF-Hardness51711525.63
qbfeval1227143000.3
Qshifter61676.33
RankingFunctions55103.83
Reduction-finding541516273.19
Rewriting45101.53
s1196441120544.51
s12697041985.3
s27361317.53
s29870425273.47
s333072236158.74
s386695515250.32
s49962428213.94
s51059328263.01
s64155517176.7
s713735123407.31
s82070430888.74
Sorting_networks862328569.93
SzymanskiP9310352.67
term1694452.58
terminator70137789.05
tipdiam68426396.53
tipfixpoint692322198.57
ToiletA483710.02
ToiletC48192444.06
ToiletG4371.35
trafficlight-controller4510361.91
Tree74282.22
uclid3017993.2
VonNeumann7510113.79
wmiforward70103.5
z4ml61442.36