qZilla results solving families - 2007

Family# Total# Sat# UnsatTime
Adder78624735.6
blackbox-01X-QBF1024209348679.98
blackbox_design13178330.59
Blocks50156104.36
BMC343445837684.34
C43231112735.89
C4992117484.56
C531532113822.14
C6288106000
C880101130.45
Chain2222.34
conformant_planning1228247940.2
Connect442400
Counter143718.66
Debug1453173686.68
evader-pursuer-4x4-logarithmic283596.11
evader-pursuer-8x8-logarithmic101249.46
FPGA_PLB_FIT_SLOW10174.24
jmc_quant17110152.58
k_branch_n91288.09
k_branch_p1924685.29
k_d4_n3952060.71
k_d4_p3651006.23
k_dum_n3252
k_dum_p384600.12
k_grz_n2946120.32
k_grz_p264320.56
k_lin_n137800
k_path_n3352.24
k_path_p3352.38
k_poly_n4262.7
k_t4p_n3955222.44
k_t4p_p5162095.77
MutexP484651.84
Qshifter444268.66
s2721231.5
s2981714801.66
s3868117.54
s4991113601.64
s510413.7
s713101335.26
s820813479.38
Sorting_networks253271455773.98
SzymanskiP5528397.98
term12012000
tipdiam2032788676.74
tipfixpoint486132243004.7
Toilet12263.17