qsts results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction39136000.75
Adder63128952.71
blackbox-01X-QBF3544508.07
blackbox_design41567.21
Blocks48231.91
BMC46219164.78
bomb3113846.63
C43240213195.02
C49942120390.45
C531546213794.63
C62884728186.37
C88042226.08
Chain4851.1
circuits41120990.87
conformant_planning471119209.18
Connect436310775.1
Counter3245884.68
Debug5832371.2
DFlipFlop39562.25
dungeon405204.45
evader-pursuer-4x4-logarithmic3618996.25
evader-pursuer-4x4-standard4121311.33
evader-pursuer-6x6-logarithmic4410855.93
evader-pursuer-6x6-standard4325763.84
evader-pursuer-8x8-logarithmic4312394.21
FPGA_PLB_FIT_FAST2421125.68
FPGA_PLB_FIT_SLOW1818725.28
fpu27544.61
Generalized-Tic-Tac-Toe28549.22
HardwareFixpoint4322458.97
Impl3950.63
incrementer-encoder431428.98
irqlkeapclte6639580.99
ISCAS891621145.98
ITC994518494.35
jmc_quant_squaring6425575.14
k_branch_n4551414.98
k_branch_p5249046.34
k_d4_n3852.94
k_d4_p3951.79
k_dum_n3651
k_dum_p3950.77
k_grz_n3951.16
k_grz_p3451.14
k_lin_n3454.97
k_lin_p3250.51
k_path_n3851.03
k_path_p3850.92
k_ph_n39321.68
k_ph_p4448629.76
k_poly_n3652.15
k_poly_p3651.72
k_t4p_n3553.71
k_t4p_p4653.26
LinearBitvectorRankingFunction5331780.86
Logn19220.7
mqm4835131106.85
MutexP4741.28
NuSMV_diam27581118.28
Planning-CTE27113149.14
QBF-Hardness351311148.15
qbfeval121022.6
QLTL_safety30065439.25
Qshifter34114990.78
RankingFunctions3620237.54
Reduction-finding37216273.37
Rewriting2536218
s1196251213.99
s126940142.93
s272120
s29834233.82
s33304254.23
s38638231.53
s49933231.66
s51033232.36
s64135324.59
s71342329.76
s82038232
Sorting_networks661130160.02
SzymanskiP4857705.29
term138131865.2
terminator4148980.7
tipdiam49321.56
tipfixpoint47414.62
ToiletA2743611.67
ToiletC26133007.99
ToiletG2740.13
trafficlight-controller25532.85
Tree39140.86
uclid2216603.08
VonNeumann405104.27
wmiforward39311399.54
z4ml32310