Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
Runti Compl Full Rewri 10127 pair #381903528
details
property
value
status
complete
benchmark
LISTUTILITIES_complete_C.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n034.star.cs.uiowa.edu
space
Transformed_CSR_04
run statistics
property
value
solver
tct 2018-07-13
configuration
tct_rc
runtime (wallclock)
295.48033905 seconds
cpu usage
940.373692008
max memory
2.269917184E9
stage attributes
key
value
output-size
41145
starexec-result
WORST_CASE(Omega(n^1),?)
output
/export/starexec/sandbox2/solver/bin/starexec_run_tct_rc /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- WORST_CASE(Omega(n^1),?) * Step 1: Sum WORST_CASE(Omega(n^1),?) + Considered Problem: - Strict TRS: U101(mark(X1),X2,X3) -> mark(U101(X1,X2,X3)) U101(ok(X1),ok(X2),ok(X3)) -> ok(U101(X1,X2,X3)) U102(mark(X1),X2) -> mark(U102(X1,X2)) U102(ok(X1),ok(X2)) -> ok(U102(X1,X2)) U103(mark(X)) -> mark(U103(X)) U103(ok(X)) -> ok(U103(X)) U11(mark(X1),X2,X3) -> mark(U11(X1,X2,X3)) U11(ok(X1),ok(X2),ok(X3)) -> ok(U11(X1,X2,X3)) U111(mark(X1),X2) -> mark(U111(X1,X2)) U111(ok(X1),ok(X2)) -> ok(U111(X1,X2)) U112(mark(X)) -> mark(U112(X)) U112(ok(X)) -> ok(U112(X)) U121(mark(X1),X2) -> mark(U121(X1,X2)) U121(ok(X1),ok(X2)) -> ok(U121(X1,X2)) U122(mark(X)) -> mark(U122(X)) U122(ok(X)) -> ok(U122(X)) U131(mark(X1),X2,X3) -> mark(U131(X1,X2,X3)) U131(ok(X1),ok(X2),ok(X3)) -> ok(U131(X1,X2,X3)) U132(mark(X1),X2) -> mark(U132(X1,X2)) U132(ok(X1),ok(X2)) -> ok(U132(X1,X2)) U133(mark(X)) -> mark(U133(X)) U133(ok(X)) -> ok(U133(X)) U141(mark(X1),X2,X3) -> mark(U141(X1,X2,X3)) U141(ok(X1),ok(X2),ok(X3)) -> ok(U141(X1,X2,X3)) U142(mark(X1),X2) -> mark(U142(X1,X2)) U142(ok(X1),ok(X2)) -> ok(U142(X1,X2)) U143(mark(X)) -> mark(U143(X)) U143(ok(X)) -> ok(U143(X)) U151(mark(X1),X2,X3) -> mark(U151(X1,X2,X3)) U151(ok(X1),ok(X2),ok(X3)) -> ok(U151(X1,X2,X3)) U152(mark(X1),X2) -> mark(U152(X1,X2)) U152(ok(X1),ok(X2)) -> ok(U152(X1,X2)) U153(mark(X)) -> mark(U153(X)) U153(ok(X)) -> ok(U153(X)) U161(mark(X1),X2) -> mark(U161(X1,X2)) U161(ok(X1),ok(X2)) -> ok(U161(X1,X2)) U171(mark(X1),X2,X3) -> mark(U171(X1,X2,X3)) U171(ok(X1),ok(X2),ok(X3)) -> ok(U171(X1,X2,X3)) U181(mark(X1),X2) -> mark(U181(X1,X2)) U181(ok(X1),ok(X2)) -> ok(U181(X1,X2)) U191(mark(X1),X2) -> mark(U191(X1,X2)) U191(ok(X1),ok(X2)) -> ok(U191(X1,X2)) U201(mark(X1),X2,X3,X4) -> mark(U201(X1,X2,X3,X4)) U201(ok(X1),ok(X2),ok(X3),ok(X4)) -> ok(U201(X1,X2,X3,X4)) U202(mark(X1),X2) -> mark(U202(X1,X2)) U202(ok(X1),ok(X2)) -> ok(U202(X1,X2)) U21(mark(X1),X2) -> mark(U21(X1,X2)) U21(ok(X1),ok(X2)) -> ok(U21(X1,X2)) U211(mark(X1),X2) -> mark(U211(X1,X2)) U211(ok(X1),ok(X2)) -> ok(U211(X1,X2)) U221(mark(X1),X2,X3) -> mark(U221(X1,X2,X3)) U221(ok(X1),ok(X2),ok(X3)) -> ok(U221(X1,X2,X3)) U31(mark(X1),X2) -> mark(U31(X1,X2)) U31(ok(X1),ok(X2)) -> ok(U31(X1,X2)) U41(mark(X1),X2,X3) -> mark(U41(X1,X2,X3)) U41(ok(X1),ok(X2),ok(X3)) -> ok(U41(X1,X2,X3)) U42(mark(X1),X2) -> mark(U42(X1,X2)) U42(ok(X1),ok(X2)) -> ok(U42(X1,X2)) U43(mark(X)) -> mark(U43(X)) U43(ok(X)) -> ok(U43(X)) U51(mark(X1),X2,X3) -> mark(U51(X1,X2,X3)) U51(ok(X1),ok(X2),ok(X3)) -> ok(U51(X1,X2,X3)) U52(mark(X1),X2) -> mark(U52(X1,X2)) U52(ok(X1),ok(X2)) -> ok(U52(X1,X2)) U53(mark(X)) -> mark(U53(X)) U53(ok(X)) -> ok(U53(X)) U61(mark(X1),X2) -> mark(U61(X1,X2)) U61(ok(X1),ok(X2)) -> ok(U61(X1,X2)) U62(mark(X)) -> mark(U62(X)) U62(ok(X)) -> ok(U62(X)) U71(mark(X1),X2) -> mark(U71(X1,X2)) U71(ok(X1),ok(X2)) -> ok(U71(X1,X2)) U72(mark(X)) -> mark(U72(X)) U72(ok(X)) -> ok(U72(X)) U81(mark(X1),X2) -> mark(U81(X1,X2)) U81(ok(X1),ok(X2)) -> ok(U81(X1,X2)) U82(mark(X)) -> mark(U82(X)) U82(ok(X)) -> ok(U82(X)) U91(mark(X1),X2) -> mark(U91(X1,X2)) U91(ok(X1),ok(X2)) -> ok(U91(X1,X2)) U92(mark(X)) -> mark(U92(X)) U92(ok(X)) -> ok(U92(X)) active(U101(X1,X2,X3)) -> U101(active(X1),X2,X3) active(U101(tt(),V1,V2)) -> mark(U102(isNatural(V1),V2)) active(U102(X1,X2)) -> U102(active(X1),X2) active(U102(tt(),V2)) -> mark(U103(isLNat(V2))) active(U103(X)) -> U103(active(X)) active(U103(tt())) -> mark(tt()) active(U11(X1,X2,X3)) -> U11(active(X1),X2,X3) active(U11(tt(),N,XS)) -> mark(snd(splitAt(N,XS)))
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to Runti Compl Full Rewri 10127