rareqs results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction71456343.92
Adder1091345788.35
blackbox-01X-QBF741084.14
blackbox_design761022.73
Blocks88375.65
BMC875312562.32
bomb51419649.51
C43273351346.07
C499763218608.52
C5315832225320.29
C628881237270.4
C880782130351.18
Chain82100.79
circuits75336285.37
conformant_planning79644057.37
Connect468426989.43
Counter5494815.58
Debug96253166.59
DFlipFlop731020.92
dungeon72432582.27
evader-pursuer-4x4-logarithmic61732.16
evader-pursuer-4x4-standard65134193.15
evader-pursuer-6x6-logarithmic72428426.06
evader-pursuer-6x6-standard7242508.56
evader-pursuer-8x8-logarithmic75329489.65
FPGA_PLB_FIT_FAST38412.08
FPGA_PLB_FIT_SLOW25123.35
fpu471066.5
Generalized-Tic-Tac-Toe541613346.85
HardwareFixpoint752230598.98
Impl74100
incrementer-encoder631995.64
irqlkeapclte11166570.91
ISCAS89326130.76
ITC99511115964.29
jmc_quant_squaring113167260.33
k_branch_n85818198.12
k_branch_p99810549.26
k_d4_n73106.57
k_d4_p72102.01
k_dum_n66100.63
k_dum_p74100.73
k_grz_n68102.61
k_grz_p70101.74
k_lin_n641047.06
k_lin_p65101.45
k_path_n67101.2
k_path_p67101.58
k_ph_n7310235.92
k_ph_p81432948.61
k_poly_n68100.52
k_poly_p64100.51
k_t4p_n71103.49
k_t4p_p76102.9
LinearBitvectorRankingFunction80237794.99
Logn29435.54
mqm81240195.69
MutexP7874.15
Planning-CTE50259880.29
QBF-Hardness59619662.16
qbfeval1227143012.71
Qshifter62672.74
RankingFunctions60101.88
Reduction-finding65277102.95
Rewriting45100.14
s1196441415851.73
s126971233911.89
s2736134.91
s29870732634.36
s333073427838.95
s3866955819.32
s49962736800.7
s51059522428.29
s64155542016.61
s71373557278.05
s82070646952.49
Sorting_networks104553336.66
SzymanskiP97101306.8
term169442119.32
terminator82815142.82
tipdiam82434785.13
tipfixpoint772326991.93
ToiletA48377.8
ToiletC4819230.86
ToiletG4370
trafficlight-controller451095.36
Tree74280
uclid3017993.5
VonNeumann751047.65
wmiforward73101.36
z4ml61440.38