Adaptive2clsQ results solving families - 2007

Family# Total# Sat# UnsatTime
Adder784132337.05
blackbox-01X-QBF1024134440788.29
blackbox_design13178600
Blocks5015660.92
BMC343455837437.88
C43231113237.92
C4992117735.57
C531532113821.96
C6288106000
C880101259.05
Chain2222.38
conformant_planning1227248414.81
Connect442400
Counter1415414.34
Debug1451062633.71
evader-pursuer-4x4-logarithmic2833581.34
evader-pursuer-8x8-logarithmic106000
FPGA_PLB_FIT_SLOW10174.88
jmc_quant1710200
k_branch_n913278.47
k_branch_p1911400
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
Qshifter444451.88
s2721231.76
s2981714801.73
s3868117.41
s4991113601.52
s510413.71
s713106000
s82084800
Sorting_networks253211175432.82
SzymanskiP5529238.57
term12012000
tipdiam2032490272.75
tipfixpoint486133241571.84
Toilet12263.27