qsts results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction38135401.04
Adder52123037.37
blackbox-01X-QBF3544508.07
blackbox_design41567.21
Blocks48231.91
BMC41216172.06
bomb2813489.34
C43240213195.02
C49942120390.45
C531544212595.01
C62884124588.11
C88042226.08
Chain4851.1
circuits38119191.64
conformant_planning471119209.18
Connect43439579.06
Counter3045131.38
Debug4625398.74
DFlipFlop39562.25
dungeon315144.54
evader-pursuer-4x4-logarithmic3418472.89
evader-pursuer-4x4-standard4020815.7
evader-pursuer-6x6-logarithmic379184.87
evader-pursuer-6x6-standard3621569.85
evader-pursuer-8x8-logarithmic3911101.8
FPGA_PLB_FIT_FAST2421125.68
FPGA_PLB_FIT_SLOW1818725.28
fpu27544.61
Generalized-Tic-Tac-Toe26549.14
HardwareFixpoint3216571.46
Impl3950.63
incrementer-encoder311422.86
irqlkeapclte4627586.75
ISCAS891621145.98
ITC993315946.06
jmc_quant_squaring5120734.21
k_branch_n385987.18
k_branch_p4246634.77
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_n37321.53
k_ph_p3846830.51
k_poly_n3652.15
k_poly_p3651.72
k_t4p_n3553.71
k_t4p_p4653.26
LinearBitvectorRankingFunction3520987.33
Logn19220.7
mqm453513196.5
MutexP4741.28
NuSMV_diam27581118.28
Planning-CTE1918368.58
QBF-Hardness29138610.9
qbfeval121022.6
QLTL_safety30065439.25
Qshifter33114391.06
RankingFunctions3318622.68
Reduction-finding31212675.11
Rewriting2536218
s1196251213.99
s126937142.67
s272120
s29834233.82
s33304154.08
s38638231.53
s49933231.66
s51033232.36
s64135324.59
s71342329.76
s82037231.96
Sorting_networks491121357.82
SzymanskiP4857705.29
term138131865.2
terminator3746581.86
tipdiam39321.14
tipfixpoint38413.48
ToiletA2743611.67
ToiletC26133007.99
ToiletG2740.13
trafficlight-controller25532.85
Tree39140.86
uclid2216603.08
VonNeumann405104.27
wmiforward39311399.54
z4ml32310