Overview of job-results

flexible query (experimental) | consistency check | view original jobs on star-exec:10306,

Statistics

216 pairs, 7100.2 / 5007.1 s

Results

Legend

YES NO MAYBE CERTIFIED ERROR BOUNDS OTHER NOTHING
The results are displayed in the following pattern: result | cpu-time/wallclock-time in seconds | complexity-score
Jobs TRS Conte Sensi 74162
Solver AProVE 2015 muterm 5.17
Scores 97 98
TRS_Contextsensitive/CSR_04/Ex14_AEGL02.xml YES 2.3 / 1.4 YES 0.0 / 0.3
TRS_Contextsensitive/CSR_04/Ex14_Luc06.xml YES 5.0 / 7.5 YES 0.4 / 0.5
TRS_Contextsensitive/CSR_04/Ex15_Luc06.xml YES 2.2 / 3.4 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex15_Luc98.xml YES 2.4 / 1.7 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex16_Luc06.xml YES 2.1 / 1.3 YES 0.0 / 0.2
TRS_Contextsensitive/CSR_04/Ex18_Luc06.xml YES 2.0 / 1.3 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex1_2_AEL03.xml YES 3.0 / 1.7 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex1_2_Luc02c.xml YES 2.1 / 1.3 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex1_GL02a.xml YES 2.4 / 1.4 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex1_GM03.xml . 262.3 / 300.1 YES 0.1 / 0.1
TRS_Contextsensitive/CSR_04/Ex1_GM99.xml YES 2.2 / 1.8 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex1_Luc02b.xml YES 2.5 / 1.5 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex1_Luc04b.xml YES 3.2 / 6.5 YES 0.0 / 0.4
TRS_Contextsensitive/CSR_04/Ex1_Zan97.xml YES 2.1 / 1.4 . 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex23_Luc06.xml YES 2.1 / 2.0 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex24_GM04.xml YES 2.1 / 1.3 YES 0.0 / 0.1
TRS_Contextsensitive/CSR_04/Ex24_Luc06.xml YES 2.1 / 1.3 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex25_Luc06.xml YES 2.4 / 1.6 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex26_Luc03b.xml YES 3.7 / 3.4 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex2_Luc02a.xml YES 2.5 / 2.2 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex2_Luc03b.xml YES 2.3 / 1.3 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex3_12_Luc96a.xml YES 2.2 / 1.4 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex3_2_Luc97.xml . 440.1 / 300.1 . 4.8 / 8.3
TRS_Contextsensitive/CSR_04/Ex3_3_25_Bor03.xml YES 2.7 / 1.6 YES 0.0 / 0.2
TRS_Contextsensitive/CSR_04/Ex49_GM04.xml YES 3.0 / 1.5 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex4_4_Luc96b.xml YES 2.0 / 1.3 YES 0.0 / 0.2
TRS_Contextsensitive/CSR_04/Ex4_7_15_Bor03.xml YES 2.2 / 1.4 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex4_7_37_Bor03.xml YES 3.6 / 4.5 YES 0.0 / 0.4
TRS_Contextsensitive/CSR_04/Ex4_7_56_Bor03.xml YES 2.2 / 1.3 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex4_7_77_Bor03.xml YES 2.2 / 3.3 YES 0.0 / 0.2
TRS_Contextsensitive/CSR_04/Ex4_DLMMU04.xml YES 7.2 / 2.7 YES 2.1 / 2.6
TRS_Contextsensitive/CSR_04/Ex4_Zan97.xml YES 2.3 / 1.4 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex5_7_Luc97.xml . 609.5 / 300.1 . 2.7 / 2.9
TRS_Contextsensitive/CSR_04/Ex5_DLMMU04.xml YES 3.6 / 2.0 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex5_Zan97.xml YES 2.3 / 1.3 YES 0.0 / 1.0
TRS_Contextsensitive/CSR_04/Ex6_15_AEL02.xml . 559.7 / 300.0 . 0.9 / 2.3
TRS_Contextsensitive/CSR_04/Ex6_9_Luc02c.xml YES 2.3 / 1.4 YES 0.0 / 0.2
TRS_Contextsensitive/CSR_04/Ex6_GM04.xml YES 2.0 / 1.4 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex6_Luc98.xml YES 2.4 / 5.2 . 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex7_BLR02.xml YES 2.8 / 5.9 YES 0.0 / 0.1
TRS_Contextsensitive/CSR_04/Ex8_BLR02.xml YES 2.6 / 1.5 YES 0.0 / 0.2
TRS_Contextsensitive/CSR_04/Ex9_BLR02.xml YES 2.8 / 3.7 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex9_Luc04.xml YES 2.4 / 4.5 YES 0.0 / 0.1
TRS_Contextsensitive/CSR_04/Ex9_Luc06.xml YES 3.1 / 20.5 YES 0.1 / 2.0
TRS_Contextsensitive/CSR_04/ExAppendixB_AEL03.xml YES 3.5 / 1.9 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/ExConc_Zan97.xml YES 2.1 / 1.3 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/ExIntrod_GM01.xml YES 3.9 / 8.0 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/ExIntrod_GM04.xml YES 3.4 / 2.2 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/ExIntrod_GM99.xml YES 3.5 / 6.8 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/ExIntrod_Zan97.xml . 455.9 / 300.0 YES 5.3 / 5.4
TRS_Contextsensitive/CSR_04/ExProp7_Luc06.xml YES 2.3 / 1.4 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/ExSec11_1_Luc02a.xml YES 2.6 / 1.5 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/ExSec4_2_DLMMU04.xml YES 2.6 / 1.5 . 0.0 / 0.0
ensitive/Maude_06/LISTUTILITIES_complete-noand.xml YES 20.2 / 16.0 YES 9.0 / 9.0
ntextsensitive/Maude_06/LISTUTILITIES_complete.xml . 356.6 / 300.0 . 297.8 / 300.0
sensitive/Maude_06/LISTUTILITIES_nokinds-noand.xml YES 9.8 / 3.5 YES 0.8 / 0.8
ontextsensitive/Maude_06/LISTUTILITIES_nokinds.xml . 678.0 / 300.1 . 298.3 / 300.0
sensitive/Maude_06/LISTUTILITIES_nosorts-noand.xml YES 3.7 / 1.7 YES 0.0 / 0.0
ontextsensitive/Maude_06/LISTUTILITIES_nosorts.xml YES 3.1 / 6.6 YES 0.0 / 0.0
ve/Maude_06/LengthOfFiniteLists_complete-noand.xml YES 16.8 / 7.4 YES 0.4 / 0.4
ensitive/Maude_06/LengthOfFiniteLists_complete.xml . 589.2 / 300.0 YES 25.8 / 26.1
ive/Maude_06/LengthOfFiniteLists_nokinds-noand.xml YES 6.5 / 3.0 YES 0.1 / 0.1
sensitive/Maude_06/LengthOfFiniteLists_nokinds.xml YES 5.4 / 2.2 YES 3.4 / 8.5
ive/Maude_06/LengthOfFiniteLists_nosorts-noand.xml NO 2.3 / 1.5 NO 0.4 / 0.5
sensitive/Maude_06/LengthOfFiniteLists_nosorts.xml NO 2.4 / 1.4 NO 0.1 / 0.1
tive/Maude_06/MYNAT_complete-noand-peanoSimple.xml YES 6.6 / 3.0 YES 0.1 / 0.1
Contextsensitive/Maude_06/MYNAT_complete-noand.xml YES 7.6 / 3.3 YES 0.4 / 0.4
tsensitive/Maude_06/MYNAT_complete-peanoSimple.xml YES 5.0 / 2.6 YES 0.2 / 0.2
TRS_Contextsensitive/Maude_06/MYNAT_complete.xml YES 18.9 / 7.1 YES 13.5 / 30.7
itive/Maude_06/MYNAT_nokinds-noand-peanoSimple.xml YES 3.2 / 1.8 YES 0.0 / 0.0
_Contextsensitive/Maude_06/MYNAT_nokinds-noand.xml YES 3.3 / 1.8 YES 0.0 / 0.0
xtsensitive/Maude_06/MYNAT_nokinds-peanoSimple.xml YES 3.7 / 2.0 YES 0.0 / 0.3
TRS_Contextsensitive/Maude_06/MYNAT_nokinds.xml YES 7.7 / 9.4 YES 1.3 / 4.0
itive/Maude_06/MYNAT_nosorts-noand-peanoSimple.xml YES 2.6 / 7.0 YES 0.0 / 0.3
_Contextsensitive/Maude_06/MYNAT_nosorts-noand.xml YES 2.8 / 6.7 YES 0.0 / 0.0
xtsensitive/Maude_06/MYNAT_nosorts-peanoSimple.xml YES 2.2 / 1.4 YES 0.0 / 0.0
TRS_Contextsensitive/Maude_06/MYNAT_nosorts.xml YES 2.2 / 2.1 YES 0.0 / 0.0
textsensitive/Maude_06/OvConsOS_complete-noand.xml YES 17.4 / 5.3 YES 1.3 / 1.3
RS_Contextsensitive/Maude_06/OvConsOS_complete.xml . 597.6 / 300.0 . 300.0 / 300.0
ntextsensitive/Maude_06/OvConsOS_nokinds-noand.xml YES 8.1 / 3.0 YES 0.2 / 0.8
TRS_Contextsensitive/Maude_06/OvConsOS_nokinds.xml . 527.0 / 300.0 . 223.2 / 300.1
ntextsensitive/Maude_06/OvConsOS_nosorts-noand.xml NO 2.8 / 1.5 NO 0.9 / 1.0
TRS_Contextsensitive/Maude_06/OvConsOS_nosorts.xml NO 2.8 / 1.6 NO 0.2 / 1.3
xtsensitive/Maude_06/PALINDROME_complete-noand.xml YES 9.4 / 4.4 YES 0.4 / 0.4
_Contextsensitive/Maude_06/PALINDROME_complete.xml YES 16.9 / 3.8 YES 0.3 / 0.3
extsensitive/Maude_06/PALINDROME_nokinds-noand.xml YES 5.3 / 10.8 YES 0.0 / 0.0
S_Contextsensitive/Maude_06/PALINDROME_nokinds.xml YES 3.0 / 1.8 YES 0.0 / 0.1
extsensitive/Maude_06/PALINDROME_nosorts-noand.xml YES 2.5 / 1.5 YES 0.0 / 0.3
S_Contextsensitive/Maude_06/PALINDROME_nosorts.xml YES 2.2 / 1.4 YES 0.0 / 0.0
TRS_Contextsensitive/Maude_06/csrdiv.xml YES 22.1 / 23.2 YES 0.1 / 0.1
TRS_Contextsensitive/Maude_06/emmes.xml . 371.1 / 300.0 YES 1.3 / 1.3
sensitive/Transformed_outermost_08/cariboo_ex1.xml YES 2.5 / 1.7 YES 0.0 / 0.0
sensitive/Transformed_outermost_08/cariboo_ex2.xml YES 3.5 / 4.5 YES 0.7 / 0.9
sensitive/Transformed_outermost_08/cariboo_ex3.xml YES 2.9 / 1.7 YES 0.0 / 0.1
sensitive/Transformed_outermost_08/cariboo_ex4.xml YES 2.3 / 1.4 YES 0.0 / 0.0
sensitive/Transformed_outermost_08/cariboo_ex5.xml YES 2.3 / 5.5 YES 0.0 / 0.1
sensitive/Transformed_outermost_08/cariboo_ex6.xml YES 2.6 / 1.5 YES 0.0 / 0.0
ontextsensitive/Transformed_outermost_08/ex5.3.xml YES 2.3 / 1.6 YES 0.0 / 0.0
ontextsensitive/Transformed_outermost_08/ex5.4.xml YES 3.4 / 1.9 YES 0.5 / 0.5
ontextsensitive/Transformed_outermost_08/ex5.5.xml YES 2.5 / 2.4 YES 0.1 / 0.1
ontextsensitive/Transformed_outermost_08/ex5.6.xml YES 3.0 / 5.3 YES 0.0 / 0.0
ontextsensitive/Transformed_outermost_08/ex5.7.xml YES 2.7 / 5.6 YES 0.0 / 0.0
ontextsensitive/Transformed_outermost_08/ex5.8.xml YES 2.6 / 5.4 YES 0.0 / 0.0
_Contextsensitive/Transformed_outermost_08/f20.xml YES 15.2 / 17.0 YES 2.9 / 3.1
_Contextsensitive/Transformed_outermost_08/f30.xml YES 10.6 / 11.2 YES 0.1 / 0.1
S_Contextsensitive/Transformed_outermost_08/f4.xml YES 3.4 / 6.3 YES 0.1 / 0.1
_Contextsensitive/Transformed_outermost_08/f40.xml YES 13.3 / 11.0 YES 0.2 / 0.2
ontextsensitive/Transformed_outermost_08/morse.xml YES 15.9 / 6.4 YES 1.5 / 5.7