squeezebf+aqme results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction70455501.65
Adder931243174.81
blackbox-01X-QBF68513156.16
blackbox_design7645600
Blocks8837223.94
BMC773323031.03
bomb48321012.72
C43273353467.86
C499763218835.22
C5315802223527.43
C628877234879.22
C88078142007.44
Chain82529784.87
circuits69233502.72
conformant_planning794412887
Connect464216867.47
Counter5294492.08
Debug8249184.14
DFlipFlop739172.76
dungeon55613333.08
evader-pursuer-4x4-logarithmic59515837.59
evader-pursuer-4x4-standard64232542.78
evader-pursuer-6x6-logarithmic67330956.01
evader-pursuer-6x6-standard66231688.16
evader-pursuer-8x8-logarithmic72327732.4
FPGA_PLB_FIT_FAST384129.32
FPGA_PLB_FIT_SLOW251232.61
fpu47663.09
Generalized-Tic-Tac-Toe48178398.73
HardwareFixpoint5633600
Impl741037.77
incrementer-encoder52515660.29
irqlkeapclte8148600
ISCAS893262586
ITC99422115671.18
jmc_quant_squaring9557000
k_branch_n75332489.88
k_branch_p82812117.4
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_n72517432.99
k_ph_p70331212
k_poly_n681040.83
k_poly_p641037.72
k_t4p_n71102614.83
k_t4p_p76103298.93
LinearBitvectorRankingFunction6036000
Logn29260.71
mqm75549716.46
MutexP78767.94
Planning-CTE38239652.36
QBF-Hardness51615564.69
qbfeval1227143016.73
Qshifter6163104.78
RankingFunctions55615814.81
Reduction-finding541420122.5
Rewriting451033.73
s11964426400
s12697042000
s27361335.4
s29870232101.53
s33307243200
s38669136622.88
s4996237200
s5105935400
s64155128997.26
s71373138616.7
s82070138372.4
Sorting_networks864317913.85
SzymanskiP93101250.38
term1692221622.96
terminator70617755.96
tipdiam68522263.78
tipfixpoint691126201.92
ToiletA483744.52
ToiletC4819310.87
ToiletG43723.46
trafficlight-controller4510238.08
Tree742840.36
uclid3018000
VonNeumann75475.3
wmiforward70521050.2
z4ml614436.7