Knuth-Bendix Completion Visualizer

	KBCV-b-i-u	KBCV-i-u	KBCV-b-u	KBCV-b-i	KBCV-u	KBCV-i	KBCV-b	KBCV
#yes	85	87	85	85	89	90	85	90
total time	1142.6	512.8	498.0	384.5	1163.4	1321.3	321.8	1116.2
average time	13.4	5.9	5.9	4.5	13.1	14.7	3.8	12.4
#no	0	0	0	0	0	0	0	0
total time	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0
average time	-	-	-	-	-	-	-	-
#maybe	30	28	30	30	26	25	30	25
total time	15640.2	13357.4	15638.9	15652.6	12076.9	11422.1	15646.1	11445.4
average time	521.3	477.1	521.3	521.8	464.5	456.9	521.5	457.8
#timeout	0	0	0	0	0	0	0	0
total time	0.0	0.0	0.0	0.0	0.0	0.0	0.0	0.0
average time	-	-	-	-	-	-	-	-
#total	115	115	115	115	115	115	115	115
total time	16782.8	13870.2	16136.9	16037.1	13240.3	12743.4	15967.9	12561.6

	KBCV-b-i-u	KBCV-i-u	KBCV-b-u	KBCV-b-i	KBCV-u	KBCV-i	KBCV-b	KBCV
AD93_Z22.trs	600.8	83.9	600.9	601.2	44.7	41.8	600.8	32.9
ASK93_1.trs	1.6	1.3	1.4	1.3	1.3	1.3	1.4	1.3
ASK93_2.trs	600.9	600.8	600.8	600.8	600.9	601.0	600.8	600.8
ASK93_5.trs	600.9	600.9	601.0	600.8	600.8	600.8	600.8	600.9
ASK93_6.trs	3.6	3.4	3.3	2.5	3.0	2.4	2.6	2.2
BD94_collapse.trs	1.6	1.5	1.9	1.4	1.8	1.7	1.7	1.4
BD94_peano.trs	2.3	2.2	2.1	1.9	1.8	1.7	1.7	1.8
BD94_sqrt.trs	1.4	1.6	1.8	1.4	1.6	1.2	1.4	1.2
BGK94_D08.trs	39.3	9.6	13.1	10.6	7.3	5.4	7.4	5.2
BGK94_D10.trs	34.2	9.4	15.2	11.8	7.2	6.1	9.2	4.7
BGK94_D12.trs	28.7	9.1	15.6	14.2	7.3	7.3	10.1	6.0
BGK94_D16.trs	601.0	30.5	600.6	601.0	25.7	25.6	600.8	23.2
BGK94_M08.trs	3.8	3.6	2.8	3.3	2.7	3.3	2.8	2.5
BGK94_M10.trs	4.1	4.3	3.4	3.3	3.4	3.6	3.3	2.8
BGK94_M12.trs	4.7	4.3	3.8	3.4	3.6	3.3	3.4	3.3
BGK94_M14.trs	5.3	4.7	4.1	3.7	4.1	3.6	3.2	3.4
BGK94_Z22W.trs	601.1	601.2	600.9	601.2	598.7	220.6	600.9	201.6
BH96_fac8_theory.trs	1.7	1.8	1.8	1.9	1.6	1.6	1.5	1.5
Chr89_A2.trs	9.3	4.5	5.2	4.2	3.8	3.2	3.6	3.0
Chr89_A24.trs	601.2	601.0	601.3	600.8	601.2	600.8	601.3	600.9
Chr89_A3.trs	27.4	7.1	8.2	6.3	5.2	4.3	4.6	3.4
HR94_1.trs	601.1	601.0	601.3	601.1	600.9	601.2	600.7	600.9
HR94_2.trs	600.9	600.8	601.0	601.3	600.9	600.8	601.2	601.1
KK99_linear_assoc.trs	1.7	1.4	1.7	1.7	1.4	1.6	1.4	1.3
LS06_CGE4.trs	600.9	600.8	600.8	600.9	600.7	601.2	601.2	600.8
	KBCV-b-i-u	KBCV-i-u	KBCV-b-u	KBCV-b-i	KBCV-u	KBCV-i	KBCV-b	KBCV
LS06_CGE5.trs	600.9	600.9	600.9	601.3	601.0	601.0	601.0	601.0
LS94_G0.trs	6.2	4.5	5.0	3.4	3.7	3.2	3.4	3.0
LS94_G1.trs	601.3	600.9	600.8	601.4	600.8	583.6	601.1	514.5
LS94_G2.trs	601.4	600.9	601.2	600.9	600.9	601.0	600.8	601.2
LS94_G3.trs	600.9	600.9	601.0	601.2	600.9	601.2	601.2	601.0
LS94_P1.trs	300.6	30.2	45.1	36.7	13.7	15.3	23.1	10.4
Les83_fib.trs	2.3	2.3	2.2	2.4	2.3	2.3	1.9	2.0
Les83_subset.trs	3.3	3.4	2.1	2.2	3.4	2.7	2.0	2.4
OKW95_dt1_theory.trs	2.6	2.4	2.0	2.4	2.3	2.4	2.1	2.2
SK90_3.01.trs	4.4	3.4	3.5	3.2	3.4	2.8	3.2	2.7
SK90_3.02.trs	1.7	1.7	1.5	1.8	1.6	1.6	1.8	1.4
SK90_3.03.trs	16.9	6.9	11.0	7.3	6.6	6.0	5.8	4.0
SK90_3.04.trs	129.8	13.5	26.7	17.6	8.3	6.9	13.6	5.4
SK90_3.05.trs	15.2	6.8	9.1	5.4	5.2	4.9	4.7	4.2
SK90_3.06.trs	29.3	14.5	17.0	11.8	12.3	10.7	11.6	9.9
SK90_3.07.trs	24.5	7.2	9.9	7.1	5.3	4.7	5.6	4.0
SK90_3.08.trs	2.6	2.3	2.5	2.0	2.2	1.9	1.8	1.5
SK90_3.09.trs	601.3	600.9	600.9	601.3	168.1	161.1	600.8	90.1
SK90_3.10.trs	2.1	1.9	2.0	2.0	1.8	1.6	1.6	1.7
SK90_3.11.trs	1.5	1.5	1.4	1.4	1.4	1.3	1.2	1.2
SK90_3.12.trs	3.7	6.0	3.7	3.0	6.1	5.8	3.3	5.1
SK90_3.13.trs	2.6	2.1	2.3	1.9	1.9	1.8	1.8	1.7
SK90_3.14.trs	2.1	2.1	2.0	1.8	2.0	1.7	1.6	1.5
SK90_3.15.trs	600.8	600.8	600.8	601.0	601.1	600.8	600.8	600.8
SK90_3.16.trs	1.8	1.7	1.7	1.5	1.6	1.4	1.7	1.6
	KBCV-b-i-u	KBCV-i-u	KBCV-b-u	KBCV-b-i	KBCV-u	KBCV-i	KBCV-b	KBCV
SK90_3.17.trs	2.1	1.8	2.0	1.7	1.8	1.7	1.5	1.4
SK90_3.18.trs	2.1	2.1	2.0	1.9	2.0	2.0	1.8	2.0
SK90_3.19.trs	2.4	2.4	2.2	2.1	2.2	2.0	2.1	2.1
SK90_3.20.trs	2.7	2.6	2.3	2.2	2.0	2.3	1.9	1.7
SK90_3.21.trs	2.5	2.3	2.2	2.0	2.4	1.9	1.8	1.6
SK90_3.22.trs	4.9	4.2	4.5	3.6	4.2	3.4	3.2	3.4
SK90_3.23.trs	600.8	600.8	600.8	600.8	600.8	601.0	600.8	600.8
SK90_3.24.trs	1.4	1.4	1.5	1.3	1.4	1.3	1.4	1.3
SK90_3.25.trs	1.5	1.3	1.4	1.4	1.4	1.5	1.4	1.3
SK90_3.26.trs	28.7	14.4	16.9	12.7	11.6	9.8	10.9	8.4
SK90_3.27.trs	6.0	4.6	4.8	3.7	3.9	3.5	3.3	3.3
SK90_3.28.trs	600.8	601.0	600.8	605.3	601.2	600.8	600.8	600.8
SK90_3.29.trs	2.8	2.9	2.5	2.0	2.3	1.9	1.9	1.9
SK90_3.30.trs	1.4	1.4	1.6	1.4	1.4	1.4	1.4	1.4
SK90_3.31.trs	1.5	1.4	1.5	1.4	1.3	1.2	1.2	1.3
SK90_3.32.trs	1.4	1.3	1.3	1.3	1.3	1.3	1.2	1.2
SK90_3.33.trs	1.5	1.4	1.5	1.4	1.3	1.2	1.4	1.2
Sim91_sims2.trs	600.9	601.0	600.9	601.4	600.9	601.2	600.9	601.0
TPDB_secret2006_torpa_secr10.trs	9.1	4.8	6.8	3.9	4.0	3.4	3.7	2.9
TPDB_secret2006_torpa_secr4.trs	3.5	2.7	3.1	2.6	2.5	2.3	2.7	2.2
TPDB_thiemann27.trs	600.8	600.8	600.8	601.0	600.8	600.8	600.8	601.0
TPDB_zantema_z115.trs	7.5	4.7	6.3	3.9	4.3	3.3	3.8	3.0
TPTP_BOO027-1_theory.trs	2.3	2.1	2.0	1.8	2.0	1.7	1.5	1.5
TPTP_COL053-1_theory.trs	1.1	1.0	1.2	1.2	1.2	1.2	1.2	1.2
TPTP_COL056-1_theory.trs	1.4	1.8	1.6	1.6	1.2	1.2	1.2	1.2
	KBCV-b-i-u	KBCV-i-u	KBCV-b-u	KBCV-b-i	KBCV-u	KBCV-i	KBCV-b	KBCV
TPTP_COL060-1_theory.trs	2.8	3.0	2.8	3.0	3.1	2.8	3.0	3.0
TPTP_COL085-1_theory.trs	1.0	1.0	1.0	1.0	1.0	1.1	1.0	1.0
TPTP_GRP010-4_theory.trs	27.1	6.3	12.8	8.3	5.9	5.4	8.0	4.8
TPTP_GRP011-4_theory.trs	5.6	3.5	4.2	3.5	3.3	3.0	3.3	2.7
TPTP_GRP012-4_theory.trs	3.8	3.6	3.7	2.9	3.4	2.8	2.5	2.5
TPTP_GRP393-2_theory.trs	1.2	1.1	1.2	1.3	1.1	1.5	1.2	1.1
TPTP_GRP394-3_theory.trs	4.1	3.7	3.6	2.9	3.0	2.9	2.7	2.9
TPTP_GRP454-1_theory.trs	13.7	6.9	8.9	5.9	6.6	4.8	4.4	4.3
TPTP_GRP457-1_theory.trs	14.1	8.0	8.6	6.3	6.2	5.0	4.9	4.5
TPTP_GRP460-1_theory.trs	19.6	8.1	10.9	7.5	6.9	5.1	6.1	4.5
TPTP_GRP463-1_theory.trs	20.2	8.2	10.8	7.5	7.2	5.1	6.1	4.4
TPTP_GRP481-1_theory.trs	16.8	8.0	10.1	6.4	6.5	4.5	5.6	4.4
TPTP_GRP484-1_theory.trs	35.0	8.5	13.0	8.7	5.7	5.3	6.6	4.3
TPTP_GRP487-1_theory.trs	37.4	11.2	16.3	10.6	8.3	6.2	7.6	4.9
TPTP_GRP490-1_theory.trs	46.2	23.7	29.1	21.2	20.8	18.8	18.9	17.6
TPTP_GRP493-1_theory.trs	14.8	8.8	10.0	7.3	7.0	5.4	5.6	3.9
TPTP_GRP496-1_theory.trs	25.1	11.0	13.9	8.1	8.1	5.6	6.9	4.9
TPTP_HWC004-1_theory.trs	2.0	1.9	1.9	1.6	1.8	1.6	1.6	1.6
TPTP_HWC004-2_theory.trs	1.7	1.6	1.5	1.4	1.5	1.3	1.2	1.2
TPTP_SWV262-2_theory.trs	600.7	448.5	600.8	600.8	431.4	398.4	601.2	361.2
WS06_proofreduction.trs	601.1	600.9	600.8	601.3	600.7	600.8	600.8	600.7
aufgabe3_2.trs	0.9	1.1	1.2	1.2	1.2	1.2	1.2	1.1
aufgabe3_3.trs	1.1	1.2	1.2	1.2	1.2	1.2	1.2	1.2
fggx.trs	1.4	1.4	1.3	1.1	1.2	1.1	1.2	1.2
fib.trs	2.9	2.7	2.8	2.8	2.6	2.6	2.3	2.3
	KBCV-b-i-u	KBCV-i-u	KBCV-b-u	KBCV-b-i	KBCV-u	KBCV-i	KBCV-b	KBCV
kb_fail.trs	2.0	2.0	2.4	2.4	2.1	2.4	2.4	2.1
kb_fail1.trs	2.5	2.4	2.7	2.2	2.4	2.4	2.3	2.3
lr_theory.trs	5.6	4.3	4.7	4.7	4.3	4.5	4.0	3.7
rl_theory.trs	15.5	7.5	8.5	7.1	6.3	5.8	6.6	5.5
slothrop_ackermann.trs	1.6	1.6	1.4	1.5	1.4	1.3	1.2	1.2
slothrop_cge.trs	600.7	266.4	600.8	600.8	205.3	183.5	600.8	246.1
slothrop_cge3.trs	601.2	600.8	600.9	601.2	600.9	600.8	600.8	600.9
slothrop_endo.trs	600.8	600.8	601.2	600.7	600.7	601.0	600.8	600.8
slothrop_equiv_proofs.trs	600.8	6.7	600.9	600.8	6.3	6.2	601.2	6.1
slothrop_equiv_proofs_or.trs	7.2	6.6	6.5	6.2	6.4	6.5	6.0	6.3
slothrop_fgh.trs	1.3	1.4	1.2	1.3	1.3	1.2	1.2	1.2
slothrop_groups.trs	6.4	3.9	4.5	3.7	3.3	3.0	3.3	2.6
slothrop_groups_conj.trs	3.2	2.4	3.2	2.5	2.4	2.1	2.3	2.0
slothrop_hard.trs	1.9	2.0	1.9	1.9	1.9	1.9	1.8	1.9
slothrop_nlp-2b.trs	600.9	600.8	600.8	608.6	600.9	600.8	608.9	600.9