EqValCSR Benchmark

This collections of term rewriting systems has been taken from the Confluence Competitions website.



EvValCSR vs. infChecker for nonterminating TRSs

Legend: V = Valid, NV = Non Valid, TO = Timeout, T = Terminating, NT = Non Terminating
TRS infChecker TRS.Tool TRS.Tool + infChecker
V
NV
TO
T
NT
ms
V
NV
TO
T
NT
ms
V
NV
TO
T
NT
ms
19.trs 1   X     X 20320   X     X 6   X     X 6
  2   X     X 20280   X     X 0   X     X 0
  3 X       X 20 X       X 0 X       X 0
20.trs 1   X     X 20200   X     X 0   X     X 0
  2   X     X 21380   X     X 0   X     X 0
  3   X     X 20110   X     X 0   X     X 0
22.trs 1   X     X 20150   X     X 0   X     X 0
  2   X     X 20290   X     X 0   X     X 0
  3   X     X 20170   X     X 0   X     X 0
23.trs 1 X       X 20 X       X 0 X       X 0
  2   X     X 20130   X     X 2   X     X 2
  3   X     X 20120   X     X 1   X     X 1
35.trs 1   X     X 20320   X     X 14   X     X 14
  2   X     X 20120   X     X 0   X     X 0
  3   X     X 20340   X     X 0   X     X 0
48.trs 1 X       X 20 X       X 0 X       X 0
  2   X     X 21470   X     X 0   X     X 0
  3   X     X 21460   X     X 0   X     X 0
63.trs 1 X       X 20 X       X 0 X       X 0
  2   X     X 20200   X     X 0   X     X 0
  3   X     X 20200   X     X 0   X     X 0
87.trs 1   X     X 20610     X   X     X     X 80123
  2   X     X 21000   X     X 0   X     X 0
  3   X     X 20290     X   X     X     X 80075
88.trs 1   X     X 20770     X   X     X     X 80068
  2   X     X 20700   X     X 4   X     X 4
  3   X     X 20500     X   X     X     X 80115
104.trs 1     X   X 30560   X     X 11   X     X 11
  2   X     X 21370   X     X 0   X     X 0
  3   X     X 20100   X     X 0   X     X 0
112.trs 1   X     X 20200   X     X 0   X     X 0
  2   X     X 20180   X     X 0   X     X 0
  3   X     X 20190   X     X 0   X     X 0
138.trs 1   X     X 20210   X     X 0   X     X 0
  2   X     X 20530   X     X 0   X     X 0
  3   X     X 20240   X     X 0   X     X 0
152.trs 1   X     X 20180   X     X 0   X     X 0
  2   X     X 20220   X     X 0   X     X 0
  3   X     X 20180   X     X 0   X     X 0
163.trs 1   X     X 20090   X     X 291   X     X 291
  2   X     X 20100   X     X 333   X     X 333
  3   X     X 20230   X     X 0   X     X 0
168.trs 1   X     X 20200   X     X 0   X     X 0
  2   X     X 20170   X     X 147   X     X 147
  3   X     X 20330   X     X 689   X     X 689
177.trs 1   X     X 20100   X     X 0   X     X 0
  2   X     X 20110   X     X 2   X     X 2
  3   X     X 20140   X     X 0   X     X 0
424.trs 1 X       X 20 X       X 1 X       X 1
  2   X     X 20110   X     X 15   X     X 15
  3   X     X 20090   X     X 0   X     X 0
425.trs 1   X     X 20100   X     X 0   X     X 0
  2   X     X 20110   X     X 0   X     X 0
  3   X     X 20110   X     X 0   X     X 0
502.trs 1   X     X 20100   X     X 0   X     X 0
  2 X       X 10 X       X 0 X       X 0
  3   X     X 20200   X     X 0   X     X 0
555.trs 1   X     X 20060   X     X 0   X     X 0
  2   X     X 20120   X     X 0   X     X 0
  3   X     X 20160   X     X 0   X     X 0
709.trs 1 X       X 10 X       X 0 X       X 0
  2   X     X 20   X     X 0   X     X 0
  3 X       X 10 X       X 0 X       X 0
761.trs 1 X       X 10 X       X 0 X       X 0
  2 X       X 20 X       X 0 X       X 0
  3 X       X 40 X       X 0 X       X 0
945.trs 1   X     X 20070   X     X 0   X     X 0
  2   X     X 20060   X     X 0   X     X 0
  3   X     X 20060   X     X 0   X     X 0
993.trs 1   X     X 20330   X     X 1   X     X 1
  2   X     X 20340   X     X 1   X     X 1
  3   X     X 20570   X     X 0   X     X 0
995.trs 1   X     X 20380   X     X 0   X     X 0
  2   X     X 20520   X     X 0   X     X 0
  3   X     X 20370   X     X 0   X     X 0
1001.trs 1   X     X 20410   X     X 0   X     X 0
  2   X     X 20380   X     X 1   X     X 1
  3   X     X 20530   X     X 0   X     X 0
1006.trs 1   X     X 20610   X     X 0   X     X 0
  2   X     X 21010   X     X 0   X     X 0
  3   X     X 20380   X     X 0   X     X 0
1010.trs 1   X     X 20360   X     X 0   X     X 0
  2   X     X 20410   X     X 0   X     X 0
  3 X       X 10 X       X 0 X       X 0
1024.trs 1   X     X 20290   X     X 3   X     X 3
  2 X       X 20 X       X 0 X       X 0
  3   X     X 20490   X     X 0   X     X 0
1026.trs 1   X     X 20370   X     X 2   X     X 2
  2   X     X 20440   X     X 4   X     X 4
  3   X     X 20430   X     X 1   X     X 1
Total 90 13 77 0 0 90 1556980 13 73 4 0 90 1529 13 77 0 0 90 321910