Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
Runti Compl Full Rewri 10127 pair #381903538
details
property
value
status
timeout (wallclock)
benchmark
LISTUTILITIES_nokinds_noand_C.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
space
Transformed_CSR_04
run statistics
property
value
solver
tct 2018-07-13
configuration
tct_rc
runtime (wallclock)
295.187618971 seconds
cpu usage
982.874089265
max memory
2.909319168E9
stage attributes
unavailable
output
/export/starexec/sandbox/solver/bin/starexec_run_tct_rc /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- WORST_CASE(Omega(n^1),?) * Step 1: Sum WORST_CASE(Omega(n^1),?) + Considered Problem: - Strict TRS: U101(mark(X1),X2) -> mark(U101(X1,X2)) U101(ok(X1),ok(X2)) -> ok(U101(X1,X2)) U102(mark(X)) -> mark(U102(X)) U102(ok(X)) -> ok(U102(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(X)) -> mark(U111(X)) U111(ok(X)) -> ok(U111(X)) U12(mark(X1),X2,X3) -> mark(U12(X1,X2,X3)) U12(ok(X1),ok(X2),ok(X3)) -> ok(U12(X1,X2,X3)) U121(mark(X)) -> mark(U121(X)) U121(ok(X)) -> ok(U121(X)) U131(mark(X1),X2) -> mark(U131(X1,X2)) U131(ok(X1),ok(X2)) -> ok(U131(X1,X2)) U132(mark(X)) -> mark(U132(X)) U132(ok(X)) -> ok(U132(X)) U141(mark(X1),X2) -> mark(U141(X1,X2)) U141(ok(X1),ok(X2)) -> ok(U141(X1,X2)) U142(mark(X)) -> mark(U142(X)) U142(ok(X)) -> ok(U142(X)) U151(mark(X1),X2) -> mark(U151(X1,X2)) U151(ok(X1),ok(X2)) -> ok(U151(X1,X2)) U152(mark(X)) -> mark(U152(X)) U152(ok(X)) -> ok(U152(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)) U172(mark(X1),X2,X3) -> mark(U172(X1,X2,X3)) U172(ok(X1),ok(X2),ok(X3)) -> ok(U172(X1,X2,X3)) U181(mark(X1),X2) -> mark(U181(X1,X2)) U181(ok(X1),ok(X2)) -> ok(U181(X1,X2)) U182(mark(X1),X2) -> mark(U182(X1,X2)) U182(ok(X1),ok(X2)) -> ok(U182(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,X3,X4) -> mark(U202(X1,X2,X3,X4)) U202(ok(X1),ok(X2),ok(X3),ok(X4)) -> ok(U202(X1,X2,X3,X4)) U203(mark(X1),X2,X3,X4) -> mark(U203(X1,X2,X3,X4)) U203(ok(X1),ok(X2),ok(X3),ok(X4)) -> ok(U203(X1,X2,X3,X4)) U204(mark(X1),X2) -> mark(U204(X1,X2)) U204(ok(X1),ok(X2)) -> ok(U204(X1,X2)) U21(mark(X1),X2,X3) -> mark(U21(X1,X2,X3)) U21(ok(X1),ok(X2),ok(X3)) -> ok(U21(X1,X2,X3)) U211(mark(X1),X2) -> mark(U211(X1,X2)) U211(ok(X1),ok(X2)) -> ok(U211(X1,X2)) U212(mark(X1),X2) -> mark(U212(X1,X2)) U212(ok(X1),ok(X2)) -> ok(U212(X1,X2)) U22(mark(X1),X2) -> mark(U22(X1,X2)) U22(ok(X1),ok(X2)) -> ok(U22(X1,X2)) U221(mark(X1),X2,X3) -> mark(U221(X1,X2,X3)) U221(ok(X1),ok(X2),ok(X3)) -> ok(U221(X1,X2,X3)) U222(mark(X1),X2,X3) -> mark(U222(X1,X2,X3)) U222(ok(X1),ok(X2),ok(X3)) -> ok(U222(X1,X2,X3)) U31(mark(X1),X2,X3) -> mark(U31(X1,X2,X3)) U31(ok(X1),ok(X2),ok(X3)) -> ok(U31(X1,X2,X3)) U32(mark(X1),X2) -> mark(U32(X1,X2)) U32(ok(X1),ok(X2)) -> ok(U32(X1,X2)) U41(mark(X1),X2) -> mark(U41(X1,X2)) U41(ok(X1),ok(X2)) -> ok(U41(X1,X2)) U42(mark(X)) -> mark(U42(X)) U42(ok(X)) -> ok(U42(X)) U51(mark(X1),X2) -> mark(U51(X1,X2)) U51(ok(X1),ok(X2)) -> ok(U51(X1,X2)) U52(mark(X)) -> mark(U52(X)) U52(ok(X)) -> ok(U52(X)) U61(mark(X)) -> mark(U61(X)) U61(ok(X)) -> ok(U61(X)) U71(mark(X)) -> mark(U71(X)) U71(ok(X)) -> ok(U71(X)) U81(mark(X)) -> mark(U81(X)) U81(ok(X)) -> ok(U81(X)) U91(mark(X)) -> mark(U91(X)) U91(ok(X)) -> ok(U91(X)) active(U101(X1,X2)) -> U101(active(X1),X2) active(U101(tt(),V2)) -> mark(U102(isLNat(V2))) active(U102(X)) -> U102(active(X)) active(U102(tt())) -> mark(tt()) active(U11(X1,X2,X3)) -> U11(active(X1),X2,X3) active(U11(tt(),N,XS)) -> mark(U12(isLNat(XS),N,XS)) active(U111(X)) -> U111(active(X)) active(U111(tt())) -> mark(tt()) active(U12(X1,X2,X3)) -> U12(active(X1),X2,X3) active(U12(tt(),N,XS)) -> mark(snd(splitAt(N,XS))) active(U121(X)) -> U121(active(X)) active(U121(tt())) -> mark(tt()) active(U131(X1,X2)) -> U131(active(X1),X2) active(U131(tt(),V2)) -> mark(U132(isLNat(V2)))
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to Runti Compl Full Rewri 10127