Problem ICFP 2010 249459

Tool Bounds

Execution Time	10.549145ms
Answer	MAYBE
Input	ICFP 2010 249459

stdout:

MAYBE

We consider the following Problem:

  Strict Trs:
    {  0(1(0(0(1(1(1(1(1(1(0(1(1(0(1(1(0(1(0(0(0(1(0(0(0(1(1(1(1(0(1(0(1(0(1(1(0(1(1(1(1(1(0(0(1(0(1(1(0(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(1(1(0(0(0(0(1(0(0(1(1(0(0(1(1(0(0(1(0(0(1(1(1(1(1(1(1(0(1(0(0(0(1(0(1(0(0(0(1(1(0(1(0(1(1(1(1(0(0(0(0(1(0(1(1(1(1(1(0(1(1(1(0(0(1(0(1(1(1(1(0(1(1(0(0(0(1(0(0(1(0(1(0(1(1(0(0(1(1(0(1(0(0(1(1(1(0(1(0(1(0(1(1(0(1(0(1(0(0(1(0(0(0(0(1(1(1(1(0(1(0(0(0(0(0(0(0(1(1(0(1(1(0(1(0(0(1(1(1(1(0(1(0(1(0(0(0(1(0(1(0(0(1(0(1(0(0(1(1(0(1(1(1(0(1(0(1(0(0(0(1(0(0(1(0(1(0(0(1(1(1(0(1(0(1(1(0(1(0(0(0(1(1(1(1(1(0(0(0(0(1(0(1(0(1(0(0(0(1(0(0(0(0(0(1(0(1(1(0(0(0(0(0(1(0(1(0(0(0(0(1(1(1(0(0(0(0(0(1(1(1(0(1(0(1(0(0(0(0(1(1(1(0(0(1(1(1(1(0(1(0(0(1(0(1(0(1(0(1(0(0(1(1(1(1(1(0(0(0(1(0(0(0(0(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
       ->
       2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
     , 2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
       ->
       0(0(1(0(0(0(1(1(1(0(1(1(1(1(1(0(0(1(0(0(1(0(1(1(0(1(0(0(1(1(0(0(0(1(0(1(1(0(0(0(1(0(0(0(1(1(0(0(0(1(1(1(0(1(1(0(0(1(0(1(1(1(0(1(0(0(0(1(1(0(0(1(1(1(1(1(0(1(0(0(0(1(0(0(0(0(0(1(0(1(1(0(1(1(0(0(0(1(0(0(0(0(0(1(1(1(0(1(1(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(0(0(1(0(1(1(0(1(0(1(1(1(1(1(1(1(1(1(0(1(1(1(1(1(1(0(1(1(1(1(0(1(0(1(1(1(0(1(1(0(0(1(1(0(1(0(1(0(0(1(0(0(0(0(0(1(0(0(0(1(1(1(0(1(0(1(0(1(1(1(0(0(1(0(1(0(0(0(1(1(0(0(0(1(1(1(0(0(0(0(0(1(0(1(1(0(1(1(1(0(0(0(0(1(1(0(0(0(1(1(1(0(0(0(1(1(0(1(0(0(1(0(0(0(1(0(0(0(1(0(0(1(1(0(0(0(0(1(1(1(0(0(0(1(1(1(0(1(1(1(1(1(1(1(1(1(1(1(0(0(0(1(0(0(0(1(1(0(1(0(0(1(1(1(1(0(1(1(1(1(1(0(0(0(0(0(0(1(1(0(0(0(1(0(0(1(1(1(1(0(0(0(0(1(0(0(1(1(0(1(0(1(1(0(0(0(1(1(0(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
     , 3(4(5(x1))) -> 4(3(5(x1)))
     , 0(0(x1)) -> 0(x1)
     , 0(x1) -> 1(x1)}
  StartTerms: all
  Strategy: none

Certificate: MAYBE

Proof:
  None of the processors succeeded.


Arrrr..

Tool EDA

Execution Time	60.337605ms
Answer	TIMEOUT
Input	ICFP 2010 249459

stdout:

TIMEOUT

We consider the following Problem:

  Strict Trs:
    {  0(1(0(0(1(1(1(1(1(1(0(1(1(0(1(1(0(1(0(0(0(1(0(0(0(1(1(1(1(0(1(0(1(0(1(1(0(1(1(1(1(1(0(0(1(0(1(1(0(1(0(0(1(0(1(1(0(1(0(1(1(1(0(1(1(1(0(0(0(0(1(0(0(1(1(0(0(1(1(0(0(1(0(0(1(1(1(1(1(1(1(0(1(0(0(0(1(0(1(0(0(0(1(1(0(1(0(1(1(1(1(0(0(0(0(1(0(1(1(1(1(1(0(1(1(1(0(0(1(0(1(1(1(1(0(1(1(0(0(0(1(0(0(1(0(1(0(1(1(0(0(1(1(0(1(0(0(1(1(1(0(1(0(1(0(1(1(0(1(0(1(0(0(1(0(0(0(0(1(1(1(1(0(1(0(0(0(0(0(0(0(1(1(0(1(1(0(1(0(0(1(1(1(1(0(1(0(1(0(0(0(1(0(1(0(0(1(0(1(0(0(1(1(0(1(1(1(0(1(0(1(0(0(0(1(0(0(1(0(1(0(0(1(1(1(0(1(0(1(1(0(1(0(0(0(1(1(1(1(1(0(0(0(0(1(0(1(0(1(0(0(0(1(0(0(0(0(0(1(0(1(1(0(0(0(0(0(1(0(1(0(0(0(0(1(1(1(0(0(0(0(0(1(1(1(0(1(0(1(0(0(0(0(1(1(1(0(0(1(1(1(1(0(1(0(0(1(0(1(0(1(0(1(0(0(1(1(1(1(1(0(0(0(1(0(0(0(0(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
       ->
       2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
     , 2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(2(x1)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
       ->
       0(0(1(0(0(0(1(1(1(0(1(1(1(1(1(0(0(1(0(0(1(0(1(1(0(1(0(0(1(1(0(0(0(1(0(1(1(0(0(0(1(0(0(0(1(1(0(0(0(1(1(1(0(1(1(0(0(1(0(1(1(1(0(1(0(0(0(1(1(0(0(1(1(1(1(1(0(1(0(0(0(1(0(0(0(0(0(1(0(1(1(0(1(1(0(0(0(1(0(0(0(0(0(1(1(1(0(1(1(0(1(1(1(0(1(0(0(1(0(0(0(0(0(0(1(0(0(1(0(1(1(0(1(0(1(1(1(1(1(1(1(1(1(0(1(1(1(1(1(1(0(1(1(1(1(0(1(0(1(1(1(0(1(1(0(0(1(1(0(1(0(1(0(0(1(0(0(0(0(0(1(0(0(0(1(1(1(0(1(0(1(0(1(1(1(0(0(1(0(1(0(0(0(1(1(0(0(0(1(1(1(0(0(0(0(0(1(0(1(1(0(1(1(1(0(0(0(0(1(1(0(0(0(1(1(1(0(0(0(1(1(0(1(0(0(1(0(0(0(1(0(0(0(1(0(0(1(1(0(0(0(0(1(1(1(0(0(0(1(1(1(0(1(1(1(1(1(1(1(1(1(1(1(0(0(0(1(0(0(0(1(1(0(1(0(0(1(1(1(1(0(1(1(1(1(1(0(0(0(0(0(0(1(1(0(0(0(1(0(0(1(1(1(1(0(0(0(0(1(0(0(1(1(0(1(0(1(1(0(0(0(1(1(0(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
     , 3(4(5(x1))) -> 4(3(5(x1)))
     , 0(0(x1)) -> 0(x1)
     , 0(x1) -> 1(x1)}
  StartTerms: all
  Strategy: none

Certificate: TIMEOUT

Proof:
  Computation stopped due to timeout after 60.0 seconds.

Arrrr..

Tool IDA

Execution Time	61.301277ms
Answer	TIMEOUT
Input	ICFP 2010 249459

stdout:

Tool TRI

Execution Time	60.2251ms
Answer	TIMEOUT
Input	ICFP 2010 249459

stdout:

Tool TRI2

Execution Time	60.18303ms
Answer	TIMEOUT
Input	ICFP 2010 249459