struqs-10 results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction70140604.86
Adder93247379.46
blackbox-01X-QBF68427051.53
blackbox_design7645578.76
Blocks88146782.88
BMC7746181.03
bomb48223991.84
C43273331691.93
C49976236590
C531580142796.49
C628877140203.27
C88078236051.2
Chain82106.74
circuits69137784.47
conformant_planning792134352.82
Connect464618215.87
Counter52321589.68
Debug8249177.26
DFlipFlop7310942.26
dungeon5532985.62
evader-pursuer-4x4-logarithmic59323570.66
evader-pursuer-4x4-standard64135975.38
evader-pursuer-6x6-logarithmic67137858.31
evader-pursuer-6x6-standard6639588.29
evader-pursuer-8x8-logarithmic72140727.24
FPGA_PLB_FIT_FAST381114443.9
FPGA_PLB_FIT_SLOW2514992.75
fpu471060.31
Generalized-Tic-Tac-Toe481513505.75
HardwareFixpoint561224567.94
Impl74100
incrementer-encoder52128187.12
irqlkeapclte8148576.51
ISCAS893262856.98
ITC99422117405.1
jmc_quant_squaring952141813.16
k_branch_n75333621.18
k_branch_p8249177.02
k_d4_n73333741.67
k_d4_p72625164.25
k_dum_n661077.05
k_dum_p7410358.93
k_grz_n68715036.23
k_grz_p70525969.23
k_lin_n6438382.1
k_lin_p65811138.75
k_path_n67522511.51
k_path_p67328934.84
k_ph_n72811325.33
k_ph_p70331185.8
k_poly_n6810386.24
k_poly_p6410150.28
k_t4p_n71233975.85
k_t4p_p76102444.29
LinearBitvectorRankingFunction6035982.92
Logn29211395.39
mqm75236918.59
MutexP78751.78
Planning-CTE3822789.48
QBF-Hardness51811937.43
qbfeval12271211266.17
Qshifter61619.38
RankingFunctions5510143.59
Reduction-finding541224522.36
Rewriting45515478.58
s119644121892.48
s12697041986.84
s2736132.51
s29870232860.86
s33307243187.35
s38669235205.98
s4996237189.03
s51059132230.61
s64155326464.27
s71373235264.54
s82070140091.32
Sorting_networks86149192.38
SzymanskiP93532743.86
term1694311358.99
terminator70522455.68
tipdiam68522797.14
tipfixpoint693222257.43
ToiletA483779.72
ToiletC48183027.26
ToiletG4370
trafficlight-controller45513521.28
Tree74280
uclid3017992.4
VonNeumann751047.72
wmiforward70425992.56
z4ml61440.3