rareqs-nn results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction38311188.14
Adder52126384.07
blackbox-01X-QBF3553102.54
blackbox_design41553.58
Blocks4823202.2
BMC411116772.26
bomb281113236.98
C43240225139.42
C499421113626.5
C531544212597.96
C62884124587.11
C88042216412.83
Chain4851076.52
circuits38119188.46
conformant_planning472114621.09
Connect43439761.32
Counter30113794.77
Debug4627249.85
DFlipFlop395615.55
dungeon3118507.86
evader-pursuer-4x4-logarithmic3420388.24
evader-pursuer-4x4-standard4023973.5
evader-pursuer-6x6-logarithmic3722183.05
evader-pursuer-6x6-standard367545.51
evader-pursuer-8x8-logarithmic3923375.49
FPGA_PLB_FIT_FAST24115622.16
FPGA_PLB_FIT_SLOW182612.38
fpu27210229.13
Generalized-Tic-Tac-Toe2615591.91
HardwareFixpoint3219190.09
Impl3923390.29
incrementer-encoder31115590.19
irqlkeapclte4627581.25
ISCAS89169594.22
ITC9933116784.52
jmc_quant_squaring5130583.21
k_branch_n38119316.93
k_branch_p4225187.05
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_n37214224.95
k_ph_p38215001.99
k_poly_n3621589.56
k_poly_p3621589.56
k_t4p_n3520989.85
k_t4p_p4627586.66
LinearBitvectorRankingFunction35116995.44
Logn192752.7
mqm45313410130.72
MutexP47429.06
NuSMV_diam27592227.55
Planning-CTE1918271.74
QBF-Hardness29211434.11
qbfeval12105997.1
QLTL_safety300316387.86
Qshifter33114373.6
RankingFunctions3319789.63
Reduction-finding31310633.59
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_networks4929385.8
SzymanskiP48220045.73
term13822284.74
terminator37311023.43
tipdiam39310207.77
tipfixpoint38317571.38
ToiletA27530.58
ToiletC26133011.91
ToiletG2746.08
trafficlight-controller2536697.9
Tree39118593.81
uclid2213194.72
VonNeumann4053061.26
wmiforward39516.54
z4ml32312.4