rareqs-nn results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction39311787.75
Adder60131180.85
blackbox-01X-QBF3553102.54
blackbox_design41553.58
Blocks4823202.2
BMC451119156.31
bomb311115024.11
C43240225139.42
C499421113626.5
C531545213197.57
C62884426386.24
C88042216412.83
Chain4851076.52
circuits41120987.02
conformant_planning472114621.09
Connect436310959.54
Counter32114994.09
Debug5432001.05
DFlipFlop395615.55
dungeon4023870.45
evader-pursuer-4x4-logarithmic3621587.46
evader-pursuer-4x4-standard4124572.81
evader-pursuer-6x6-logarithmic4225180.74
evader-pursuer-6x6-standard408383.9
evader-pursuer-8x8-logarithmic4124574.33
FPGA_PLB_FIT_FAST24115622.16
FPGA_PLB_FIT_SLOW182612.38
fpu27210229.13
Generalized-Tic-Tac-Toe2816791.13
HardwareFixpoint4124587.21
Impl3923390.29
incrementer-encoder40120986.5
irqlkeapclte6136575.13
ISCAS89169594.22
ITC9941121579.64
jmc_quant_squaring6136579.91
k_branch_n44122916.06
k_branch_p5130583.54
k_d4_n38119198.72
k_d4_p3923389.59
k_dum_n36117687.41
k_dum_p3923388.69
k_grz_n3923389.39
k_grz_p3420390.94
k_lin_n34116837.53
k_lin_p325192.8
k_path_n3822788.98
k_path_p38118593.11
k_ph_n38214824.57
k_ph_p43218000.07
k_poly_n3621589.56
k_poly_p3621589.56
k_t4p_n3520989.85
k_t4p_p4627586.66
LinearBitvectorRankingFunction48123080.68
Logn192752.7
mqm47313411350.38
MutexP47429.06
NuSMV_diam27592227.55
Planning-CTE25111807.9
QBF-Hardness33213832.57
qbfeval12105997.1
QLTL_safety300316387.86
Qshifter34114972.92
RankingFunctions3621588.66
Reduction-finding37314230.68
Rewriting2552.45
s119625110196.75
s126937213240.42
s272122.32
s29834212647.92
s333041313813.55
s3863823254.99
s49933322701.48
s5103349318.82
s64135311662.83
s71342310425.8
s82037234423.13
Sorting_networks6237181.97
SzymanskiP48220045.73
term13822284.74
terminator40312822.56
tipdiam47313808.15
tipfixpoint44319457.98
ToiletA27530.58
ToiletC26133011.91
ToiletG2746.08
trafficlight-controller2536697.9
Tree39118593.81
uclid2213194.72
VonNeumann4053061.26
wmiforward39516.54
z4ml32312.4