Overview of job-results

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

Statistics

152 pairs, 3067.0 / 3466.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 74486
Solver AProVE 2015 muterm 5.17
Scores 67 63
TRS_Equational/AProVE_AC_04/AC01.xml YES 2.4 / 4.5 YES 0.1 / 0.1
TRS_Equational/AProVE_AC_04/AC02.xml YES 2.2 / 1.5 YES 0.1 / 0.2
TRS_Equational/AProVE_AC_04/AC03.xml YES 2.2 / 1.6 YES 0.8 / 1.0
TRS_Equational/AProVE_AC_04/AC04.xml YES 5.6 / 3.0 YES 0.8 / 0.9
TRS_Equational/AProVE_AC_04/AC05.xml YES 5.9 / 3.1 YES 1.0 / 18.4
TRS_Equational/AProVE_AC_04/AC06.xml YES 2.3 / 2.4 YES 2.4 / 2.7
TRS_Equational/AProVE_AC_04/AC07.xml YES 5.2 / 4.7 YES 0.6 / 5.8
TRS_Equational/AProVE_AC_04/AC09.xml YES 2.2 / 1.5 YES 5.4 / 6.1
TRS_Equational/AProVE_AC_04/AC10.xml YES 2.2 / 1.5 YES 3.2 / 3.6
TRS_Equational/AProVE_AC_04/AC11.xml YES 2.7 / 1.7 YES 0.1 / 0.1
TRS_Equational/AProVE_AC_04/AC12.xml YES 2.3 / 1.6 YES 0.1 / 0.1
TRS_Equational/AProVE_AC_04/AC13.xml YES 2.2 / 1.5 YES 6.4 / 39.2
TRS_Equational/AProVE_AC_04/AC14.xml YES 2.3 / 1.6 YES 3.0 / 3.5
TRS_Equational/AProVE_AC_04/AC15.xml YES 2.2 / 1.5 YES 0.0 / 0.0
TRS_Equational/AProVE_AC_04/AC16.xml YES 2.5 / 1.6 YES 0.1 / 0.1
TRS_Equational/AProVE_AC_04/AC17.xml YES 6.4 / 3.1 YES 4.6 / 4.8
TRS_Equational/AProVE_AC_04/AC18.xml YES 12.3 / 6.9 YES 6.7 / 27.0
TRS_Equational/AProVE_AC_04/AC19.xml YES 2.3 / 1.6 YES 0.1 / 0.2
TRS_Equational/AProVE_AC_04/AC20.xml YES 5.6 / 3.0 YES 0.8 / 1.5
TRS_Equational/AProVE_AC_04/AC21.xml YES 20.2 / 8.2 YES 7.2 / 7.8
TRS_Equational/AProVE_AC_04/AC22.xml YES 10.5 / 10.9 . 0.0 / 0.0
TRS_Equational/AProVE_AC_04/AC23.xml YES 3.1 / 3.2 YES 13.8 / 40.9
TRS_Equational/AProVE_AC_04/AC24.xml YES 3.0 / 1.9 YES 1.6 / 1.8
TRS_Equational/AProVE_AC_04/AC26.xml YES 2.6 / 4.0 YES 3.5 / 4.1
TRS_Equational/AProVE_AC_04/AC27.xml YES 2.4 / 1.6 YES 14.8 / 15.8
TRS_Equational/AProVE_AC_04/AC28.xml YES 10.5 / 6.5 YES 34.1 / 53.7
TRS_Equational/AProVE_AC_04/AC41.xml YES 4.1 / 5.8 YES 0.2 / 0.3
TRS_Equational/AProVE_AC_04/AC48.xml YES 2.2 / 1.5 YES 0.9 / 1.1
TRS_Equational/AProVE_AC_04/AC49.xml YES 6.6 / 3.1 YES 0.2 / 0.3
TRS_Equational/AProVE_AC_04/AC50.xml YES 6.2 / 8.4 YES 0.3 / 0.4
TRS_Equational/AProVE_AC_04/AC51.xml YES 2.6 / 4.1 YES 0.4 / 0.5
TRS_Equational/AProVE_AC_04/AC52.xml YES 6.3 / 3.1 YES 1.3 / 1.5
TRS_Equational/AProVE_AC_04/AC53.xml YES 3.8 / 2.3 YES 0.1 / 0.1
TRS_Equational/AProVE_AC_04/AC54.xml YES 7.1 / 3.4 YES 0.4 / 0.5
TRS_Equational/AProVE_AC_04/IJCAR_AC1.xml YES 6.3 / 3.3 YES 1.0 / 1.2
TRS_Equational/Mixed_AC/BAG_complete-noand.xml YES 52.3 / 62.3 YES 30.9 / 38.8
TRS_Equational/Mixed_AC/BAG_complete.xml YES 91.6 / 108.0 YES 19.0 / 19.4
TRS_Equational/Mixed_AC/BAG_nokinds-noand.xml YES 18.1 / 23.1 YES 5.8 / 6.1
TRS_Equational/Mixed_AC/BAG_nokinds.xml YES 20.0 / 9.8 YES 3.5 / 3.7
TRS_Equational/Mixed_AC/BAG_nosorts-noand.xml YES 6.1 / 3.0 YES 2.0 / 2.3
TRS_Equational/Mixed_AC/BAG_nosorts.xml YES 4.0 / 2.4 YES 2.1 / 2.5
quational/Mixed_AC/RENAMED-BOOL_complete-noand.xml YES 316.4 / 299.4 . 286.0 / 300.0
TRS_Equational/Mixed_AC/RENAMED-BOOL_complete.xml . 291.3 / 300.0 . 299.8 / 300.0
Equational/Mixed_AC/RENAMED-BOOL_nokinds-noand.xml YES 18.5 / 8.4 YES 16.7 / 17.2
TRS_Equational/Mixed_AC/RENAMED-BOOL_nokinds.xml YES 27.2 / 16.7 YES 24.0 / 54.2
Equational/Mixed_AC/RENAMED-BOOL_nosorts-noand.xml NO 27.4 / 13.3 . 8.9 / 10.4
TRS_Equational/Mixed_AC/RENAMED-BOOL_nosorts.xml NO 16.2 / 19.2 . 99.2 / 122.5
TRS_Equational/Mixed_AC/YWHM14_1.xml YES 2.3 / 1.6 YES 0.0 / 0.0
TRS_Equational/Mixed_AC/YWHM14_2.xml YES 3.4 / 2.1 YES 0.1 / 0.1
TRS_Equational/Mixed_AC/YWHM14_3.xml YES 3.8 / 2.2 YES 0.1 / 0.2
TRS_Equational/Mixed_AC/YWHM14_4.xml YES 3.5 / 4.3 YES 0.3 / 0.3
TRS_Equational/Mixed_AC/YWHM14_5.xml YES 2.5 / 1.6 YES 0.0 / 0.0
TRS_Equational/Mixed_AC/bag-sum-prod-bin.xml YES 3.7 / 2.3 YES 2.1 / 2.4
TRS_Equational/Mixed_AC/bag-sum-prod-distr.xml YES 4.4 / 4.1 YES 15.7 / 50.1
TRS_Equational/Mixed_AC/bag-sum-prod.xml YES 2.4 / 1.6 YES 1.3 / 1.4
TRS_Equational/Mixed_AC/boolean_rings.xml YES 2.5 / 4.1 YES 2.6 / 6.5
TRS_Equational/Mixed_AC/differ.xml YES 2.4 / 1.6 YES 0.3 / 0.3
TRS_Equational/Mixed_AC/intersect.xml YES 2.4 / 1.6 YES 2.7 / 6.3
TRS_Equational/Mixed_AC/kusakari1.xml YES 6.5 / 11.1 YES 0.2 / 0.4
TRS_Equational/Mixed_AC/sequent_modulo.xml YES 31.1 / 19.7 YES 114.8 / 115.0
TRS_Equational/Mixed_AC_and_C/AC08.xml YES 2.3 / 1.6 YES 2.6 / 20.1
TRS_Equational/Mixed_AC_and_C/AC29.xml YES 2.4 / 4.0 YES 0.2 / 0.3
TRS_Equational/Mixed_AC_and_C/AC47.xml YES 7.4 / 3.8 YES 0.4 / 4.4
TRS_Equational/Mixed_AC_and_C/rationals.xml . 54.5 / 41.2 . 158.6 / 300.0
TRS_Equational/Mixed_C/AC42.xml YES 4.4 / 7.4 YES 0.2 / 0.2
TRS_Equational/Mixed_C/AC43.xml YES 4.4 / 7.4 YES 0.2 / 1.4
TRS_Equational/Mixed_C/AC44.xml YES 3.8 / 2.2 YES 0.2 / 2.4
TRS_Equational/Mixed_C/AC45.xml YES 3.7 / 2.3 YES 0.1 / 0.2
TRS_Equational/Mixed_C/AC46.xml YES 7.4 / 5.5 YES 0.7 / 4.1
RS_Equational/Mixed_C/PEANO-NAT_complete-noand.xml . 295.4 / 300.0 . 50.4 / 68.9
TRS_Equational/Mixed_C/PEANO-NAT_complete.xml . 180.4 / 223.7 . 20.5 / 20.9
TRS_Equational/Mixed_C/PEANO-NAT_nokinds-noand.xml . 21.8 / 23.4 . 7.6 / 7.9
TRS_Equational/Mixed_C/PEANO-NAT_nokinds.xml . 18.8 / 20.4 . 4.7 / 17.4
TRS_Equational/Mixed_C/PEANO-NAT_nosorts-noand.xml . 10.2 / 6.3 . 1.5 / 1.7
TRS_Equational/Mixed_C/PEANO-NAT_nosorts.xml . 9.0 / 6.1 . 1.4 / 6.4
TRS_Equational/Mixed_C/maude2.xml . 6.2 / 3.2 . 2.7 / 2.9