aqme-10 results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction71456114.1
Adder1092245809.46
blackbox-01X-QBF74717371
blackbox_design7645600
Blocks8837285.93
BMC874319312.12
bomb51418949.98
C43273353472.59
C499763218824.35
C5315832225319.3
C628881237277.76
C88078142007.44
Chain821057.83
circuits75236950.44
conformant_planning795411299.38
Connect468619283.39
Counter5495139.34
Debug96818375.69
DFlipFlop731091.78
dungeon7210667.49
evader-pursuer-4x4-logarithmic61611623.52
evader-pursuer-4x4-standard65233195.08
evader-pursuer-6x6-logarithmic72329260.63
evader-pursuer-6x6-standard72234131.68
evader-pursuer-8x8-logarithmic75423762.42
FPGA_PLB_FIT_FAST384128.16
FPGA_PLB_FIT_SLOW251232.46
fpu4710568.62
Generalized-Tic-Tac-Toe54187161.95
HardwareFixpoint7545000
Impl741038.38
incrementer-encoder63622270.43
irqlkeapclte11166600
ISCAS893262578.67
ITC9951222286.16
jmc_quant_squaring11367800
k_branch_n85338482.98
k_branch_p99910306.71
k_d4_n73720915.12
k_d4_p7210371.76
k_dum_n661037.12
k_dum_p741042.03
k_grz_n6810251.39
k_grz_p7010295.7
k_lin_n64101320.61
k_lin_p651090.55
k_path_n671038.78
k_path_p671040.02
k_ph_n73522222.46
k_ph_p81337811.65
k_poly_n681042.59
k_poly_p641037.37
k_t4p_n71102672.54
k_t4p_p76103300.35
LinearBitvectorRankingFunction8048000
Logn29449.09
mqm814416376.8
MutexP78765.99
Planning-CTE502313610.89
QBF-Hardness59620347.21
qbfeval1227143016.87
Qshifter626220.84
RankingFunctions60617132.79
Reduction-finding651426723.32
Rewriting451033.55
s11964426400
s12697142600
s27361337.29
s29870231875.68
s33307343800
s38669136614.24
s4996237200
s5105935400
s64155129035.13
s71373138640.3
s82070137659.6
Sorting_networks1044324092.85
SzymanskiP97101392.26
term1694212038.09
terminator82621388.24
tipdiam82529479.72
tipfixpoint771331000.14
ToiletA483749.4
ToiletC4819660.01
ToiletG43724.05
trafficlight-controller4510261.47
Tree742844.75
uclid3018000
VonNeumann7510345.35
wmiforward73522850.77
z4ml614438.44