Overview of job-results

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

Statistics

228 pairs, 1509.3 / 1110.0 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 Equat 56146
Solver AProVE standard f065806 muterm 5.18 NaTT 1.6
Scores 64 61 48
TRS_Equational/AProVE_AC_04/AC01.xml YES 3.6 / 5.3 YES 0.2 / 0.2 YES 0.0 / 0.0
TRS_Equational/AProVE_AC_04/AC02.xml YES 2.9 / 1.5 YES 0.2 / 2.0 YES 0.0 / 0.0
TRS_Equational/AProVE_AC_04/AC03.xml YES 3.0 / 1.4 YES 1.2 / 1.5 YES 0.0 / 0.2
TRS_Equational/AProVE_AC_04/AC04.xml YES 7.9 / 3.6 YES 1.0 / 1.2 YES 0.0 / 0.1
TRS_Equational/AProVE_AC_04/AC05.xml YES 6.4 / 2.6 YES 1.3 / 1.4 YES 0.0 / 0.1
TRS_Equational/AProVE_AC_04/AC06.xml YES 3.2 / 2.2 YES 2.9 / 3.4 YES 0.0 / 0.1
TRS_Equational/AProVE_AC_04/AC07.xml YES 5.5 / 2.3 YES 0.6 / 0.7 YES 0.0 / 0.1
TRS_Equational/AProVE_AC_04/AC09.xml YES 3.0 / 1.4 YES 6.8 / 8.2 YES 0.0 / 0.1
TRS_Equational/AProVE_AC_04/AC10.xml YES 3.0 / 1.4 YES 4.0 / 4.4 YES 0.0 / 0.1
TRS_Equational/AProVE_AC_04/AC11.xml YES 3.8 / 1.6 YES 0.2 / 1.7 YES 0.0 / 0.1
TRS_Equational/AProVE_AC_04/AC12.xml YES 3.2 / 1.5 YES 0.2 / 0.2 YES 0.0 / 0.1
TRS_Equational/AProVE_AC_04/AC13.xml YES 3.1 / 1.5 YES 6.4 / 8.6 YES 0.0 / 0.1
TRS_Equational/AProVE_AC_04/AC14.xml YES 3.5 / 1.8 YES 4.0 / 4.8 YES 0.0 / 0.1
TRS_Equational/AProVE_AC_04/AC15.xml YES 3.1 / 1.6 YES 0.0 / 0.0 YES 0.0 / 0.0
TRS_Equational/AProVE_AC_04/AC16.xml YES 3.7 / 1.6 YES 0.1 / 0.1 YES 0.0 / 0.0
TRS_Equational/AProVE_AC_04/AC17.xml YES 5.7 / 2.3 YES 4.7 / 5.0 . 0.0 / 0.1
TRS_Equational/AProVE_AC_04/AC18.xml YES 14.3 / 7.0 YES 7.3 / 7.8 . 0.1 / 0.1
TRS_Equational/AProVE_AC_04/AC19.xml YES 3.3 / 1.5 YES 0.2 / 0.2 YES 0.0 / 0.0
TRS_Equational/AProVE_AC_04/AC20.xml YES 9.1 / 4.5 YES 1.1 / 1.2 YES 0.0 / 0.1
TRS_Equational/AProVE_AC_04/AC21.xml YES 19.6 / 6.2 YES 8.3 / 10.9 . 0.1 / 0.2
TRS_Equational/AProVE_AC_04/AC22.xml YES 10.1 / 4.2 . 27.2 / 30.1 . 0.1 / 0.2
TRS_Equational/AProVE_AC_04/AC23.xml YES 3.7 / 1.8 YES 13.3 / 20.4 . 0.1 / 0.1
TRS_Equational/AProVE_AC_04/AC24.xml YES 4.0 / 2.1 YES 3.9 / 2.1 . 0.0 / 0.1
TRS_Equational/AProVE_AC_04/AC26.xml YES 3.0 / 1.5 YES 3.9 / 4.4 YES 0.0 / 0.1
TRS_Equational/AProVE_AC_04/AC27.xml YES 3.1 / 1.5 YES 16.9 / 18.4 YES 0.1 / 0.1
TRS_Equational/AProVE_AC_04/AC28.xml YES 15.5 / 6.3 . 30.0 / 30.1 YES 0.0 / 0.0
TRS_Equational/AProVE_AC_04/AC41.xml YES 5.4 / 3.2 YES 0.3 / 0.3 YES 0.0 / 0.0
TRS_Equational/AProVE_AC_04/AC48.xml YES 3.8 / 2.2 YES 1.2 / 1.3 YES 0.0 / 0.1
TRS_Equational/AProVE_AC_04/AC49.xml YES 8.9 / 4.8 YES 0.3 / 0.3 YES 0.0 / 0.1
TRS_Equational/AProVE_AC_04/AC50.xml YES 8.4 / 2.9 YES 0.4 / 0.5 YES 0.0 / 0.1
TRS_Equational/AProVE_AC_04/AC51.xml YES 3.6 / 1.7 YES 0.5 / 0.6 YES 0.0 / 0.0
TRS_Equational/AProVE_AC_04/AC52.xml YES 8.6 / 5.0 YES 1.7 / 2.0 YES 0.3 / 0.3
TRS_Equational/AProVE_AC_04/AC53.xml YES 4.9 / 2.0 YES 0.1 / 0.1 YES 0.0 / 0.0
TRS_Equational/AProVE_AC_04/AC54.xml YES 9.2 / 3.2 YES 0.5 / 0.7 YES 0.0 / 0.1
TRS_Equational/AProVE_AC_04/IJCAR_AC1.xml YES 8.0 / 7.0 YES 1.4 / 1.9 YES 0.0 / 0.2
TRS_Equational/Mixed_AC/BAG_complete-noand.xml . 48.5 / 30.1 YES 26.5 / 27.5 . 6.3 / 6.1
TRS_Equational/Mixed_AC/BAG_complete.xml . 47.2 / 30.1 YES 22.9 / 23.6 . 0.7 / 0.8
TRS_Equational/Mixed_AC/BAG_nokinds-noand.xml YES 22.4 / 8.9 YES 6.1 / 6.5 . 0.6 / 0.6
TRS_Equational/Mixed_AC/BAG_nokinds.xml YES 26.8 / 16.9 YES 4.5 / 4.9 . 0.1 / 0.3
TRS_Equational/Mixed_AC/BAG_nosorts-noand.xml YES 6.7 / 2.6 YES 2.6 / 2.9 . 0.1 / 0.4
TRS_Equational/Mixed_AC/BAG_nosorts.xml YES 4.6 / 2.1 YES 2.5 / 2.8 . 0.1 / 0.1
quational/Mixed_AC/RENAMED-BOOL_complete-noand.xml . 48.5 / 30.1 . 29.2 / 30.1 . 16.1 / 15.9
TRS_Equational/Mixed_AC/RENAMED-BOOL_complete.xml . 43.9 / 30.1 . 29.5 / 30.1 . 0.6 / 0.6
Equational/Mixed_AC/RENAMED-BOOL_nokinds-noand.xml YES 24.9 / 8.5 YES 17.1 / 18.5 . 0.6 / 0.5
TRS_Equational/Mixed_AC/RENAMED-BOOL_nokinds.xml YES 57.4 / 13.4 YES 20.6 / 24.6 . 1.0 / 1.1
Equational/Mixed_AC/RENAMED-BOOL_nosorts-noand.xml NO 32.4 / 16.6 . 11.0 / 12.5 . 0.1 / 0.3
TRS_Equational/Mixed_AC/RENAMED-BOOL_nosorts.xml NO 16.2 / 6.5 . 25.3 / 30.1 NO 0.1 / 0.2
TRS_Equational/Mixed_AC/YWHM14_1.xml YES 3.0 / 1.4 YES 0.1 / 0.1 YES 0.0 / 0.0
TRS_Equational/Mixed_AC/YWHM14_2.xml YES 4.6 / 5.4 YES 0.1 / 0.1 YES 0.0 / 0.1
TRS_Equational/Mixed_AC/YWHM14_3.xml YES 5.2 / 2.5 YES 0.2 / 0.2 YES 0.0 / 0.0
TRS_Equational/Mixed_AC/YWHM14_4.xml YES 4.0 / 1.8 YES 0.4 / 0.4 YES 0.0 / 0.0
TRS_Equational/Mixed_AC/YWHM14_5.xml YES 8.2 / 3.7 YES 0.1 / 0.1 YES 0.0 / 0.1
TRS_Equational/Mixed_AC/bag-sum-prod-bin.xml YES 4.1 / 1.8 YES 2.7 / 3.3 . 0.0 / 0.1
TRS_Equational/Mixed_AC/bag-sum-prod-distr.xml YES 4.8 / 3.0 YES 17.0 / 19.4 . 0.1 / 0.1
TRS_Equational/Mixed_AC/bag-sum-prod.xml YES 3.6 / 1.5 YES 1.5 / 1.7 YES 0.0 / 0.1
TRS_Equational/Mixed_AC/boolean_rings.xml YES 3.2 / 1.6 YES 4.0 / 4.7 YES 0.0 / 0.1
TRS_Equational/Mixed_AC/differ.xml YES 3.4 / 1.5 YES 0.3 / 0.3 YES 0.0 / 0.0
TRS_Equational/Mixed_AC/intersect.xml YES 3.3 / 1.5 YES 3.2 / 3.6 YES 0.1 / 0.1
TRS_Equational/Mixed_AC/kusakari1.xml YES 6.6 / 2.8 YES 0.2 / 0.3 YES 0.0 / 0.0
TRS_Equational/Mixed_AC/sequent_modulo.xml YES 30.5 / 17.9 . 29.0 / 30.1 . 12.0 / 9.1
TRS_Equational/Mixed_AC_and_C/AC08.xml YES 3.3 / 1.6 YES 3.6 / 4.7 YES 0.0 / 0.1
TRS_Equational/Mixed_AC_and_C/AC29.xml YES 3.2 / 1.4 YES 0.4 / 0.5 YES 0.0 / 0.0
TRS_Equational/Mixed_AC_and_C/AC47.xml YES 9.0 / 3.3 YES 0.5 / 0.6 YES 0.0 / 0.1
TRS_Equational/Mixed_AC_and_C/rationals.xml . 47.6 / 30.0 . 28.8 / 30.1 . 0.1 / 0.2
TRS_Equational/Mixed_C/AC42.xml YES 4.9 / 2.0 YES 0.3 / 0.3 YES 0.0 / 0.0
TRS_Equational/Mixed_C/AC43.xml YES 4.5 / 2.0 YES 0.3 / 0.3 YES 0.0 / 0.0
TRS_Equational/Mixed_C/AC44.xml YES 4.7 / 1.9 YES 0.3 / 0.4 YES 0.0 / 0.1
TRS_Equational/Mixed_C/AC45.xml YES 5.0 / 2.1 YES 0.2 / 0.2 YES 0.0 / 0.0
TRS_Equational/Mixed_C/AC46.xml YES 7.0 / 2.8 YES 0.8 / 1.3 YES 0.0 / 0.1
RS_Equational/Mixed_C/PEANO-NAT_complete-noand.xml . 56.0 / 30.1 . 28.7 / 30.1 . 8.2 / 7.9
TRS_Equational/Mixed_C/PEANO-NAT_complete.xml . 48.0 / 30.1 . 20.4 / 20.9 . 1.4 / 1.3
TRS_Equational/Mixed_C/PEANO-NAT_nokinds-noand.xml . 21.7 / 10.6 . 7.9 / 8.8 . 0.7 / 1.1
TRS_Equational/Mixed_C/PEANO-NAT_nokinds.xml . 22.4 / 12.8 . 4.7 / 5.1 . 0.2 / 0.6
TRS_Equational/Mixed_C/PEANO-NAT_nosorts-noand.xml . 12.4 / 5.9 . 1.7 / 2.5 . 0.2 / 0.4
TRS_Equational/Mixed_C/PEANO-NAT_nosorts.xml . 13.5 / 6.8 . 1.5 / 3.2 . 0.1 / 0.2
TRS_Equational/Mixed_C/maude2.xml . 7.2 / 2.8 . 3.1 / 3.4 . 0.1 / 0.2