Adaptive2clsQ results solving families - 2007

Family# Total# Sat# UnsatTime
Adder864137137.05
blackbox-01X-QBF1064134464788.29
blackbox_design13178600
Blocks5015660.92
BMC370455844713.92
C43231113237.92
C4992117735.57
C531532113821.96
C6288106000
C880101259.05
Chain2222.38
conformant_planning1247249614.81
Connect442400
Counter1415414.34
Debug1721072906.9
evader-pursuer-4x4-logarithmic2933698.53
evader-pursuer-8x8-logarithmic106000
FPGA_PLB_FIT_SLOW10174.88
jmc_quant1710200
k_branch_n913278.47
k_branch_p2112600
k_d4_n3923400
k_d4_p3621600
k_dum_n3252.22
k_dum_p384601.97
k_grz_n29211564.79
k_grz_p2625732.91
k_lin_n137800
k_path_n3352.53
k_path_p3352.62
k_poly_n4262.74
k_t4p_n39118003.6
k_t4p_p51315640.3
MutexP4841395.77
Qshifter454454.23
s2721231.76
s2981714801.73
s3868117.41
s4991113601.52
s510413.71
s713106000
s82084800
Sorting_networks276211187274.38
SzymanskiP5931638.57
term12012000
tipdiam2162498072.75
tipfixpoint502133251171.84
Toilet12263.27