Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS Standard pair #487517710
details
property
value
status
complete
benchmark
babaaaaaaa-aaaaaaababbaba.srs.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
execution host
n033.star.cs.uiowa.edu
space
Wenzel_16
run statistics
property
value
solver
matchbox-2020-06-25
configuration
tc20-std.sh
runtime (wallclock)
227.128408909 seconds
cpu usage
904.598076714
max memory
8.30527488E9
stage attributes
key
value
output-size
41101
starexec-result
NO
output
/export/starexec/sandbox2/solver/bin/starexec_run_tc20-std.sh /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- NO ************************************************** summary ************************************************** SRS with 1 rules on 2 letters looping SRS derivation Closure source : ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb target : bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab steps : 128 strict : True last_rule_app_source : 0 last_rule_app_target : 52 ************************************************** proof ************************************************** property Termination has value Just False for SRS [b, a, b, a, a, a, a, a, a, a] -> [ a , a , a , a , a , a , a , b , a , b , b , a , b , a ] {- Input 0 -} reason Nontermination looping SRS derivation Closure source : ababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb target : bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab steps : 128 strict : True last_rule_app_source : 0 last_rule_app_target : 52 reason : Overlap (Inside 52) Overlap (Inside 55) Overlap (Inside 45) Overlap (Inside 55) Overlap (Inside 58) Overlap (Inside 63) Overlap (Inside 66) Overlap (Inside 70) Overlap (Inside 73) Overlap (Inside 79) Overlap (Inside 82) Overlap (Inside 86) Overlap (Inside 89) Overlap (Inside 94) Overlap (Inside 97) Overlap (Inside 101) Overlap (Inside 104) Overlap (Inside 111) Overlap (Inside 114) Overlap (Inside 118) Overlap (Inside 121) Overlap (Inside 126) Overlap (Inside 129) Overlap (Inside 133) Overlap (Inside 136) Overlap (Inside 142) Overlap (Inside 145) Overlap (Inside 149) Overlap (Inside 152) Overlap (Inside 157) Overlap (Inside 160) Overlap (Inside 164) Overlap (Inside 167) Overlap (Inside 175) Overlap (Inside 178) Overlap (Inside 182) Overlap (Inside 185) Overlap (Inside 190) Overlap (Inside 193) Overlap (Inside 197) Overlap (Inside 200) Overlap (Inside 206) Overlap (Inside 209) Overlap (Inside 213) Overlap (Inside 216) Overlap (Inside 221) Overlap (Inside 224) Overlap (Inside 228) Overlap (Inside 231) Overlap (Inside 238) Overlap (Inside 241) Overlap (Inside 245) Overlap (Inside 248) Overlap (Inside 253) Overlap (Inside 256) Overlap (Inside 260) Overlap (Inside 263) Overlap (Inside 269) Overlap (Inside 272) Overlap (Inside 276) Overlap (Inside 279) Overlap (Inside 284) Overlap (Inside 287) Overlap (Inside 291)
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to SRS Standard