Overview of job-results

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

Statistics

142 pairs, 2898.8 / 2661.4 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 Equat 56489
Solver mu-term 5.13 AProVE_JRE2
Scores 59 62
TRS_Equational/AProVE_AC_04/AC01.xml 0.1 / 0.1 s 0.9 / 0.6 s
TRS_Equational/AProVE_AC_04/AC02.xml 0.1 / 0.1 s 0.9 / 0.6 s
TRS_Equational/AProVE_AC_04/AC03.xml 0.7 / 0.9 s 0.9 / 0.6 s
TRS_Equational/AProVE_AC_04/AC04.xml 0.8 / 0.9 s 4.0 / 1.9 s
TRS_Equational/AProVE_AC_04/AC05.xml 0.9 / 1.0 s 4.1 / 1.9 s
TRS_Equational/AProVE_AC_04/AC06.xml 2.4 / 2.7 s 0.9 / 0.6 s
TRS_Equational/AProVE_AC_04/AC07.xml 0.4 / 0.5 s 3.5 / 1.6 s
TRS_Equational/AProVE_AC_04/AC09.xml 5.2 / 5.8 s 0.9 / 0.6 s
TRS_Equational/AProVE_AC_04/AC10.xml 3.0 / 3.4 s 0.9 / 0.6 s
TRS_Equational/AProVE_AC_04/AC11.xml 0.1 / 0.1 s 1.3 / 0.7 s
TRS_Equational/AProVE_AC_04/AC12.xml 0.1 / 0.1 s 0.9 / 0.6 s
TRS_Equational/AProVE_AC_04/AC13.xml 4.9 / 5.4 s 0.9 / 0.6 s
TRS_Equational/AProVE_AC_04/AC14.xml 3.0 / 3.4 s 0.9 / 0.6 s
TRS_Equational/AProVE_AC_04/AC15.xml 0.0 / 0.0 s 0.9 / 0.6 s
TRS_Equational/AProVE_AC_04/AC16.xml 0.1 / 0.1 s 1.1 / 0.7 s
TRS_Equational/AProVE_AC_04/AC17.xml 4.6 / 4.8 s 4.8 / 2.0 s
TRS_Equational/AProVE_AC_04/AC18.xml 5.9 / 6.4 s 10.4 / 5.6 s
TRS_Equational/AProVE_AC_04/AC19.xml 0.1 / 0.2 s 1.0 / 0.6 s
TRS_Equational/AProVE_AC_04/AC20.xml 0.8 / 0.9 s 4.0 / 1.9 s
TRS_Equational/AProVE_AC_04/AC21.xml 6.8 / 7.3 s 17.6 / 6.6 s
TRS_Equational/AProVE_AC_04/AC22.xml 37.4 / 39.1 s 8.4 / 3.8 s
TRS_Equational/AProVE_AC_04/AC23.xml 11.5 / 12.4 s 1.8 / 1.0 s
TRS_Equational/AProVE_AC_04/AC24.xml 1.6 / 1.8 s 1.7 / 1.0 s
TRS_Equational/AProVE_AC_04/AC26.xml 3.2 / 3.6 s 0.9 / 0.6 s
TRS_Equational/AProVE_AC_04/AC27.xml 14.9 / 15.9 s 1.0 / 0.6 s
TRS_Equational/AProVE_AC_04/AC28.xml 35.6 / 35.6 s 8.5 / 5.2 s
TRS_Equational/AProVE_AC_04/AC41.xml 0.2 / 0.2 s 2.2 / 1.3 s
TRS_Equational/AProVE_AC_04/AC48.xml 0.9 / 1.0 s 0.9 / 0.6 s
TRS_Equational/AProVE_AC_04/AC49.xml 0.2 / 0.3 s 4.6 / 2.0 s
TRS_Equational/AProVE_AC_04/AC50.xml 0.3 / 0.4 s 5.2 / 2.4 s
TRS_Equational/AProVE_AC_04/AC51.xml 0.4 / 0.4 s 1.3 / 0.8 s
TRS_Equational/AProVE_AC_04/AC52.xml 1.2 / 1.4 s 4.6 / 2.0 s
TRS_Equational/AProVE_AC_04/AC53.xml 0.1 / 0.1 s 2.5 / 1.3 s
TRS_Equational/AProVE_AC_04/AC54.xml 0.4 / 0.4 s 4.9 / 2.1 s
TRS_Equational/AProVE_AC_04/IJCAR_AC1.xml 1.0 / 1.2 s 4.5 / 2.1 s
TRS_Equational/Mixed_AC/BAG_complete-noand.xml 25.7 / 26.3 s 34.3 / 23.6 s
TRS_Equational/Mixed_AC/BAG_complete.xml 19.0 / 19.4 s 85.8 / 73.4 s
TRS_Equational/Mixed_AC/BAG_nokinds-noand.xml 5.5 / 5.8 s 15.0 / 6.1 s
TRS_Equational/Mixed_AC/BAG_nokinds.xml 3.5 / 3.8 s 14.0 / 5.7 s
TRS_Equational/Mixed_AC/BAG_nosorts-noand.xml 1.9 / 2.1 s 4.6 / 2.0 s
TRS_Equational/Mixed_AC/BAG_nosorts.xml 1.9 / 2.2 s 2.5 / 1.3 s
quational/Mixed_AC/RENAMED-BOOL_complete-noand.xml 299.0 / 300.0 s 249.5 / 232.5 s
TRS_Equational/Mixed_AC/RENAMED-BOOL_complete.xml 299.7 / 300.0 s 313.8 / 300.0 s
Equational/Mixed_AC/RENAMED-BOOL_nokinds-noand.xml 16.7 / 17.3 s 19.1 / 8.2 s
TRS_Equational/Mixed_AC/RENAMED-BOOL_nokinds.xml 17.4 / 17.9 s 22.7 / 13.6 s
Equational/Mixed_AC/RENAMED-BOOL_nosorts-noand.xml 8.1 / 8.7 s 25.1 / 11.7 s
TRS_Equational/Mixed_AC/RENAMED-BOOL_nosorts.xml 96.8 / 109.7 s 13.3 / 5.6 s
TRS_Equational/Mixed_AC/bag-sum-prod-bin.xml 2.2 / 2.4 s 2.3 / 1.3 s
TRS_Equational/Mixed_AC/bag-sum-prod-distr.xml 14.0 / 14.9 s 2.4 / 1.3 s
TRS_Equational/Mixed_AC/bag-sum-prod.xml 1.3 / 1.4 s 1.1 / 0.6 s
TRS_Equational/Mixed_AC/boolean_rings.xml 2.5 / 2.9 s 1.0 / 0.6 s
TRS_Equational/Mixed_AC/differ.xml 0.2 / 0.3 s 1.0 / 0.6 s
TRS_Equational/Mixed_AC/intersect.xml 2.6 / 2.9 s 1.0 / 0.6 s
TRS_Equational/Mixed_AC/kusakari1.xml 0.2 / 0.2 s 4.6 / 2.3 s
TRS_Equational/Mixed_AC/sequent_modulo.xml 113.7 / 113.8 s 27.6 / 15.0 s
TRS_Equational/Mixed_AC_and_C/AC08.xml 2.1 / 2.4 s 1.0 / 0.6 s
TRS_Equational/Mixed_AC_and_C/AC29.xml 0.2 / 0.3 s 1.1 / 0.7 s
TRS_Equational/Mixed_AC_and_C/AC47.xml 0.3 / 0.4 s 5.8 / 2.7 s
TRS_Equational/Mixed_AC_and_C/rationals.xml 186.8 / 198.1 s 52.2 / 35.4 s
TRS_Equational/Mixed_C/AC42.xml 0.2 / 0.2 s 2.4 / 1.2 s
TRS_Equational/Mixed_C/AC43.xml 0.1 / 0.2 s 2.5 / 1.3 s
TRS_Equational/Mixed_C/AC44.xml 0.2 / 0.2 s 2.6 / 1.4 s
TRS_Equational/Mixed_C/AC45.xml 0.1 / 0.2 s 2.3 / 1.3 s
TRS_Equational/Mixed_C/AC46.xml 0.6 / 0.7 s 5.4 / 2.3 s
RS_Equational/Mixed_C/PEANO-NAT_complete-noand.xml 48.0 / 48.5 s 318.8 / 300.0 s
TRS_Equational/Mixed_C/PEANO-NAT_complete.xml 20.3 / 20.7 s 138.0 / 123.2 s
TRS_Equational/Mixed_C/PEANO-NAT_nokinds-noand.xml 7.5 / 7.8 s 17.7 / 8.8 s
TRS_Equational/Mixed_C/PEANO-NAT_nokinds.xml 3.9 / 4.1 s 16.8 / 8.2 s
TRS_Equational/Mixed_C/PEANO-NAT_nosorts-noand.xml 1.5 / 1.6 s 8.7 / 5.2 s
TRS_Equational/Mixed_C/PEANO-NAT_nosorts.xml 1.2 / 1.3 s 7.4 / 4.9 s
TRS_Equational/Mixed_C/maude2.xml 2.6 / 2.8 s 4.6 / 2.1 s