rareqs-nn results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction39311787.75
Adder63132979.62
blackbox-01X-QBF3553102.54
blackbox_design41553.58
Blocks4823202.2
BMC461119749.42
bomb311115024.11
C43240225139.42
C499421113626.5
C531546213797.18
C62884728185.27
C88042216412.83
Chain4851076.52
circuits41120987.02
conformant_planning472114621.09
Connect436310959.54
Counter32114994.09
Debug5834383.8
DFlipFlop395615.55
dungeon4023870.45
evader-pursuer-4x4-logarithmic3621587.46
evader-pursuer-4x4-standard4124572.81
evader-pursuer-6x6-logarithmic4426379.78
evader-pursuer-6x6-standard439029.27
evader-pursuer-8x8-logarithmic4325772.85
FPGA_PLB_FIT_FAST24115622.16
FPGA_PLB_FIT_SLOW182612.38
fpu27210229.13
Generalized-Tic-Tac-Toe2816791.13
HardwareFixpoint4325786.54
Impl3923390.29
incrementer-encoder43122785.27
irqlkeapclte6639573.09
ISCAS89169594.22
ITC9945123977.2
jmc_quant_squaring6438378.84
k_branch_n45123516.06
k_branch_p5231183.15
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_n39215424.28
k_ph_p44218599.68
k_poly_n3621589.56
k_poly_p3621589.56
k_t4p_n3520989.85
k_t4p_p4627586.66
LinearBitvectorRankingFunction53125508.6
Logn192752.7
mqm48313411960.21
MutexP47429.06
NuSMV_diam27592227.55
Planning-CTE27112986.62
QBF-Hardness35215031.8
qbfeval12105997.1
QLTL_safety300316387.86
Qshifter34114972.92
RankingFunctions3621588.66
Reduction-finding37314230.68
Rewriting2552.45
s119625110196.75
s126940215038.99
s272122.32
s29834212647.92
s333042314412.97
s3863823254.99
s49933322701.48
s5103349318.82
s64135311662.83
s71342310425.8
s82038234556.44
Sorting_networks6639580.82
SzymanskiP48220045.73
term13822284.74
terminator41313422.27
tipdiam49314408.97
tipfixpoint473110401.28
ToiletA27530.58
ToiletC26133011.91
ToiletG2746.08
trafficlight-controller2536697.9
Tree39118593.81
uclid2213194.72
VonNeumann4053061.26
wmiforward39516.54
z4ml32312.4