0
1
A95_bincoeff
0.040
0.169
A95_finite_comm_monoid
0.095
2.265
A95_homomorphism
0.026
0.203
A95_integers
0.042
0.572
A95_listaddition
0.076
0.643
A95_listaddition2
0.053
1.087
A95_naturals
0.043
1.124
A95_proplogic
0.012
0.172
A95_proplogic2
0.020
0.224
AC01
0.017
0.085
AC02
0.018
0.084
AC03
0.037
0.233
AC04
0.047
0.284
AC05
0.015
0.350
AC06
0.059
0.534
AC07
0.016
0.700
AC08
0.058
0.396
AC09
0.047
0.318
AC10
0.034
0.290
AC11
0.120
2.632
AC12
0.113
1.062
AC13
0.039
0.310
AC14
0.034
0.283
AC15
0.040
0.413
AC16
0.074
0.341
AC17
0.082
1.283
AC18
0.228
2.956
AC19
0.181
3.735
AC20
0.052
0.289
AC21
0.503
2.691
AC22
0.277
5.420
AC23
0.156
2.963
AC24
0.081
1.327
AC26
0.066
0.539
AC27
0.081
0.694
AC28
0.011
0.638
AC29
0.154
0.750
AC41
0.050
1.129
AC47
0.149
2.260
AC48
0.028
0.230
AC49
0.011
2.735
AC50
0.013
5.191
AC51
0.047
0.228
AC52
0.045
0.326
AC53
0.010
0.228
AC54
0.017
5.556
BAG_complete-noand
⊥
53.127
BAG_complete
1.858
10.837
BAG_nokinds-noand
0.949
5.423
BAG_nokinds
0.526
3.409
BAG_nosorts-noand
0.310
1.737
BAG_nosorts
0.200
4.843
DP93_d2
0.060
0.679
DP93_d3
0.093
1.093
GK01_eqtheory_add
0.047
0.663
ICS
0.013
0.046
IJCAR_AC1
0.081
0.378
K00_Ex4-2-30
0.040
0.112
K00_Ex5-4-2
0.023
0.106
K00_max
0.012
0.489
LS94_G0
0.024
0.085
LS94_G2
0.493
0.957
MU98_binarith1
0.071
0.965
MU98_binarith2
0.079
1.343
MU98_multisets
0.057
0.390
MU98_ternary_addition
0.163
1.778
MU98_ternary_arith
0.157
2.706
abelian_groups
0.013
0.053
abelian_groups_action
0.021
0.144
abelian_groups_action_complete
0.067
0.500
abelian_groups_comm_action
0.188
0.779
abelian_groups_homomorphism
0.023
0.222
ackbo_vs_kv1
0.048
0.664
ackbo_vs_kv2
0.120
2.069
anf
0.041
0.240
arithmetic
0.035
0.291
arithmetic_exp
0.059
0.520
assoc_comm_ring_unit
0.026
0.194
assoc_ring_unit
0.040
0.152
bag-sum-prod-bin
0.117
3.085
bag-sum-prod-distr
0.128
1.051
bag-sum-prod
0.089
2.651
bimodule
0.104
0.651
bimodule_comm_ring
0.095
0.794
bool_ring
0.026
0.223
boolean_rings
0.049
0.408
comm_assoc_ring_homomorphism
0.063
0.269
comm_monoid
0.010
0.038
differ
0.295
0.598
distr_lattice
0.029
0.171
example10
0.031
0.101
example_kv
0.126
1.088
field
0.042
0.153
finite_group
0.098
0.256
height
0.049
0.355
intersect
0.078
0.409
inverse_property
0.010
0.047
kusakari1
0.053
0.216
kv_vs_ackbo1
0.111
0.625
kv_vs_ackbo2
0.167
1.926
lattice
0.010
0.135
lie_ring
0.068
0.282
max
0.011
0.460
max2
0.011
0.400
module
0.073
0.406
module_comm_ring
0.065
0.534
multisets
0.058
0.381
multisets_binary
0.056
0.423
my_addition
0.010
2.129
nondeterministic_machines
0.067
0.258
popplestone_robot
0.133
0.412
rationals
1.442
7.074
ring
0.031
0.125
ring_unit
0.033
0.129
ring_unit_chomo
0.053
0.327
ring_unit_homo
0.043
0.204
semilattice
0.010
0.031
semiring
0.028
0.265
semiring_unit_chomo
0.057
0.314
semiring_unit_homo1
0.039
0.208
semiring_unit_homo5
0.070
0.411
sequent_modulo
1.485
5.882
strange_addition
0.010
2.135
sum
0.013
0.408
successes
35
39
total time
15.0
191.384
Legend
0
./ttt2 -t -s 'ackbo -direct -ib 3 -ob 4 -sc'
1
./ttt2 -t -s 'dp; (ackbo -af -ib 3 -ob 4 -sc)*'