aqme-10 results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction70455514.1
Adder932238017.58
blackbox-01X-QBF68713771
blackbox_design7645600
Blocks8837285.93
BMC774316794.54
bomb48417701.86
C43273353472.59
C499763218824.35
C5315802223519.3
C628877234877.76
C88078142007.44
Chain821057.83
circuits69233350.44
conformant_planning795411299.38
Connect464616883.39
Counter5294505.09
Debug82815827.22
DFlipFlop731091.78
dungeon5510484.81
evader-pursuer-4x4-logarithmic59611543.53
evader-pursuer-4x4-standard64232595.08
evader-pursuer-6x6-logarithmic67326819.39
evader-pursuer-6x6-standard66230531.68
evader-pursuer-8x8-logarithmic72422538.36
FPGA_PLB_FIT_FAST384128.16
FPGA_PLB_FIT_SLOW251232.46
fpu4710568.62
Generalized-Tic-Tac-Toe48185171.69
HardwareFixpoint5633600
Impl741038.38
incrementer-encoder52615670.43
irqlkeapclte8148600
ISCAS893262578.67
ITC9942218067.98
jmc_quant_squaring9557000
k_branch_n75332482.98
k_branch_p8297931.79
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_n72521622.46
k_ph_p70331211.65
k_poly_n681042.59
k_poly_p641037.37
k_t4p_n71102672.54
k_t4p_p76103300.35
LinearBitvectorRankingFunction6036000
Logn29449.09
mqm754414127.02
MutexP78765.99
Planning-CTE38239590.11
QBF-Hardness51615547.21
qbfeval1227143016.87
Qshifter616219.14
RankingFunctions55615726.98
Reduction-finding541420123.32
Rewriting451033.55
s11964426400
s12697042000
s27361337.29
s29870231875.68
s33307243200
s38669136614.24
s4996237200
s5105935400
s64155129035.13
s71373138640.3
s82070137659.6
Sorting_networks864317941.54
SzymanskiP93101210.14
term1694212038.09
terminator70617719.12
tipdiam68522266.52
tipfixpoint691326200.14
ToiletA483749.4
ToiletC4819660.01
ToiletG43724.05
trafficlight-controller4510261.47
Tree742844.75
uclid3018000
VonNeumann7510345.35
wmiforward70521050.77
z4ml614438.44