Termination Competition 2019: TRS Context Sensitive33019

Job info CSV
benchmark AProVE standard muterm 5.18 default
CSR_04/Ex8_BLR02.xml 5160683 YES 3.35/1.58 YES 0.01/0.01
CSR_04/Ex4_4_Luc96b.xml 5160684 YES 2.92/1.38 YES 0.01/0.01
CSR_04/Ex4_7_77_Bor03.xml 5160685 YES 2.83/1.49 YES 0.01/0.01
CSR_04/Ex9_Luc04.xml 5160686 YES 3.17/2.00 YES 0.10/0.12
CSR_04/Ex6_GM04.xml 5160687 YES 3.07/1.43 YES 0.01/0.01
CSR_04/Ex6_9_Luc02c.xml 5160688 YES 3.48/1.49 YES 0.01/0.01
CSR_04/Ex1_Zan97.xml 5160689 YES 2.84/1.46 YES 0.03/0.03
CSR_04/Ex4_7_56_Bor03.xml 5160690 YES 3.07/1.58 YES 0.01/0.01
CSR_04/Ex1_Luc04b.xml 5160691 YES 3.52/1.48 YES 0.01/0.01
CSR_04/Ex1_GM03.xml 5160692 timeout (wallclock) [out] YES 0.16/0.20
CSR_04/ExSec11_1_Luc02a.xml 5160693 YES 3.47/1.64 YES 0.02/0.02
CSR_04/Ex7_BLR02.xml 5160694 YES 3.17/1.45 YES 0.01/0.01
CSR_04/Ex6_15_AEL02.xml 5160695 timeout (wallclock) [out] MAYBE 1.26/1.38
CSR_04/ExIntrod_GM99.xml 5160696 YES 3.77/1.54 YES 0.01/0.01
CSR_04/ExAppendixB_AEL03.xml 5160697 YES 3.82/1.63 YES 0.02/0.02
CSR_04/Ex3_2_Luc97.xml 5160698 timeout (wallclock) [out] MAYBE 5.25/6.01
CSR_04/Ex1_GM99.xml 5160699 YES 3.16/1.81 YES 0.01/0.08
CSR_04/Ex15_Luc06.xml 5160700 YES 2.82/1.47 YES 0.01/0.01
CSR_04/Ex15_Luc98.xml 5160701 YES 3.39/1.68 YES 0.01/0.01
CSR_04/Ex18_Luc06.xml 5160702 YES 2.76/1.34 YES 0.01/0.01
CSR_04/Ex4_Zan97.xml 5160703 YES 2.97/1.51 YES 0.01/0.01
CSR_04/Ex3_3_25_Bor03.xml 5160704 YES 3.39/1.53 YES 0.01/0.01
CSR_04/Ex4_DLMMU04.xml 5160705 YES 5.80/2.23 YES 2.17/2.19
CSR_04/Ex5_7_Luc97.xml 5160706 timeout (wallclock) [out] MAYBE 3.43/3.65
CSR_04/Ex2_Luc02a.xml 5160707 YES 3.65/1.57 YES 0.01/0.01
CSR_04/ExProp7_Luc06.xml 5160708 YES 3.28/1.50 YES 0.04/0.05
CSR_04/Ex14_AEGL02.xml 5160709 YES 3.35/1.45 YES 0.03/0.03
CSR_04/Ex49_GM04.xml 5160710 YES 3.59/1.69 YES 0.04/0.05
CSR_04/Ex14_Luc06.xml 5160711 YES 4.13/1.74 YES 0.70/0.87
CSR_04/Ex9_Luc06.xml 5160712 YES 3.31/1.80 YES 0.13/0.16
CSR_04/Ex16_Luc06.xml 5160713 YES 3.15/1.39 YES 0.01/0.01
CSR_04/Ex25_Luc06.xml 5160714 YES 3.32/1.38 YES 0.01/0.01
CSR_04/Ex6_Luc98.xml 5160715 YES 3.35/1.46 YES 0.01/0.01
CSR_04/ExConc_Zan97.xml 5160716 YES 2.76/1.38 YES 0.01/0.01
CSR_04/ExIntrod_GM01.xml 5160717 YES 3.71/1.58 YES 0.01/0.01
CSR_04/ExIntrod_GM04.xml 5160718 YES 3.73/1.96 YES 0.01/0.01
CSR_04/Ex3_12_Luc96a.xml 5160719 YES 3.52/1.50 YES 0.01/0.01
CSR_04/Ex24_Luc06.xml 5160720 YES 3.10/1.41 YES 0.01/0.01
CSR_04/Ex2_Luc03b.xml 5160721 YES 3.17/1.38 YES 0.01/0.01
CSR_04/Ex1_GL02a.xml 5160722 YES 3.20/1.49 YES 0.03/0.05
CSR_04/Ex26_Luc03b.xml 5160723 YES 3.53/1.57 YES 0.01/0.01
CSR_04/Ex9_BLR02.xml 5160724 YES 3.50/1.52 YES 0.01/0.01
CSR_04/Ex24_GM04.xml 5160725 YES 3.09/1.35 YES 0.01/0.01
CSR_04/Ex5_Zan97.xml 5160726 YES 2.94/1.46 YES 0.04/0.05
CSR_04/Ex4_7_15_Bor03.xml 5160727 YES 3.39/2.37 YES 0.03/0.03
CSR_04/Ex5_DLMMU04.xml 5160728 YES 3.72/1.60 YES 0.01/0.01
CSR_04/Ex23_Luc06.xml 5160729 YES 2.79/1.48 YES 0.01/0.01
CSR_04/Ex1_Luc02b.xml 5160730 YES 3.26/1.46 YES 0.01/0.01
CSR_04/Ex1_2_Luc02c.xml 5160731 YES 2.90/1.45 YES 0.01/0.01
CSR_04/Ex4_7_37_Bor03.xml 5160732 YES 4.23/1.86 YES 0.03/0.04
CSR_04/ExIntrod_Zan97.xml 5160733 timeout (wallclock) [out] YES 5.09/5.15
CSR_04/ExSec4_2_DLMMU04.xml 5160734 YES 3.32/1.62 YES 0.02/0.01
CSR_04/Ex1_2_AEL03.xml 5160735 YES 3.51/1.69 YES 0.02/0.02
Transformed_outermost_08/cariboo_ex2.xml 5160628 YES 4.51/1.80 YES 0.99/1.16
Transformed_outermost_08/cariboo_ex1.xml 5160629 YES 3.32/1.55 YES 0.03/0.05
Transformed_outermost_08/f30.xml 5160630 YES 23.10/11.18 YES 0.09/0.09
Transformed_outermost_08/cariboo_ex3.xml 5160631 YES 3.48/1.52 YES 0.07/0.06
Transformed_outermost_08/f4.xml 5160632 YES 3.54/1.52 YES 0.12/0.14
Transformed_outermost_08/morse.xml 5160633 YES 8.60/2.91 YES 1.39/1.35
Transformed_outermost_08/ex5.5.xml 5160634 YES 3.43/1.56 YES 0.10/0.09
Transformed_outermost_08/ex5.7.xml 5160635 YES 3.33/1.49 YES 0.07/0.08
Transformed_outermost_08/ex5.6.xml 5160636 YES 3.33/1.58 YES 0.03/0.04
Transformed_outermost_08/ex5.4.xml 5160637 YES 3.64/1.63 YES 0.59/0.58
Transformed_outermost_08/f20.xml 5160638 YES 8.09/3.42 YES 3.17/3.48
Transformed_outermost_08/ex5.8.xml 5160639 YES 3.31/1.66 YES 0.01/0.01
Transformed_outermost_08/cariboo_ex5.xml 5160640 YES 2.81/1.36 YES 0.04/0.05
Transformed_outermost_08/f40.xml 5160641 YES 11.48/4.32 YES 0.16/0.16
Transformed_outermost_08/cariboo_ex4.xml 5160642 YES 2.92/1.42 YES 0.02/0.03
Transformed_outermost_08/ex5.3.xml 5160643 YES 3.30/1.48 YES 0.01/0.01
Transformed_outermost_08/cariboo_ex6.xml 5160644 YES 3.25/1.53 YES 0.03/0.04
Maude_06/MYNAT_nosorts-noand-peanoSimple.xml 5160645 YES 3.23/1.47 YES 0.01/0.01
Maude_06/PALINDROME_nokinds.xml 5160646 YES 3.57/1.51 YES 0.06/0.06
Maude_06/LengthOfFiniteLists_nosorts.xml 5160647 NO 3.21/1.48 NO 0.21/0.25
Maude_06/OvConsOS_complete-noand.xml 5160648 YES 10.18/3.34 YES 1.28/1.26
Maude_06/LengthOfFiniteLists_nosorts-noand.xml 5160649 NO 3.47/1.51 NO 0.67/0.74
Maude_06/MYNAT_nokinds-noand.xml 5160650 YES 4.02/1.77 YES 0.02/0.02
Maude_06/LISTUTILITIES_complete.xml 5160651 timeout (wallclock) [out] timeout (wallclock) [out]
Maude_06/csrdiv.xml 5160652 YES 17.03/5.15 YES 0.18/0.21
Maude_06/MYNAT_nokinds-peanoSimple.xml 5160653 YES 3.78/1.59 YES 0.04/0.05
Maude_06/OvConsOS_complete.xml 5160654 timeout (wallclock) [out] timeout (wallclock) [out]
Maude_06/OvConsOS_nokinds.xml 5160655 timeout (wallclock) [out] timeout (wallclock) [out]
Maude_06/LengthOfFiniteLists_complete-noand.xml 5160656 YES 9.14/3.18 YES 0.45/0.44
Maude_06/MYNAT_nosorts.xml 5160657 YES 3.52/1.50 YES 0.01/0.01
Maude_06/LISTUTILITIES_complete-noand.xml 5160658 YES 12.65/3.93 YES 8.74/8.72
Maude_06/MYNAT_nosorts-peanoSimple.xml 5160659 YES 2.95/1.35 YES 0.01/0.01
Maude_06/MYNAT_complete-peanoSimple.xml 5160660 YES 5.25/2.08 YES 0.26/0.25
Maude_06/PALINDROME_complete.xml 5160661 YES 8.50/4.57 YES 0.35/0.35
Maude_06/OvConsOS_nosorts.xml 5160662 NO 3.71/1.56 NO 0.27/0.32
Maude_06/LISTUTILITIES_nokinds-noand.xml 5160663 YES 5.82/2.20 YES 0.82/0.80
Maude_06/PALINDROME_nosorts.xml 5160664 YES 3.10/1.39 YES 0.01/0.01
Maude_06/emmes.xml 5160665 timeout (wallclock) [out] YES 1.32/1.38
Maude_06/MYNAT_complete-noand.xml 5160666 YES 5.56/2.11 YES 0.40/0.39
Maude_06/LISTUTILITIES_nosorts-noand.xml 5160667 YES 4.23/1.87 YES 0.02/0.02
Maude_06/LengthOfFiniteLists_nokinds.xml 5160668 YES 5.13/1.96 YES 4.03/4.42
Maude_06/PALINDROME_nokinds-noand.xml 5160669 YES 3.63/1.61 YES 0.02/0.02
Maude_06/MYNAT_complete-noand-peanoSimple.xml 5160670 YES 5.43/2.09 YES 0.10/0.10
Maude_06/MYNAT_complete.xml 5160671 YES 12.62/3.83 YES 14.08/15.00
Maude_06/LISTUTILITIES_nosorts.xml 5160672 YES 3.62/1.58 YES 0.02/0.01
Maude_06/LengthOfFiniteLists_nokinds-noand.xml 5160673 YES 9.20/1.98 YES 0.11/0.10
Maude_06/MYNAT_nosorts-noand.xml 5160674 YES 3.19/1.50 YES 0.01/0.01
Maude_06/PALINDROME_complete-noand.xml 5160675 YES 7.63/3.25 YES 0.38/0.41
Maude_06/MYNAT_nokinds.xml 5160676 YES 5.82/2.27 YES 1.49/1.58
Maude_06/LengthOfFiniteLists_complete.xml 5160677 YES 189.02/59.68 YES 24.02/24.54
Maude_06/OvConsOS_nosorts-noand.xml 5160678 NO 3.69/1.66 NO 2.42/1.41
Maude_06/PALINDROME_nosorts-noand.xml 5160679 YES 3.08/1.43 YES 0.01/0.01
Maude_06/MYNAT_nokinds-noand-peanoSimple.xml 5160680 YES 3.75/1.66 YES 0.01/0.01
Maude_06/OvConsOS_nokinds-noand.xml 5160681 YES 6.48/2.39 YES 0.19/0.18
Maude_06/LISTUTILITIES_nokinds.xml 5160682 timeout (wallclock) [out] timeout (wallclock) [out]
98 101