Results for ./experiments_fse2012//crossftp.xes.gz

General

executed on: 2012/03/16 21:55:24
input file: ./experiments_fse2012//crossftp.xes.gz
min. support threshold: 1
confidence branching scenarios: 0.45
confidence linear scenarios: 0.45

Input

number of nodes: 921
number of events: 53
avg. out degree: 0.998914223669924
max. out degree: 7.0
depth: 63
width: 51
max. support/confidence to find at least one alternative with k branches
k1234567
support9999991
confidence1.01.01.01.01.01.00.45
max. support/confidence to find all alternatives with k branches
k1234567
support9611111
confidence1.00.70.450.450.450.450.45

Discovered Scenarios (general statistics)

tree coverage (branch), main chart events: 0.031982942430703626
tree coverage (linear), main chart events: 0.031982942430703626

tree coverage (branch), all chart events: 0.29637526652452023
tree coverage (linear), all chart events: 0.042643923240938165
alphabet coverage (branch): 0.39622641509433965
alphabet coverage (linear): 0.07547169811320754

supported words: 363952
time to find supported words: 74100ms
time to find branching scenarios: 622ms
time to find linear scenarios : 945ms

total number of scenarios found by branching miner: 1050
total number of scenarios found by linear miner: 832

strictly branching scenarios (ignoring subsumed scenarios)
found 17 strictly branching scenarios
length pre-chart (min/avg/max): 1.0/1.0/1.0
length main-chart (min/avg/max): 3.0/3.0/3.0
#components (min/avg/max): 4.0/4.0/4.0

linear and branching scenarios (ignoring subsumed scenarios)
found 1 linear and branching scenarios
length pre-chart (min/avg/max): 1.0/1.0/1.0
length main-chart (min/avg/max): 3.0/3.0/3.0
#components (min/avg/max): 4.0/4.0/4.0

original input not shown because of configuration

onDeleteEnd(FtpRequest, FtpResponse)

1 strict branching LSC

scenario #142450743
scenario: 29 --- 50 51 52
support: 1
confidence (branch) 0.45
confidence (linear) 0.05

scenario coverage tree not shown due to size
top

onDeleteStart(FtpRequest, FtpResponse)

1 strict branching LSC

scenario #142450741
scenario: 27 --- 50 51 52
support: 1
confidence (branch) 0.45
confidence (linear) 0.05

scenario coverage tree not shown due to size
top

onMkdirEnd(FtpRequest, FtpResponse)

1 strict branching LSC

scenario #142450740
scenario: 14 --- 50 51 52
support: 1
confidence (branch) 0.45
confidence (linear) 0.05

scenario coverage tree not shown due to size
top

onMkdirStart(FtpRequest, FtpResponse)

1 strict branching LSC

scenario #142450738
scenario: 12 --- 50 51 52
support: 1
confidence (branch) 0.45
confidence (linear) 0.05

scenario coverage tree not shown due to size
top

setLogin(FileSystemView)

1 strict branching LSC

scenario #142450737
scenario: 11 --- 50 51 52
support: 14
confidence (branch) 1.0
confidence (linear) 0.25925925925925924

scenario coverage tree not shown due to size
top

setUser(User)

1 strict branching LSC

scenario #142450736
scenario: 10 --- 50 51 52
support: 14
confidence (branch) 1.0
confidence (linear) 0.25925925925925924

scenario coverage tree not shown due to size
top

onLogin(FtpRequest, FtpResponse)

1 strict branching LSC

scenario #142450735
scenario: 9 --- 50 51 52
support: 14
confidence (branch) 1.0
confidence (linear) 0.25925925925925924

scenario coverage tree not shown due to size
top

getFileOffset()

1 strict branching LSC

scenario #142450754
scenario: 40 --- 50 51 52
support: 1
confidence (branch) 0.45
confidence (linear) 0.05

scenario coverage tree not shown due to size
top

onDownloadEnd(FtpRequest, FtpResponse)

1 strict branching LSC

scenario #142450759
scenario: 45 --- 50 51 52
support: 1
confidence (branch) 0.45
confidence (linear) 0.05

scenario coverage tree not shown due to size
top

onDownloadStart(FtpRequest, FtpResponse)

1 strict branching LSC

scenario #142450755
scenario: 41 --- 50 51 52
support: 1
confidence (branch) 0.45
confidence (linear) 0.05

scenario coverage tree not shown due to size
top

onRmdirEnd(FtpRequest, FtpResponse)

1 strict branching LSC

scenario #142450762
scenario: 48 --- 50 51 52
support: 1
confidence (branch) 0.45
confidence (linear) 0.05

scenario coverage tree not shown due to size
top

onRmdirStart(FtpRequest, FtpResponse)

1 strict branching LSC

scenario #142450760
scenario: 46 --- 50 51 52
support: 1
confidence (branch) 0.45
confidence (linear) 0.05

scenario coverage tree not shown due to size
top

setRenameFrom(FileObject)

1 linear and branching LSC

scenario #142450725
scenario: 49 --- 50 51 52
support: 20
confidence (branch) 1.0
confidence (linear) 1.0

scenario coverage tree not shown due to size
top

onConnect(FtpRequest, FtpResponse)

1 strict branching LSC

scenario #142450733
scenario: 7 --- 50 51 52
support: 14
confidence (branch) 1.0
confidence (linear) 0.25925925925925924

scenario coverage tree not shown due to size
top

getDataInputStream()

1 strict branching LSC

scenario #142450747
scenario: 33 --- 50 51 52
support: 1
confidence (branch) 0.45
confidence (linear) 0.05

scenario coverage tree not shown due to size
top

getFileOffset()

1 strict branching LSC

scenario #142450745
scenario: 31 --- 50 51 52
support: 1
confidence (branch) 0.45
confidence (linear) 0.05

scenario coverage tree not shown due to size
top

onUploadEnd(FtpRequest, FtpResponse)

1 strict branching LSC

scenario #142450753
scenario: 39 --- 50 51 52
support: 1
confidence (branch) 0.45
confidence (linear) 0.05

scenario coverage tree not shown due to size
top

onUploadStart(FtpRequest, FtpResponse)

1 strict branching LSC

scenario #142450746
scenario: 32 --- 50 51 52
support: 1
confidence (branch) 0.45
confidence (linear) 0.05

scenario coverage tree not shown due to size
top