rareqs results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction70455744.21
Adder931338335.57
blackbox-01X-QBF681070.12
blackbox_design761022.73
Blocks88375.65
BMC775311264.08
bomb48418299.54
C43273351346.07
C499763218608.52
C5315802223521.15
C628877234871.56
C880782130351.18
Chain82100.79
circuits69332687.01
conformant_planning79644057.37
Connect464424590.59
Counter5294215.69
Debug82245685.23
DFlipFlop731020.92
dungeon55423052.41
evader-pursuer-4x4-logarithmic59731.14
evader-pursuer-4x4-standard64133593.44
evader-pursuer-6x6-logarithmic67426056.8
evader-pursuer-6x6-standard6638911.56
evader-pursuer-8x8-logarithmic72328279.22
FPGA_PLB_FIT_FAST38412.08
FPGA_PLB_FIT_SLOW25123.35
fpu471066.5
Generalized-Tic-Tac-Toe48169748.37
HardwareFixpoint562220402.48
Impl74100
incrementer-encoder521975.33
irqlkeapclte8148578.68
ISCAS89326130.76
ITC99421112617.5
jmc_quant_squaring95156511.45
k_branch_n75814089.79
k_branch_p8288078.04
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_n7210212.99
k_ph_p70426770.8
k_poly_n68100.52
k_poly_p64100.51
k_t4p_n71103.49
k_t4p_p76102.9
LinearBitvectorRankingFunction60228795.43
Logn29435.54
mqm75236597.43
MutexP7874.15
Planning-CTE38256966.02
QBF-Hardness51614864.08
qbfeval1227143012.71
Qshifter61672.38
RankingFunctions55101.62
Reduction-finding54275159.05
Rewriting45100.14
s1196441415851.73
s126970233312.18
s2736134.91
s29870732634.36
s333072427239.34
s3866955819.32
s49962736800.7
s51059522428.29
s64155542016.61
s71373557278.05
s82070646952.49
Sorting_networks86552530.06
SzymanskiP93101133.56
term169442119.32
terminator70811052.29
tipdiam68426389.19
tipfixpoint692322194.25
ToiletA48377.8
ToiletC4819230.86
ToiletG4370
trafficlight-controller451095.36
Tree74280
uclid3017993.5
VonNeumann751047.65
wmiforward70101.18
z4ml61440.38