hiqqer3 results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction70455758.31
Adder931246250.8
blackbox-01X-QBF68618151.98
blackbox_design76618029.3
Blocks883752.17
BMC773324449.35
bomb48418436.99
C432733312775.91
C499763221561.25
C5315802130652.94
C62887746180.67
C88078235996.16
Chain82104.63
circuits69137785.97
conformant_planning793322424.26
Connect464617628.94
Counter5296378.64
Debug8249182.54
DFlipFlop731020.83
dungeon55423524.85
evader-pursuer-4x4-logarithmic597216.43
evader-pursuer-4x4-standard64512755.18
evader-pursuer-6x6-logarithmic67614420.4
evader-pursuer-6x6-standard6639589.22
evader-pursuer-8x8-logarithmic72522215.62
FPGA_PLB_FIT_FAST384111.5
FPGA_PLB_FIT_SLOW2512601.95
fpu4710147.23
Generalized-Tic-Tac-Toe48183493.04
HardwareFixpoint562220402.93
Impl74102.29
incrementer-encoder52615658.59
irqlkeapclte81238892.32
ISCAS893261286.09
ITC99421119798.52
jmc_quant_squaring952140553.25
k_branch_n7595492.79
k_branch_p8287963.98
k_d4_n73107.03
k_d4_p72104.69
k_dum_n66102.83
k_dum_p74103.18
k_grz_n68105.03
k_grz_p70104.47
k_lin_n6410150.74
k_lin_p65103.74
k_path_n67103.22
k_path_p67103.59
k_ph_n7210380.89
k_ph_p70331190.79
k_poly_n68102.98
k_poly_p64102.68
k_t4p_n71106.31
k_t4p_p76105.57
LinearBitvectorRankingFunction6035986.7
Logn29432.57
mqm75554353.3
MutexP7877.3
Planning-CTE38217400.22
QBF-Hardness51711539.53
qbfeval1227143000.3
Qshifter61675.73
RankingFunctions55103.84
Reduction-finding541516277.26
Rewriting45101.53
s1196441120833.43
s12697041987.25
s27361317.67
s29870427354.37
s333072236822.37
s386695422842.77
s49962330749.02
s51059229264
s64155518653.53
s71373525713.94
s82070333174.93
Sorting_networks862233651.49
SzymanskiP9310353.06
term1694455.3
terminator70137788.38
tipdiam68426407.31
tipfixpoint692322197.07
ToiletA483710.61
ToiletC48183002.1
ToiletG4371.34
trafficlight-controller4510388.84
Tree74282.3
uclid3017993.2
VonNeumann7510113.81
wmiforward70103.63
z4ml61442.14