qsts results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction39136000.75
Adder60127301.35
blackbox-01X-QBF3544508.07
blackbox_design41567.21
Blocks48231.91
BMC45218566.86
bomb3113846.63
C43240213195.02
C49942120390.45
C531545213194.82
C62884426387.24
C88042226.08
Chain4851.1
circuits41120990.87
conformant_planning471119209.18
Connect436310775.1
Counter3245884.68
Debug5429975.34
DFlipFlop39562.25
dungeon405204.45
evader-pursuer-4x4-logarithmic3618996.25
evader-pursuer-4x4-standard4121311.33
evader-pursuer-6x6-logarithmic4210396.57
evader-pursuer-6x6-standard4023966.5
evader-pursuer-8x8-logarithmic4111741.27
FPGA_PLB_FIT_FAST2421125.68
FPGA_PLB_FIT_SLOW1818725.28
fpu27544.61
Generalized-Tic-Tac-Toe28549.22
HardwareFixpoint4121382.21
Impl3950.63
incrementer-encoder401427.45
irqlkeapclte6136582.43
ISCAS891621145.98
ITC994117644.92
jmc_quant_squaring6124584.56
k_branch_n4451314.6
k_branch_p5148446.62
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_n38321.57
k_ph_p4348629.73
k_poly_n3652.15
k_poly_p3651.72
k_t4p_n3553.71
k_t4p_p4653.26
LinearBitvectorRankingFunction4828782.67
Logn19220.7
mqm4735131103.4
MutexP4741.28
NuSMV_diam27581118.28
Planning-CTE25111954
QBF-Hardness331310302.4
qbfeval121022.6
QLTL_safety30065439.25
Qshifter34114990.78
RankingFunctions3620237.54
Reduction-finding37216273.37
Rewriting2536218
s1196251213.99
s126937142.67
s272120
s29834233.82
s33304154.08
s38638231.53
s49933231.66
s51033232.36
s64135324.59
s71342329.76
s82037231.96
Sorting_networks621128082.83
SzymanskiP4857705.29
term138131865.2
terminator4048380.99
tipdiam47321.49
tipfixpoint44414.24
ToiletA2743611.67
ToiletC26133007.99
ToiletG2740.13
trafficlight-controller25532.85
Tree39140.86
uclid2216603.08
VonNeumann405104.27
wmiforward39311399.54
z4ml32310