squeezebf+aqme results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction71456101.65
Adder1091252123.27
blackbox-01X-QBF74516756.16
blackbox_design7645600
Blocks8837223.94
BMC873326964.59
bomb51322812.72
C43273353467.86
C499763218835.22
C5315832225327.43
C628881237279.22
C88078142007.44
Chain82529784.87
circuits75237102.72
conformant_planning794412887
Connect468219267.47
Counter5495126.91
Debug9657581.59
DFlipFlop739172.76
dungeon72615437.07
evader-pursuer-4x4-logarithmic61516315.96
evader-pursuer-4x4-standard65233142.78
evader-pursuer-6x6-logarithmic72333856.12
evader-pursuer-6x6-standard72235288.16
evader-pursuer-8x8-logarithmic75328937.48
FPGA_PLB_FIT_FAST384129.32
FPGA_PLB_FIT_SLOW251232.61
fpu47663.09
Generalized-Tic-Tac-Toe541711456.39
HardwareFixpoint7545000
Impl741037.77
incrementer-encoder63522260.29
irqlkeapclte11166600
ISCAS893262586
ITC99512119889.04
jmc_quant_squaring11367800
k_branch_n85338489.88
k_branch_p99814488.85
k_d4_n73720907.51
k_d4_p7210353.25
k_dum_n661038.39
k_dum_p741045.58
k_grz_n6810255.64
k_grz_p7010289.98
k_lin_n64101330.21
k_lin_p6510131.49
k_path_n671039.63
k_path_p671040.55
k_ph_n73518032.99
k_ph_p81337812
k_poly_n681040.83
k_poly_p641037.72
k_t4p_n71102614.83
k_t4p_p76103298.93
LinearBitvectorRankingFunction8048000
Logn29260.71
mqm815410805.64
MutexP78767.94
Planning-CTE502313699.47
QBF-Hardness59620364.69
qbfeval1227143016.73
Qshifter6263119.45
RankingFunctions60617230.31
Reduction-finding651426722.5
Rewriting451033.73
s11964426400
s12697142600
s27361335.4
s29870232101.53
s33307343800
s38669136622.88
s4996237200
s5105935400
s64155128997.26
s71373138616.7
s82070138372.4
Sorting_networks1044324056.65
SzymanskiP97101438.26
term1692221622.96
terminator82621433.66
tipdiam82529476.62
tipfixpoint771131001.92
ToiletA483744.52
ToiletC4819310.87
ToiletG43723.46
trafficlight-controller4510238.08
Tree742840.36
uclid3018000
VonNeumann75475.3
wmiforward73522850.2
z4ml614436.7