hiqqer1ldsq results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction70455661.62
Adder931246170.94
blackbox-01X-QBF68616344.34
blackbox_design76618011.75
Blocks883738.86
BMC774320885.64
bomb48417967.77
C43273333458.92
C499763221085.71
C5315802130639.96
C62887746178.77
C88078221476.88
Chain82103.71
circuits69136354.85
conformant_planning79414134.36
Connect464617335.14
Counter5287239.53
Debug8249191.62
DFlipFlop731020.03
dungeon48320393.93
evader-pursuer-4x4-logarithmic59788.07
evader-pursuer-4x4-standard64417539.4
evader-pursuer-6x6-logarithmic67517215.49
evader-pursuer-6x6-standard6639584.93
evader-pursuer-8x8-logarithmic72520883.83
FPGA_PLB_FIT_FAST38416.3
FPGA_PLB_FIT_SLOW2512831.88
fpu4710146.64
Generalized-Tic-Tac-Toe48183402.88
HardwareFixpoint562220403.36
Impl74101.48
incrementer-encoder52615645.48
irqlkeapclte81143444.61
ISCAS893261165.89
ITC99421119797.72
jmc_quant_squaring952140525.13
k_branch_n7595573.15
k_branch_p8210401.45
k_d4_n73106.08
k_d4_p72103.83
k_dum_n66102.18
k_dum_p74102.28
k_grz_n68104.2
k_grz_p70103.65
k_lin_n6410149.98
k_lin_p65103.22
k_path_n67102.37
k_path_p67103.06
k_ph_n7210313.16
k_ph_p70331189.66
k_poly_n68102.2
k_poly_p64101.93
k_t4p_n71105.39
k_t4p_p76104.7
LinearBitvectorRankingFunction6035984.8
Logn29432.73
mqm75553595.68
MutexP7876.41
Planning-CTE38214801.79
QBF-Hardness51711530.4
qbfeval1227142999.99
Qshifter61675.98
RankingFunctions55103.2
Reduction-finding541415058.93
Rewriting45101.09
s1196441121497.01
s12697041983.8
s27361316.87
s29870524410.21
s333072236161.5
s386695515471.53
s49962329005.25
s51059328271.55
s64155517208.13
s71373523950.06
s82070431001.43
Sorting_networks862321330.64
SzymanskiP9310351.4
term16944141.99
terminator70137789.21
tipdiam68426395.94
tipfixpoint692322196.67
ToiletA48379.23
ToiletC48192493.25
ToiletG4370.86
trafficlight-controller4510360.24
Tree74281.56
uclid3017992.4
VonNeumann7510113.55
wmiforward70102.96
z4ml61441.38