Overview of job-results

flexible query (experimental) | view original jobs on star-exec:5383,

Statistics

216 pairs, 8366.2 / 5349.0 s

Results

Legend

YES NO MAYBE CERTIFIED ERROR OTHER / Nothing
The results are displayed in the following pattern: cpu-time / wallclock-time (complexity-score)
Jobs TRS Conte Sensi 12795
Solver mu-term 5.13 AProVE_JRE2
Scores 101 98
TRS_Contextsensitive/CSR_04/Ex14_AEGL02.xml 0.0 / 0.0 s 1.2 / 0.7 s
TRS_Contextsensitive/CSR_04/Ex14_Luc06.xml 0.4 / 0.5 s 2.6 / 1.1 s
TRS_Contextsensitive/CSR_04/Ex15_Luc06.xml 0.0 / 0.0 s 1.0 / 0.6 s
TRS_Contextsensitive/CSR_04/Ex15_Luc98.xml 0.0 / 0.0 s 1.3 / 0.7 s
TRS_Contextsensitive/CSR_04/Ex16_Luc06.xml 0.0 / 0.0 s 1.1 / 0.6 s
TRS_Contextsensitive/CSR_04/Ex18_Luc06.xml 0.0 / 0.0 s 1.0 / 0.6 s
TRS_Contextsensitive/CSR_04/Ex1_2_AEL03.xml 0.0 / 0.0 s 1.9 / 0.9 s
TRS_Contextsensitive/CSR_04/Ex1_2_Luc02c.xml 0.0 / 0.0 s 1.1 / 0.7 s
TRS_Contextsensitive/CSR_04/Ex1_GL02a.xml 0.0 / 0.0 s 1.4 / 0.7 s
TRS_Contextsensitive/CSR_04/Ex1_GM03.xml 0.1 / 0.1 s 470.3 / 300.0 s
TRS_Contextsensitive/CSR_04/Ex1_GM99.xml 0.0 / 0.0 s 1.2 / 0.7 s
TRS_Contextsensitive/CSR_04/Ex1_Luc02b.xml 0.0 / 0.0 s 1.5 / 0.8 s
TRS_Contextsensitive/CSR_04/Ex1_Luc04b.xml 0.0 / 0.0 s 1.6 / 0.8 s
TRS_Contextsensitive/CSR_04/Ex1_Zan97.xml 0.0 / 0.0 s 1.1 / 0.7 s
TRS_Contextsensitive/CSR_04/Ex23_Luc06.xml 0.0 / 0.0 s 1.0 / 0.6 s
TRS_Contextsensitive/CSR_04/Ex24_GM04.xml 0.0 / 0.0 s 1.1 / 0.6 s
TRS_Contextsensitive/CSR_04/Ex24_Luc06.xml 0.0 / 0.0 s 1.1 / 0.6 s
TRS_Contextsensitive/CSR_04/Ex25_Luc06.xml 0.0 / 0.0 s 1.4 / 0.7 s
TRS_Contextsensitive/CSR_04/Ex26_Luc03b.xml 0.0 / 0.0 s 2.3 / 1.1 s
TRS_Contextsensitive/CSR_04/Ex2_Luc02a.xml 0.0 / 0.0 s 1.5 / 0.7 s
TRS_Contextsensitive/CSR_04/Ex2_Luc03b.xml 0.0 / 0.0 s 1.2 / 0.7 s
TRS_Contextsensitive/CSR_04/Ex3_12_Luc96a.xml 0.0 / 0.0 s 1.2 / 0.7 s
TRS_Contextsensitive/CSR_04/Ex3_2_Luc97.xml 299.8 / 300.0 s 538.5 / 300.0 s
TRS_Contextsensitive/CSR_04/Ex3_3_25_Bor03.xml 0.0 / 0.0 s 1.6 / 0.8 s
TRS_Contextsensitive/CSR_04/Ex49_GM04.xml 0.0 / 0.0 s 2.2 / 1.0 s
TRS_Contextsensitive/CSR_04/Ex4_4_Luc96b.xml 0.0 / 0.0 s 0.9 / 0.5 s
TRS_Contextsensitive/CSR_04/Ex4_7_15_Bor03.xml 0.0 / 0.0 s 1.2 / 0.6 s
TRS_Contextsensitive/CSR_04/Ex4_7_37_Bor03.xml 0.0 / 0.0 s 3.1 / 1.2 s
TRS_Contextsensitive/CSR_04/Ex4_7_56_Bor03.xml 0.0 / 0.0 s 1.2 / 0.7 s
TRS_Contextsensitive/CSR_04/Ex4_7_77_Bor03.xml 0.0 / 0.0 s 1.1 / 0.6 s
TRS_Contextsensitive/CSR_04/Ex4_DLMMU04.xml 2.1 / 2.2 s 6.2 / 2.0 s
TRS_Contextsensitive/CSR_04/Ex4_Zan97.xml 0.0 / 0.0 s 1.3 / 0.7 s
TRS_Contextsensitive/CSR_04/Ex5_7_Luc97.xml 299.8 / 300.0 s 671.0 / 300.0 s
TRS_Contextsensitive/CSR_04/Ex5_DLMMU04.xml 0.0 / 0.0 s 2.4 / 1.0 s
TRS_Contextsensitive/CSR_04/Ex5_Zan97.xml 0.0 / 0.0 s 1.2 / 0.7 s
TRS_Contextsensitive/CSR_04/Ex6_15_AEL02.xml 300.0 / 300.0 s 662.6 / 300.0 s
TRS_Contextsensitive/CSR_04/Ex6_9_Luc02c.xml 0.0 / 0.0 s 1.3 / 0.7 s
TRS_Contextsensitive/CSR_04/Ex6_GM04.xml 0.0 / 0.0 s 1.1 / 0.6 s
TRS_Contextsensitive/CSR_04/Ex6_Luc98.xml 0.0 / 0.0 s 1.1 / 0.6 s
TRS_Contextsensitive/CSR_04/Ex7_BLR02.xml 0.0 / 0.0 s 1.5 / 0.7 s
TRS_Contextsensitive/CSR_04/Ex8_BLR02.xml 0.0 / 0.0 s 1.6 / 0.8 s
TRS_Contextsensitive/CSR_04/Ex9_BLR02.xml 0.0 / 0.0 s 1.8 / 0.8 s
TRS_Contextsensitive/CSR_04/Ex9_Luc04.xml 0.0 / 0.1 s 1.3 / 0.8 s
TRS_Contextsensitive/CSR_04/Ex9_Luc06.xml 0.1 / 0.1 s 1.7 / 1.0 s
TRS_Contextsensitive/CSR_04/ExAppendixB_AEL03.xml 0.0 / 0.0 s 2.1 / 0.9 s
TRS_Contextsensitive/CSR_04/ExConc_Zan97.xml 0.0 / 0.0 s 1.0 / 0.6 s
TRS_Contextsensitive/CSR_04/ExIntrod_GM01.xml 0.0 / 0.0 s 2.2 / 1.0 s
TRS_Contextsensitive/CSR_04/ExIntrod_GM04.xml 0.0 / 0.0 s 1.9 / 0.8 s
TRS_Contextsensitive/CSR_04/ExIntrod_GM99.xml 0.0 / 0.0 s 2.2 / 1.0 s
TRS_Contextsensitive/CSR_04/ExIntrod_Zan97.xml 5.1 / 5.1 s 482.1 / 300.0 s
TRS_Contextsensitive/CSR_04/ExProp7_Luc06.xml 0.0 / 0.0 s 1.3 / 0.7 s
TRS_Contextsensitive/CSR_04/ExSec11_1_Luc02a.xml 0.0 / 0.0 s 1.7 / 0.8 s
TRS_Contextsensitive/CSR_04/ExSec4_2_DLMMU04.xml 0.0 / 0.0 s 1.7 / 0.8 s
ensitive/Maude_06/LISTUTILITIES_complete-noand.xml 8.7 / 8.7 s 20.4 / 5.7 s
ntextsensitive/Maude_06/LISTUTILITIES_complete.xml 298.0 / 300.0 s 486.2 / 300.0 s
sensitive/Maude_06/LISTUTILITIES_nokinds-noand.xml 0.8 / 0.8 s 7.9 / 2.4 s
ontextsensitive/Maude_06/LISTUTILITIES_nokinds.xml 298.0 / 300.0 s 657.8 / 300.1 s
sensitive/Maude_06/LISTUTILITIES_nosorts-noand.xml 0.0 / 0.0 s 2.6 / 1.0 s
ontextsensitive/Maude_06/LISTUTILITIES_nosorts.xml 0.0 / 0.0 s 1.7 / 0.8 s
ve/Maude_06/LengthOfFiniteLists_complete-noand.xml 0.4 / 0.4 s 13.3 / 4.0 s
ensitive/Maude_06/LengthOfFiniteLists_complete.xml 25.0 / 25.2 s 156.1 / 53.2 s
ive/Maude_06/LengthOfFiniteLists_nokinds-noand.xml 0.1 / 0.1 s 5.1 / 1.9 s
sensitive/Maude_06/LengthOfFiniteLists_nokinds.xml 3.4 / 3.5 s 4.2 / 1.5 s
ive/Maude_06/LengthOfFiniteLists_nosorts-noand.xml 0.4 / 0.5 s 1.4 / 0.7 s
sensitive/Maude_06/LengthOfFiniteLists_nosorts.xml 0.1 / 0.2 s 1.2 / 0.7 s
tive/Maude_06/MYNAT_complete-noand-peanoSimple.xml 0.1 / 0.1 s 5.1 / 1.8 s
Contextsensitive/Maude_06/MYNAT_complete-noand.xml 0.4 / 0.4 s 5.9 / 1.9 s
tsensitive/Maude_06/MYNAT_complete-peanoSimple.xml 0.2 / 0.2 s 3.9 / 1.5 s
TRS_Contextsensitive/Maude_06/MYNAT_complete.xml 13.1 / 13.5 s 16.3 / 4.7 s
itive/Maude_06/MYNAT_nokinds-noand-peanoSimple.xml 0.0 / 0.0 s 2.2 / 1.0 s
_Contextsensitive/Maude_06/MYNAT_nokinds-noand.xml 0.0 / 0.0 s 2.3 / 1.0 s
xtsensitive/Maude_06/MYNAT_nokinds-peanoSimple.xml 0.0 / 0.0 s 2.2 / 1.0 s
TRS_Contextsensitive/Maude_06/MYNAT_nokinds.xml 1.3 / 1.3 s 5.2 / 1.7 s
itive/Maude_06/MYNAT_nosorts-noand-peanoSimple.xml 0.0 / 0.0 s 1.4 / 0.7 s
_Contextsensitive/Maude_06/MYNAT_nosorts-noand.xml 0.0 / 0.0 s 1.5 / 0.7 s
xtsensitive/Maude_06/MYNAT_nosorts-peanoSimple.xml 0.0 / 0.0 s 1.1 / 0.6 s
TRS_Contextsensitive/Maude_06/MYNAT_nosorts.xml 0.0 / 0.0 s 1.2 / 0.7 s
textsensitive/Maude_06/OvConsOS_complete-noand.xml 1.2 / 1.2 s 15.2 / 4.3 s
RS_Contextsensitive/Maude_06/OvConsOS_complete.xml 300.2 / 300.0 s 667.1 / 300.0 s
ntextsensitive/Maude_06/OvConsOS_nokinds-noand.xml 0.2 / 0.2 s 6.2 / 2.0 s
TRS_Contextsensitive/Maude_06/OvConsOS_nokinds.xml 295.4 / 300.0 s 622.7 / 300.0 s
ntextsensitive/Maude_06/OvConsOS_nosorts-noand.xml 0.9 / 1.0 s 1.9 / 0.8 s
TRS_Contextsensitive/Maude_06/OvConsOS_nosorts.xml 0.2 / 0.2 s 1.6 / 0.8 s
xtsensitive/Maude_06/PALINDROME_complete-noand.xml 0.4 / 0.4 s 8.5 / 2.8 s
_Contextsensitive/Maude_06/PALINDROME_complete.xml 0.3 / 0.3 s 7.4 / 2.4 s
extsensitive/Maude_06/PALINDROME_nokinds-noand.xml 0.0 / 0.0 s 2.5 / 1.0 s
S_Contextsensitive/Maude_06/PALINDROME_nokinds.xml 0.0 / 0.1 s 2.0 / 0.9 s
extsensitive/Maude_06/PALINDROME_nosorts-noand.xml 0.0 / 0.0 s 1.2 / 0.6 s
S_Contextsensitive/Maude_06/PALINDROME_nosorts.xml 0.0 / 0.0 s 1.2 / 0.6 s
TRS_Contextsensitive/Maude_06/csrdiv.xml 0.1 / 0.1 s 15.9 / 4.7 s
TRS_Contextsensitive/Maude_06/emmes.xml 1.3 / 1.3 s 475.6 / 300.1 s
sensitive/Transformed_outermost_08/cariboo_ex1.xml 0.0 / 0.0 s 1.5 / 0.7 s
sensitive/Transformed_outermost_08/cariboo_ex2.xml 0.6 / 0.7 s 3.1 / 1.2 s
sensitive/Transformed_outermost_08/cariboo_ex3.xml 0.0 / 0.1 s 1.8 / 0.8 s
sensitive/Transformed_outermost_08/cariboo_ex4.xml 0.0 / 0.0 s 1.2 / 0.7 s
sensitive/Transformed_outermost_08/cariboo_ex5.xml 0.0 / 0.0 s 1.2 / 0.6 s
sensitive/Transformed_outermost_08/cariboo_ex6.xml 0.0 / 0.0 s 1.6 / 0.8 s
ontextsensitive/Transformed_outermost_08/ex5.3.xml 0.0 / 0.0 s 1.2 / 0.6 s
ontextsensitive/Transformed_outermost_08/ex5.4.xml 0.5 / 0.5 s 1.9 / 0.9 s
ontextsensitive/Transformed_outermost_08/ex5.5.xml 0.1 / 0.1 s 1.6 / 0.8 s
ontextsensitive/Transformed_outermost_08/ex5.6.xml 0.0 / 0.0 s 1.6 / 0.8 s
ontextsensitive/Transformed_outermost_08/ex5.7.xml 0.0 / 0.0 s 1.6 / 0.8 s
ontextsensitive/Transformed_outermost_08/ex5.8.xml 0.0 / 0.0 s 1.5 / 0.7 s
_Contextsensitive/Transformed_outermost_08/f20.xml 3.0 / 3.1 s 11.6 / 3.6 s
_Contextsensitive/Transformed_outermost_08/f30.xml 0.1 / 0.1 s 10.3 / 3.3 s
S_Contextsensitive/Transformed_outermost_08/f4.xml 0.1 / 0.1 s 1.9 / 0.8 s
_Contextsensitive/Transformed_outermost_08/f40.xml 0.2 / 0.2 s 11.5 / 4.0 s
ontextsensitive/Transformed_outermost_08/morse.xml 1.2 / 1.3 s 11.5 / 3.5 s