Overview of job-results

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

Statistics

152 pairs, 927.4 / 542.9 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 certi 90651
Solver AProVE standard f065806 NaTT 1.6
Scores 62 13
TRS_Equational/AProVE_AC_04/AC01.xml YES 3.0 / 1.5 YES 0.0 / 0.2
TRS_Equational/AProVE_AC_04/AC02.xml YES 3.3 / 1.9 YES 0.0 / 0.0
TRS_Equational/AProVE_AC_04/AC03.xml YES 6.1 / 2.5 . 0.0 / 0.0
TRS_Equational/AProVE_AC_04/AC04.xml YES 6.8 / 3.0 . 0.0 / 0.0
TRS_Equational/AProVE_AC_04/AC05.xml YES 6.9 / 4.1 . 0.0 / 0.1
TRS_Equational/AProVE_AC_04/AC06.xml YES 4.0 / 1.9 . 0.0 / 0.0
TRS_Equational/AProVE_AC_04/AC07.xml YES 5.3 / 2.6 REJECTED-YES 0.0 / 0.1
TRS_Equational/AProVE_AC_04/AC09.xml YES 3.8 / 6.1 . 0.0 / 0.0
TRS_Equational/AProVE_AC_04/AC10.xml YES 3.4 / 1.6 . 0.0 / 0.0
TRS_Equational/AProVE_AC_04/AC11.xml YES 8.4 / 3.9 YES 0.0 / 0.0
TRS_Equational/AProVE_AC_04/AC12.xml YES 3.6 / 2.0 YES 0.0 / 0.1
TRS_Equational/AProVE_AC_04/AC13.xml YES 3.5 / 1.7 . 0.0 / 0.0
TRS_Equational/AProVE_AC_04/AC14.xml YES 3.0 / 1.6 . 0.0 / 0.0
TRS_Equational/AProVE_AC_04/AC15.xml YES 3.6 / 1.7 YES 0.0 / 0.0
TRS_Equational/AProVE_AC_04/AC16.xml YES 5.4 / 8.3 REJECTED-YES 0.0 / 0.1
TRS_Equational/AProVE_AC_04/AC17.xml YES 5.9 / 2.3 . 0.0 / 0.0
TRS_Equational/AProVE_AC_04/AC18.xml YES 12.8 / 6.7 . 0.0 / 0.1
TRS_Equational/AProVE_AC_04/AC19.xml YES 6.0 / 5.8 YES 0.0 / 0.0
TRS_Equational/AProVE_AC_04/AC20.xml YES 7.4 / 3.2 . 0.0 / 0.0
TRS_Equational/AProVE_AC_04/AC21.xml YES 21.9 / 10.2 . 0.1 / 0.1
TRS_Equational/AProVE_AC_04/AC22.xml YES 10.9 / 4.1 . 0.0 / 0.1
TRS_Equational/AProVE_AC_04/AC23.xml YES 3.4 / 1.7 . 0.0 / 0.0
TRS_Equational/AProVE_AC_04/AC24.xml YES 3.2 / 1.7 . 0.0 / 0.0
TRS_Equational/AProVE_AC_04/AC26.xml YES 3.7 / 1.7 . 0.0 / 0.1
TRS_Equational/AProVE_AC_04/AC27.xml YES 6.6 / 2.5 . 0.0 / 0.1
TRS_Equational/AProVE_AC_04/AC28.xml YES 14.0 / 5.3 REJECTED-YES 0.0 / 0.0
TRS_Equational/AProVE_AC_04/AC41.xml YES 5.1 / 4.4 REJECTED-YES 0.0 / 0.0
TRS_Equational/AProVE_AC_04/AC48.xml YES 3.2 / 1.7 . 0.0 / 0.0
TRS_Equational/AProVE_AC_04/AC49.xml YES 9.0 / 3.2 REJECTED-YES 0.0 / 0.0
TRS_Equational/AProVE_AC_04/AC50.xml YES 8.4 / 2.8 REJECTED-YES 0.0 / 0.0
TRS_Equational/AProVE_AC_04/AC51.xml YES 3.6 / 2.4 YES 0.0 / 0.0
TRS_Equational/AProVE_AC_04/AC52.xml YES 5.7 / 3.0 . 0.0 / 0.0
TRS_Equational/AProVE_AC_04/AC53.xml YES 4.7 / 2.0 REJECTED-YES 0.0 / 0.0
TRS_Equational/AProVE_AC_04/AC54.xml YES 10.1 / 4.2 REJECTED-YES 0.0 / 0.1
TRS_Equational/AProVE_AC_04/IJCAR_AC1.xml YES 7.4 / 4.0 . 0.0 / 0.0
TRS_Equational/Mixed_AC/BAG_complete-noand.xml . 50.4 / 29.7 . 10.1 / 10.2
TRS_Equational/Mixed_AC/BAG_complete.xml . 44.9 / 29.5 . 0.1 / 0.5
TRS_Equational/Mixed_AC/BAG_nokinds-noand.xml YES 19.2 / 6.4 . 0.2 / 0.6
TRS_Equational/Mixed_AC/BAG_nokinds.xml YES 24.9 / 8.1 . 0.1 / 0.2
TRS_Equational/Mixed_AC/BAG_nosorts-noand.xml YES 6.2 / 2.4 . 0.1 / 0.1
TRS_Equational/Mixed_AC/BAG_nosorts.xml YES 4.3 / 1.9 . 0.0 / 0.1
quational/Mixed_AC/RENAMED-BOOL_complete-noand.xml . 46.3 / 29.6 . 16.8 / 16.9
TRS_Equational/Mixed_AC/RENAMED-BOOL_complete.xml . 46.4 / 29.5 . 0.1 / 0.4
Equational/Mixed_AC/RENAMED-BOOL_nokinds-noand.xml YES 22.2 / 11.9 . 0.1 / 0.3
TRS_Equational/Mixed_AC/RENAMED-BOOL_nokinds.xml YES 30.0 / 17.8 . 0.1 / 0.2
Equational/Mixed_AC/RENAMED-BOOL_nosorts-noand.xml . 10.3 / 3.6 . 0.1 / 0.1
TRS_Equational/Mixed_AC/RENAMED-BOOL_nosorts.xml . 7.7 / 4.3 . 0.0 / 0.2
TRS_Equational/Mixed_AC/YWHM14_1.xml YES 3.8 / 2.0 YES 0.0 / 0.0
TRS_Equational/Mixed_AC/YWHM14_2.xml YES 4.3 / 2.1 REJECTED-YES 0.0 / 0.1
TRS_Equational/Mixed_AC/YWHM14_3.xml YES 4.1 / 1.9 REJECTED-YES 0.0 / 0.0
TRS_Equational/Mixed_AC/YWHM14_4.xml YES 4.9 / 2.4 YES 0.0 / 0.1
TRS_Equational/Mixed_AC/YWHM14_5.xml YES 3.0 / 1.7 YES 0.0 / 0.0
TRS_Equational/Mixed_AC/bag-sum-prod-bin.xml YES 4.0 / 1.9 . 0.0 / 0.1
TRS_Equational/Mixed_AC/bag-sum-prod-distr.xml YES 4.2 / 1.9 . 0.0 / 0.0
TRS_Equational/Mixed_AC/bag-sum-prod.xml YES 3.9 / 1.8 . 0.0 / 0.1
TRS_Equational/Mixed_AC/boolean_rings.xml YES 3.4 / 1.8 . 0.0 / 0.1
TRS_Equational/Mixed_AC/differ.xml YES 12.9 / 5.3 YES 0.0 / 0.0
TRS_Equational/Mixed_AC/intersect.xml YES 3.7 / 2.0 . 0.0 / 0.0
TRS_Equational/Mixed_AC/kusakari1.xml YES 6.2 / 2.8 YES 0.0 / 0.0
TRS_Equational/Mixed_AC/sequent_modulo.xml YES 26.0 / 14.8 . 0.1 / 0.3
TRS_Equational/Mixed_AC_and_C/AC08.xml YES 8.7 / 5.6 . 0.0 / 0.0
TRS_Equational/Mixed_AC_and_C/AC29.xml YES 4.1 / 2.7 YES 0.0 / 0.0
TRS_Equational/Mixed_AC_and_C/AC47.xml YES 7.9 / 3.0 REJECTED-YES 0.0 / 0.1
TRS_Equational/Mixed_AC_and_C/rationals.xml . 40.0 / 26.5 . 0.1 / 0.2
TRS_Equational/Mixed_C/AC42.xml YES 4.3 / 2.7 REJECTED-YES 0.0 / 0.0
TRS_Equational/Mixed_C/AC43.xml YES 4.7 / 2.0 REJECTED-YES 0.0 / 0.0
TRS_Equational/Mixed_C/AC44.xml YES 4.8 / 2.3 REJECTED-YES 0.0 / 0.0
TRS_Equational/Mixed_C/AC45.xml YES 4.6 / 3.9 REJECTED-YES 0.0 / 0.0
TRS_Equational/Mixed_C/AC46.xml YES 7.4 / 4.2 REJECTED-YES 0.1 / 0.1
RS_Equational/Mixed_C/PEANO-NAT_complete-noand.xml . 58.5 / 29.6 . 7.6 / 7.7
TRS_Equational/Mixed_C/PEANO-NAT_complete.xml . 50.3 / 29.8 . 0.7 / 0.8
TRS_Equational/Mixed_C/PEANO-NAT_nokinds-noand.xml . 20.2 / 21.6 . 0.6 / 0.8
TRS_Equational/Mixed_C/PEANO-NAT_nokinds.xml . 21.3 / 14.7 . 0.1 / 0.4
TRS_Equational/Mixed_C/PEANO-NAT_nosorts-noand.xml . 12.5 / 7.8 . 0.1 / 0.2
TRS_Equational/Mixed_C/PEANO-NAT_nosorts.xml . 12.8 / 5.7 . 0.1 / 0.1
TRS_Equational/Mixed_C/maude2.xml . 6.3 / 3.2 . 0.1 / 0.1