μ-Term benchmark

Features

Processor

Intel(R) Core(TM) i5-7300U CPU @ 2.60GHz 2.71GHz

RAM

8.00 GB

Linux 4.4.0-17134-Microsoft

Program Versions

Mace4 (64) version 2009-11A, November 2009.

AGES, version 1.0

Barcelogic 2016

Database

TPDB 10.6

Timeout

60s

Examples

121

Examples	muterm-AGES	muterm-Mace4
TRS_Conditional/COPS/262.xml	0.016	0.027
TRS_Conditional/COPS/263.xml	0.016	0.011
TRS_Conditional/COPS/264.xml	0.022	0.022
TRS_Conditional/COPS/266.xml	60	60
TRS_Conditional/COPS/267.xml	0.02	0.014
TRS_Conditional/COPS/268.xml	0.039	40.031
TRS_Conditional/COPS/271.xml	1.007	0.072
TRS_Conditional/COPS/272.xml	1.041	0.037
TRS_Conditional/COPS/286.xml	0.061	60
TRS_Conditional/COPS/288.xml	0.032	0.027
TRS_Conditional/COPS/289.xml	60	60
TRS_Conditional/COPS/292.xml	1.053	0.044
TRS_Conditional/COPS/293.xml	0.033	20.031
TRS_Conditional/COPS/294.xml	0.02	0.014
TRS_Conditional/COPS/307.xml	0.04	0.03
TRS_Conditional/COPS/308.xml	0.015	0.022
TRS_Conditional/COPS/310.xml	0.045	21.029
TRS_Conditional/COPS/311.xml	60	60
TRS_Conditional/COPS/312.xml	60	60
TRS_Conditional/COPS/315.xml	0.019	0.015
TRS_Conditional/COPS/316.xml	0.043	1.088
TRS_Conditional/COPS/317.xml	0.037	0.013
TRS_Conditional/COPS/319.xml	0.019	0.02
TRS_Conditional/COPS/321.xml	0.092	0.035
TRS_Conditional/COPS/322.xml	1.011	0.023
TRS_Conditional/COPS/323.xml	0.019	0.016
TRS_Conditional/COPS/324.xml	1.003	60
TRS_Conditional/COPS/325.xml	0.022	0.015
TRS_Conditional/COPS/326.xml	0.017	0.028
TRS_Conditional/COPS/329.xml	7.097	60
TRS_Conditional/COPS/330.xml	0.075	60
TRS_Conditional/COPS/332.xml	0.02	0.014
TRS_Conditional/COPS/333.xml	0.064	1.033
TRS_Conditional/COPS/334.xml	0.015	0.018
TRS_Conditional/COPS/337.xml	60	60
TRS_Conditional/COPS/339.xml	0.057	0.057
TRS_Conditional/COPS/340.xml	0.055	0.077
TRS_Conditional/COPS/341.xml	0.06	0.068
TRS_Conditional/COPS/342.xml	60	60
TRS_Conditional/COPS/343.xml	0.06	0.02
TRS_Conditional/COPS/344.xml	0.025	0.025
TRS_Conditional/COPS/351.xml	1.031	0.049
TRS_Conditional/COPS/353.xml	3.056	60
TRS_Conditional/COPS/354.xml	0.03	0.033
TRS_Conditional/COPS/355.xml	0.087	20.069
TRS_Conditional/COPS/356.xml	0.076	0.05
TRS_Conditional/COPS/358.xml	0.075	0.075
TRS_Conditional/COPS/359.xml	0.076	0.058
TRS_Conditional/COPS/361.xml	4.07	60
TRS_Conditional/COPS/364.xml	0.038	0.077
TRS_Conditional/COPS/365.xml	0.045	0.083
TRS_Conditional/COPS/366.xml	0.088	0.079
TRS_Conditional/COPS/367.xml	0.036	0.041
TRS_Conditional/COPS/368.xml	0.06	1.02
TRS_Conditional/COPS/369.xml	0.049	0.056
TRS_Conditional/COPS/370.xml	0.045	1.001
TRS_Conditional/COPS/371.xml	1.004	1.014
TRS_Conditional/COPS/372.xml	0.028	0.058
TRS_Conditional/COPS/373.xml	0.04	0.047
TRS_Conditional/COPS/374.xml	0.041	0.073
TRS_Conditional/COPS/375.xml	0.033	0.029
TRS_Conditional/COPS/376.xml	1.029	1.001
TRS_Conditional/COPS/377.xml	0.099	1.051
TRS_Conditional/COPS/378.xml	17.011	60
TRS_Conditional/COPS/379.xml	1.01	60
TRS_Conditional/COPS/380.xml	0.052	1.013
TRS_Conditional/COPS/381.xml	1.099	0.098
TRS_Conditional/COPS/382.xml	1.021	1.075
TRS_Conditional/COPS/383.xml	0.025	0.047
TRS_Conditional/COPS/384.xml	0.064	1.063
TRS_Conditional/COPS/385.xml	0.042	0.025
TRS_Conditional/COPS/387.xml	0.055	0.029
TRS_Conditional/COPS/388.xml	0.055	0.061
TRS_Conditional/COPS/389.xml	1.026	41.043
TRS_Conditional/COPS/390.xml	0.02	0.023
TRS_Conditional/COPS/391.xml	1.042	2.057
TRS_Conditional/COPS/403.xml	0.027	0.017
TRS_Conditional/COPS/404.xml	0.024	0.023
TRS_Conditional/COPS/405.xml	60	60
TRS_Conditional/COPS/406.xml	3.016	3.053
TRS_Conditional/COPS/407.xml	1.09	60
TRS_Conditional/COPS/408.xml	3.079	1.098
TRS_Conditional/COPS/409.xml	5.059	60
TRS_Conditional/COPS/410.xml	4.074	2.061
TRS_Conditional/COPS/411.xml	2.072	60
TRS_Conditional/Mixed_CTRS/AAECC-ring-cond.xml	60	60
TRS_Conditional/Mixed_CTRS/AAECCcond.xml	60	60
TRS_Conditional/Mixed_CTRS/fib.xml	6.019	60
TRS_Conditional/Mixed_CTRS/gcd.xml	7.085	60
TRS_Conditional/Mixed_CTRS/quick.xml	60	60
TRS_Conditional/Mixed_CTRS/quicksort.xml	11.078	2.049
TRS_Conditional/Mixed_CTRS/quotrem.xml	2.06	60
TRS_Conditional/Mixed_CTRS_2014/ex1-lucmes-wrla14.xml	60	60
TRS_Conditional/Mixed_CTRS_2014/ex1-muterm14.xml	0.056	0.02
TRS_Conditional/Mixed_CTRS_2014/ex2-lucmes-wrla14.xml	4.065	60
TRS_Conditional/Mixed_CTRS_2014/ex2-muterm14.xml	0.075	0.062
TRS_Conditional/Mixed_CTRS_2014/ex3-muterm14.xml	3.062	60
TRS_Conditional/Mixed_CTRS_2014/hosc08-ex5-aecc-p46.xml	5.071	1.067
TRS_Conditional/Mixed_CTRS_2014/jlap09-ex16.xml	3.053	0.076
TRS_Conditional/Mixed_CTRS_2014/jlap09-ex17.xml	9.09	60
TRS_Conditional/Mixed_CTRS_2014/logic.xml	60	60
TRS_Conditional/Mixed_CTRS_2014/lucMarMes.xml	0.049	20.046
TRS_Conditional/Mixed_CTRS_2014/mar.xml	60	60
TRS_Conditional/Mixed_CTRS_2014/mar_simple1.xml	60	60
TRS_Conditional/Mixed_CTRS_2014/mar_simple2.xml	60	60
TRS_Conditional/Mixed_CTRS_2014/minus1.xml	0.022	0.019
TRS_Conditional/Mixed_CTRS_2014/ohl.xml	3.041	5.023
TRS_Conditional/Mixed_CTRS_2014/ohl190.xml	0.051	0.026
TRS_Conditional/Mixed_CTRS_2014/ohl194.xml	53.073	0.058
TRS_Conditional/Mixed_CTRS_2014/ohl196.xml	0.027	0.023
TRS_Conditional/Mixed_CTRS_2014/ohl206.xml	0.05	0.07
TRS_Conditional/Mixed_CTRS_2014/ohl211.xml	3.013	0.084
TRS_Conditional/Mixed_CTRS_2014/ohl216.xml	0.022	0.023
TRS_Conditional/Mixed_CTRS_2014/ohl228.xml	1.041	60
TRS_Conditional/Mixed_CTRS_2014/ohl230.xml	7.03	60
TRS_Conditional/Mixed_CTRS_2014/plus1.xml	0.033	0.05
TRS_Conditional/Mixed_CTRS_2014/sche128.xml	2.01	0.079
TRS_Conditional/Mixed_CTRS_2018/luc_jcss18b.xml	60	60
TRS_Conditional/Mixed_CTRS_2018/luc_jcss18c.xml	60	60
TRS_Conditional/Mixed_CTRS_2018/luc_jcss18d.xml	60	60
TRS_Conditional/Mixed_CTRS_2018/luc_jcss19a.xml	44.036	0.052
	muterm-AGES	muterm-Mace4
Time	229.581	191.553
#TO	18	37
#YES	85	79
#MAYBE	1	0
#NO	17	5