Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
Runtime_Complexity_Innermost_Rewriting 2019-04-01 06.40 pair #433313359
details
property
value
status
complete
benchmark
splitandsort.raml.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n049.star.cs.uiowa.edu
space
raML
run statistics
property
value
solver
AProVE
configuration
complexity
runtime (wallclock)
299.214 seconds
cpu usage
1174.37
user time
1159.37
system time
14.9957
max virtual memory
3.866916E7
max residence set size
1.5177028E7
stage attributes
key
value
starexec-result
WORST_CASE(Omega(n^1), O(n^3))
output
1173.46/298.92 WORST_CASE(Omega(n^1), O(n^3)) 1173.46/298.94 proof of /export/starexec/sandbox/benchmark/theBenchmark.xml 1173.46/298.94 # AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty 1173.46/298.94 1173.46/298.94 1173.46/298.94 The Runtime Complexity (innermost) of the given CpxRelTRS could be proven to be BOUNDS(n^1, n^3). 1173.46/298.94 1173.46/298.94 (0) CpxRelTRS 1173.46/298.94 (1) STerminationProof [BOTH CONCRETE BOUNDS(ID, ID), 260 ms] 1173.46/298.94 (2) CpxRelTRS 1173.46/298.94 (3) RelTrsToWeightedTrsProof [BOTH BOUNDS(ID, ID), 0 ms] 1173.46/298.94 (4) CpxWeightedTrs 1173.46/298.94 (5) TypeInferenceProof [BOTH BOUNDS(ID, ID), 0 ms] 1173.46/298.94 (6) CpxTypedWeightedTrs 1173.46/298.94 (7) CompletionProof [UPPER BOUND(ID), 97 ms] 1173.46/298.94 (8) CpxTypedWeightedCompleteTrs 1173.46/298.94 (9) NarrowingProof [BOTH BOUNDS(ID, ID), 531 ms] 1173.46/298.94 (10) CpxTypedWeightedCompleteTrs 1173.46/298.94 (11) CpxTypedWeightedTrsToRntsProof [UPPER BOUND(ID), 0 ms] 1173.46/298.94 (12) CpxRNTS 1173.46/298.94 (13) InliningProof [UPPER BOUND(ID), 708 ms] 1173.46/298.94 (14) CpxRNTS 1173.46/298.94 (15) SimplificationProof [BOTH BOUNDS(ID, ID), 0 ms] 1173.46/298.94 (16) CpxRNTS 1173.46/298.94 (17) CpxRntsAnalysisOrderProof [BOTH BOUNDS(ID, ID), 0 ms] 1173.46/298.94 (18) CpxRNTS 1173.46/298.94 (19) ResultPropagationProof [UPPER BOUND(ID), 0 ms] 1173.46/298.94 (20) CpxRNTS 1173.46/298.94 (21) IntTrsBoundProof [UPPER BOUND(ID), 292 ms] 1173.46/298.94 (22) CpxRNTS 1173.46/298.94 (23) IntTrsBoundProof [UPPER BOUND(ID), 67 ms] 1173.46/298.94 (24) CpxRNTS 1173.46/298.94 (25) ResultPropagationProof [UPPER BOUND(ID), 0 ms] 1173.46/298.94 (26) CpxRNTS 1173.46/298.94 (27) IntTrsBoundProof [UPPER BOUND(ID), 998 ms] 1173.46/298.94 (28) CpxRNTS 1173.46/298.94 (29) IntTrsBoundProof [UPPER BOUND(ID), 156 ms] 1173.46/298.94 (30) CpxRNTS 1173.46/298.94 (31) ResultPropagationProof [UPPER BOUND(ID), 0 ms] 1173.46/298.94 (32) CpxRNTS 1173.46/298.94 (33) IntTrsBoundProof [UPPER BOUND(ID), 220 ms] 1173.46/298.94 (34) CpxRNTS 1173.46/298.94 (35) IntTrsBoundProof [UPPER BOUND(ID), 34 ms] 1173.46/298.94 (36) CpxRNTS 1173.46/298.94 (37) ResultPropagationProof [UPPER BOUND(ID), 0 ms] 1173.46/298.94 (38) CpxRNTS 1173.46/298.94 (39) IntTrsBoundProof [UPPER BOUND(ID), 343 ms] 1173.46/298.94 (40) CpxRNTS 1173.46/298.94 (41) IntTrsBoundProof [UPPER BOUND(ID), 95 ms] 1173.46/298.94 (42) CpxRNTS 1173.46/298.94 (43) ResultPropagationProof [UPPER BOUND(ID), 0 ms] 1173.46/298.94 (44) CpxRNTS 1173.46/298.94 (45) IntTrsBoundProof [UPPER BOUND(ID), 544 ms] 1173.46/298.94 (46) CpxRNTS 1173.46/298.94 (47) IntTrsBoundProof [UPPER BOUND(ID), 210 ms] 1173.46/298.94 (48) CpxRNTS 1173.46/298.94 (49) ResultPropagationProof [UPPER BOUND(ID), 0 ms] 1173.46/298.94 (50) CpxRNTS 1173.46/298.94 (51) IntTrsBoundProof [UPPER BOUND(ID), 835 ms] 1173.46/298.94 (52) CpxRNTS 1173.46/298.94 (53) IntTrsBoundProof [UPPER BOUND(ID), 397 ms] 1173.46/298.94 (54) CpxRNTS 1173.46/298.94 (55) ResultPropagationProof [UPPER BOUND(ID), 0 ms] 1173.46/298.94 (56) CpxRNTS 1173.46/298.94 (57) IntTrsBoundProof [UPPER BOUND(ID), 278 ms] 1173.46/298.94 (58) CpxRNTS 1173.46/298.94 (59) IntTrsBoundProof [UPPER BOUND(ID), 62 ms] 1173.46/298.94 (60) CpxRNTS 1173.46/298.94 (61) ResultPropagationProof [UPPER BOUND(ID), 0 ms] 1173.46/298.94 (62) CpxRNTS 1173.46/298.94 (63) IntTrsBoundProof [UPPER BOUND(ID), 707 ms] 1173.46/298.94 (64) CpxRNTS 1173.46/298.94 (65) IntTrsBoundProof [UPPER BOUND(ID), 168 ms] 1173.46/298.94 (66) CpxRNTS 1173.46/298.94 (67) ResultPropagationProof [UPPER BOUND(ID), 0 ms] 1173.46/298.94 (68) CpxRNTS 1173.46/298.94 (69) IntTrsBoundProof [UPPER BOUND(ID), 3541 ms] 1173.46/298.94 (70) CpxRNTS 1173.46/298.94 (71) IntTrsBoundProof [UPPER BOUND(ID), 996 ms] 1173.46/298.94 (72) CpxRNTS 1173.46/298.94 (73) ResultPropagationProof [UPPER BOUND(ID), 0 ms] 1173.46/298.94 (74) CpxRNTS 1173.46/298.94 (75) IntTrsBoundProof [UPPER BOUND(ID), 206 ms] 1173.46/298.94 (76) CpxRNTS 1173.46/298.94 (77) IntTrsBoundProof [UPPER BOUND(ID), 51 ms] 1173.46/298.94 (78) CpxRNTS 1173.46/298.94 (79) ResultPropagationProof [UPPER BOUND(ID), 0 ms] 1173.46/298.94 (80) CpxRNTS 1173.46/298.94 (81) IntTrsBoundProof [UPPER BOUND(ID), 439 ms] 1173.46/298.94 (82) CpxRNTS 1173.46/298.94 (83) IntTrsBoundProof [UPPER BOUND(ID), 104 ms] 1173.46/298.94 (84) CpxRNTS 1173.46/298.94 (85) ResultPropagationProof [UPPER BOUND(ID), 0 ms] 1173.46/298.94 (86) CpxRNTS 1173.46/298.94 (87) IntTrsBoundProof [UPPER BOUND(ID), 348 ms] 1173.46/298.94 (88) CpxRNTS 1173.46/298.94 (89) IntTrsBoundProof [UPPER BOUND(ID), 84 ms] 1173.46/298.94 (90) CpxRNTS 1173.46/298.94 (91) ResultPropagationProof [UPPER BOUND(ID), 0 ms] 1173.46/298.94 (92) CpxRNTS
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to Runtime_Complexity_Innermost_Rewriting 2019-04-01 06.40