Overview of job-results

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

Statistics

216 pairs, 1563.7 / 772.8 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 28589
Solver AProVE standard f065806 muterm 5.18
Scores 97 101
TRS_Contextsensitive/CSR_04/Ex14_AEGL02.xml YES 3.2 / 1.4 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex14_Luc06.xml YES 4.1 / 2.5 YES 0.6 / 0.8
TRS_Contextsensitive/CSR_04/Ex15_Luc06.xml YES 3.0 / 1.3 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex15_Luc98.xml YES 3.7 / 1.5 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex16_Luc06.xml YES 3.1 / 1.6 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex18_Luc06.xml YES 2.9 / 1.3 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex1_2_AEL03.xml YES 3.8 / 1.8 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex1_2_Luc02c.xml YES 3.0 / 2.2 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex1_GL02a.xml YES 3.4 / 1.4 YES 0.0 / 0.1
TRS_Contextsensitive/CSR_04/Ex1_GM03.xml . 38.6 / 30.1 YES 0.1 / 0.2
TRS_Contextsensitive/CSR_04/Ex1_GM99.xml YES 3.0 / 1.5 YES 0.0 / 0.2
TRS_Contextsensitive/CSR_04/Ex1_Luc02b.xml YES 3.5 / 1.5 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex1_Luc04b.xml YES 2.9 / 1.4 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex1_Zan97.xml YES 3.1 / 1.3 YES 0.0 / 0.1
TRS_Contextsensitive/CSR_04/Ex23_Luc06.xml YES 2.9 / 1.3 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex24_GM04.xml YES 3.0 / 1.6 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex24_Luc06.xml YES 3.5 / 2.8 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex25_Luc06.xml YES 3.5 / 1.7 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex26_Luc03b.xml YES 3.4 / 2.9 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex2_Luc02a.xml YES 3.6 / 1.5 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex2_Luc03b.xml YES 3.2 / 1.5 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex3_12_Luc96a.xml YES 3.1 / 1.4 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex3_2_Luc97.xml . 84.5 / 30.1 . 4.7 / 5.5
TRS_Contextsensitive/CSR_04/Ex3_3_25_Bor03.xml YES 3.6 / 5.0 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex49_GM04.xml YES 3.7 / 1.8 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex4_4_Luc96b.xml YES 2.7 / 1.2 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex4_7_15_Bor03.xml YES 3.1 / 1.4 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex4_7_37_Bor03.xml YES 4.5 / 1.8 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex4_7_56_Bor03.xml YES 3.3 / 1.6 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex4_7_77_Bor03.xml YES 3.0 / 1.3 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex4_DLMMU04.xml YES 8.6 / 2.8 YES 4.0 / 2.2
TRS_Contextsensitive/CSR_04/Ex4_Zan97.xml YES 3.3 / 1.5 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex5_7_Luc97.xml . 100.7 / 30.2 . 3.1 / 3.8
TRS_Contextsensitive/CSR_04/Ex5_DLMMU04.xml YES 4.0 / 1.7 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex5_Zan97.xml YES 3.1 / 1.3 YES 0.0 / 0.1
TRS_Contextsensitive/CSR_04/Ex6_15_AEL02.xml . 86.5 / 30.1 . 1.2 / 2.4
TRS_Contextsensitive/CSR_04/Ex6_9_Luc02c.xml YES 3.4 / 1.4 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex6_GM04.xml YES 2.8 / 1.5 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex6_Luc98.xml YES 3.0 / 1.3 YES 0.0 / 0.1
TRS_Contextsensitive/CSR_04/Ex7_BLR02.xml YES 3.8 / 6.7 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex8_BLR02.xml YES 3.1 / 1.4 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex9_BLR02.xml YES 3.9 / 1.9 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/Ex9_Luc04.xml YES 3.4 / 3.0 YES 0.1 / 1.4
TRS_Contextsensitive/CSR_04/Ex9_Luc06.xml YES 3.4 / 1.8 YES 0.1 / 0.2
TRS_Contextsensitive/CSR_04/ExAppendixB_AEL03.xml YES 4.3 / 3.5 YES 0.0 / 0.2
TRS_Contextsensitive/CSR_04/ExConc_Zan97.xml YES 5.6 / 1.3 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/ExIntrod_GM01.xml YES 3.8 / 1.8 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/ExIntrod_GM04.xml YES 3.8 / 1.9 YES 0.0 / 0.2
TRS_Contextsensitive/CSR_04/ExIntrod_GM99.xml YES 3.7 / 1.5 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/ExIntrod_Zan97.xml . 88.8 / 30.1 YES 5.4 / 5.5
TRS_Contextsensitive/CSR_04/ExProp7_Luc06.xml YES 3.1 / 1.5 YES 0.1 / 0.1
TRS_Contextsensitive/CSR_04/ExSec11_1_Luc02a.xml YES 3.3 / 1.4 YES 0.0 / 0.0
TRS_Contextsensitive/CSR_04/ExSec4_2_DLMMU04.xml YES 6.9 / 1.7 YES 0.0 / 0.0
ensitive/Maude_06/LISTUTILITIES_complete-noand.xml YES 13.8 / 4.2 YES 17.3 / 8.7
ntextsensitive/Maude_06/LISTUTILITIES_complete.xml . 90.4 / 30.1 . 28.8 / 30.1
sensitive/Maude_06/LISTUTILITIES_nokinds-noand.xml YES 7.9 / 2.6 YES 0.9 / 0.9
ontextsensitive/Maude_06/LISTUTILITIES_nokinds.xml . 67.9 / 30.1 . 29.2 / 30.1
sensitive/Maude_06/LISTUTILITIES_nosorts-noand.xml YES 4.2 / 1.9 YES 0.0 / 0.0
ontextsensitive/Maude_06/LISTUTILITIES_nosorts.xml YES 3.5 / 1.8 YES 0.0 / 0.0
ve/Maude_06/LengthOfFiniteLists_complete-noand.xml YES 11.1 / 3.6 YES 0.4 / 0.4
ensitive/Maude_06/LengthOfFiniteLists_complete.xml . 78.7 / 30.1 YES 23.7 / 24.1
ive/Maude_06/LengthOfFiniteLists_nokinds-noand.xml YES 6.0 / 2.1 YES 0.1 / 0.1
sensitive/Maude_06/LengthOfFiniteLists_nokinds.xml YES 5.4 / 2.0 YES 3.7 / 3.9
ive/Maude_06/LengthOfFiniteLists_nosorts-noand.xml NO 3.4 / 1.4 NO 0.7 / 0.9
sensitive/Maude_06/LengthOfFiniteLists_nosorts.xml NO 3.2 / 2.4 NO 0.2 / 0.4
tive/Maude_06/MYNAT_complete-noand-peanoSimple.xml YES 5.7 / 2.1 YES 0.1 / 0.1
Contextsensitive/Maude_06/MYNAT_complete-noand.xml YES 6.5 / 2.2 YES 0.4 / 0.4
tsensitive/Maude_06/MYNAT_complete-peanoSimple.xml YES 6.1 / 4.4 YES 0.3 / 0.3
TRS_Contextsensitive/Maude_06/MYNAT_complete.xml YES 15.6 / 4.6 YES 13.6 / 14.2
itive/Maude_06/MYNAT_nokinds-noand-peanoSimple.xml YES 3.6 / 1.5 YES 0.0 / 0.0
_Contextsensitive/Maude_06/MYNAT_nokinds-noand.xml YES 4.4 / 1.8 YES 0.0 / 0.0
xtsensitive/Maude_06/MYNAT_nokinds-peanoSimple.xml YES 3.9 / 1.6 YES 0.0 / 0.1
TRS_Contextsensitive/Maude_06/MYNAT_nokinds.xml YES 6.2 / 2.2 YES 1.4 / 1.6
itive/Maude_06/MYNAT_nosorts-noand-peanoSimple.xml YES 3.3 / 1.6 YES 0.0 / 0.0
_Contextsensitive/Maude_06/MYNAT_nosorts-noand.xml YES 3.4 / 1.4 YES 0.0 / 0.0
xtsensitive/Maude_06/MYNAT_nosorts-peanoSimple.xml YES 3.0 / 5.2 YES 0.0 / 0.0
TRS_Contextsensitive/Maude_06/MYNAT_nosorts.xml YES 3.0 / 1.5 YES 0.0 / 0.0
textsensitive/Maude_06/OvConsOS_complete-noand.xml YES 12.7 / 4.8 YES 1.2 / 1.2
RS_Contextsensitive/Maude_06/OvConsOS_complete.xml . 84.7 / 30.1 . 29.5 / 30.0
ntextsensitive/Maude_06/OvConsOS_nokinds-noand.xml YES 8.1 / 3.1 YES 0.2 / 0.2
TRS_Contextsensitive/Maude_06/OvConsOS_nokinds.xml . 77.5 / 30.1 . 27.8 / 30.1
ntextsensitive/Maude_06/OvConsOS_nosorts-noand.xml NO 3.4 / 1.5 NO 1.4 / 1.7
TRS_Contextsensitive/Maude_06/OvConsOS_nosorts.xml NO 3.4 / 1.6 NO 0.3 / 1.7
xtsensitive/Maude_06/PALINDROME_complete-noand.xml YES 7.9 / 3.2 YES 0.4 / 0.4
_Contextsensitive/Maude_06/PALINDROME_complete.xml YES 9.0 / 3.0 YES 0.3 / 0.3
extsensitive/Maude_06/PALINDROME_nokinds-noand.xml YES 4.2 / 1.6 YES 0.0 / 0.0
S_Contextsensitive/Maude_06/PALINDROME_nokinds.xml YES 3.5 / 1.6 YES 0.1 / 0.1
extsensitive/Maude_06/PALINDROME_nosorts-noand.xml YES 3.3 / 1.4 YES 0.0 / 0.0
S_Contextsensitive/Maude_06/PALINDROME_nosorts.xml YES 3.1 / 1.9 YES 0.0 / 0.0
TRS_Contextsensitive/Maude_06/csrdiv.xml YES 17.7 / 6.6 YES 0.2 / 0.3
TRS_Contextsensitive/Maude_06/emmes.xml . 82.5 / 30.1 YES 1.3 / 1.4
sensitive/Transformed_outermost_08/cariboo_ex1.xml YES 3.5 / 5.7 YES 0.0 / 0.4
sensitive/Transformed_outermost_08/cariboo_ex2.xml YES 10.1 / 3.7 YES 0.8 / 1.0
sensitive/Transformed_outermost_08/cariboo_ex3.xml YES 3.4 / 1.5 YES 0.1 / 0.1
sensitive/Transformed_outermost_08/cariboo_ex4.xml YES 3.1 / 1.4 YES 0.0 / 0.1
sensitive/Transformed_outermost_08/cariboo_ex5.xml YES 2.7 / 1.5 YES 0.1 / 0.4
sensitive/Transformed_outermost_08/cariboo_ex6.xml YES 3.4 / 1.4 YES 0.0 / 0.0
ontextsensitive/Transformed_outermost_08/ex5.3.xml YES 3.1 / 1.5 YES 0.0 / 0.0
ontextsensitive/Transformed_outermost_08/ex5.4.xml YES 3.9 / 1.9 YES 0.6 / 1.1
ontextsensitive/Transformed_outermost_08/ex5.5.xml YES 3.8 / 3.2 YES 0.1 / 0.1
ontextsensitive/Transformed_outermost_08/ex5.6.xml YES 3.5 / 1.7 YES 0.0 / 0.0
ontextsensitive/Transformed_outermost_08/ex5.7.xml YES 3.1 / 1.4 YES 0.1 / 0.1
ontextsensitive/Transformed_outermost_08/ex5.8.xml YES 3.2 / 1.5 YES 0.0 / 0.0
_Contextsensitive/Transformed_outermost_08/f20.xml YES 10.4 / 3.7 YES 3.6 / 12.2
_Contextsensitive/Transformed_outermost_08/f30.xml YES 10.5 / 3.5 YES 0.1 / 0.1
S_Contextsensitive/Transformed_outermost_08/f4.xml YES 3.7 / 1.7 YES 0.1 / 0.1
_Contextsensitive/Transformed_outermost_08/f40.xml YES 14.7 / 4.5 YES 0.2 / 0.2
ontextsensitive/Transformed_outermost_08/morse.xml YES 12.8 / 4.8 YES 1.5 / 1.4