rareqs results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction23117781.92
Adder861261386.06
amba8122171.78
arithmetic54900.04
blackbox-01X-QBF7820136.35
BMC734230523.35
C43221227.48
C4993127900
C531551135163.84
C628867152239.78
C88060145026.31
circuits73255022.31
conformant_planning581420514.86
Connect21156.8
Connect31900
Connect436131500.05
Connect521900.63
Connect621900.05
Connect721800
Connect8220.48
Counter19211714.92
cycle-sched8212584.78
Debug94474392.46
disjunctive_decomposition531958.51
driver8220.76
dungeon601645712.87
evader-pursuer-4x4-logarithmic1018.4
evader-pursuer-4x4-standard64150409.68
evader-pursuer-6x6-logarithmic44135826
evader-pursuer-6x6-standard6659400
evader-pursuer-8x8-logarithmic4641400
formula_add1284610.32
fpu202023.4
genbuf823801.98
Generalized-Tic-Tac-Toe2048879.37
genpatch513600.45
HardwareFixpoint542439692
hwmcc823624.08
hyperLTL4110
incrementer-encoder3521173.91
irqlkeapclte8172900
ISCAS894222.99
ITC99372130609.43
jmc_quant43600
jmc_quant_squaring7769300
k_branch_n37223985.68
k_branch_p61514679.2
k_ph_p5852200
LinearBitvectorRankingFunction731353291.66
ltl2aig-comp823664.52
LTL2DBA4110.58
LTL2DPA4113.36
mqm2522500
mult-matrix815400.5
Planning-CTE5322712677.5
QBF-Hardness30421450.78
qbfeval12715400.02
RankingFunctions220.12
Reduction-finding29237674.16
s11961527707.13
s12691517483.43
s29814111313.06
s33301918758.3
s49913113748.55
s51098100
s6411611360.96
s7131523048.12
s82014112975.56
sketch513916.47
Sorting_networks57242486.02
SzymanskiP192837.93
terminator42224762.07
tipdiam5549500
tipfixpoint5852200
toy8221.1
trafficlight-controller101013.01
uclid3027000