rareqs results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction26120481.92
Adder1061274629.38
amba18123585.61
arithmetic1743600.16
blackbox-01X-QBF11820201.39
BMC924237135.51
C43221227.48
C4993127900
C531554137863.84
C628871155839.78
C88060145026.31
circuits84264922.31
conformant_planning601422314.86
Connect21156.8
Connect321800
Connect443137800.05
Connect521900.63
Connect6311800.05
Connect743600
Connect8220.48
Counter22214414.92
cycle-sched18215205.13
Debug115489448.62
disjunctive_decomposition18312034.04
driver14221.45
dungeon1051684330.32
evader-pursuer-4x4-logarithmic1018.4
evader-pursuer-4x4-standard65151309.68
evader-pursuer-6x6-logarithmic48139048.6
evader-pursuer-6x6-standard7264800
evader-pursuer-8x8-logarithmic4843200
formula_add29811116.6
fpu202023.4
genbuf1827670.92
Generalized-Tic-Tac-Toe32415562.43
genpatch15110801.35
HardwareFixpoint1092478453.77
hwmcc1429024.08
hyperLTL4110
incrementer-encoder50211101.85
irqlkeapclte11199900
ISCAS896227.17
ITC99502140519.29
jmc_quant54500
jmc_quant_squaring9484600
k_branch_n51233200.38
k_branch_p80520151.93
k_ph_p7567500
LinearBitvectorRankingFunction1101378861.15
ltl2aig-comp1525530.89
LTL2DBA7111.15
LTL2DPA8117.4
mqm3127900
mult-matrix18111701.25
Planning-CTE10722727223.86
QBF-Hardness50433388.82
qbfeval12715400.02
RankingFunctions220.12
Reduction-finding452310751.66
s11961527707.13
s12691618383.43
s29814111313.06
s33302019658.3
s49913113748.55
s51098100
s6411611360.96
s7131523048.12
s82014112975.56
sketch14110265.88
Sorting_networks75243293.06
SzymanskiP2321010.01
terminator69244155.54
tipdiam7769300
tipfixpoint8374700
toy12222.42
trafficlight-controller101013.01
uclid3027000