AQME-C4.5 results solving families - 2007

Family# Total# Sat# UnsatTime
Adder888121162.22
blackbox-01X-QBF1084311150319.6
blackbox_design131271180.25
Blocks5015249.79
BMC380465568015.66
C43231113913.52
C49921111040.93
C531532123361.89
C62881011558.98
C880101909.52
Chain22216.68
conformant_planning1246153074.82
Connect4413.84
Counter14343.58
Debug18210273938.24
evader-pursuer-4x4-logarithmic29333.95
evader-pursuer-8x8-logarithmic10142.04
FPGA_PLB_FIT_SLOW10150
jmc_quant1911400
k_branch_n9145.9
k_branch_p21255.36
k_d4_n3952377.59
k_d4_p36526.03
k_dum_n32522.86
k_dum_p38425.79
k_grz_n29499.15
k_grz_p26450.56
k_lin_n13363.23
k_path_n33520.44
k_path_p33520.65
k_poly_n42624.66
k_t4p_n396105.78
k_t4p_p51635.45
MutexP48433.2
Qshifter454125.06
s2721213.32
s29817246.38
s386816.69
s49911237.46
s510413.39
s71310114.84
s8208119.3
Sorting_networks280271849566.11
SzymanskiP6168623.15
term12028894.77
tipdiam22347860779.77
tipfixpoint5093537187749.03
Toilet12212.94