Experiments

Summary

status	rl-1	rl-2	rl-3	rl-4	rl-5	rlv-1	rlv-2	rlv-3	rlv-4	rlv-5
YES	38	48	49	50	46	34	46	47	48	49
(sec)	3.27	5.39	8.08	176.23	376.43	2.72	3.80	3.98	7.59	168.93
NO	0	0	0	0	0	0	0	0	0	0
(sec)	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00
MAYBE	37	27	24	21	21	41	29	28	27	26
(sec)	4.58	17.04	41.34	10.83	92.23	3.51	2.78	3.06	3.81	8.13
TIMEOUT	0	0	2	4	8	0	0	0	0	0
(sec)	0.00	0.00	240.00	480.00	960.00	0.00	0.00	0.00	0.00	0.00
ERROR	0	0	0	0	0	0	0	0	0	0
(sec)	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00	0.00

Individual results

file	rl-1	rl-2	rl-3	rl-4	rl-5	rlv-1	rlv-2	rlv-3	rlv-4	rlv-5
HM/2.trs	M:0.08	M:0.08	M:0.08	M:0.08	M:0.08	M:0.08	M:0.08	M:0.08	M:0.09	M:0.08
HM/3.trs	M:0.08	M:0.08	M:0.08	M:0.08	M:0.08	M:0.08	M:0.08	M:0.08	M:0.08	M:0.08
HM/5.trs	M:0.14	Y:0.26	Y:0.44	Y:0.98	Y:1.88	M:0.08	M:0.08	M:0.08	M:0.14	Y:0.14
HM/6.trs	M:0.19	Y:0.57	Y:1.64	Y:3.87	Y:6.57	M:0.08	M:0.08	M:0.08	M:0.13	M:0.13
crexamples-100410/TRS/BN98/ex6.17.trs	Y:0.09	Y:0.07	Y:0.08	Y:0.51	Y:26.31	Y:0.08	Y:0.11	Y:0.08	Y:0.08	Y:0.08
crexamples-100410/TRS/BN98/ex6.2.7.trs	M:0.08	M:0.08	M:0.07	M:0.09	M:0.09	M:0.08	M:0.08	M:0.08	M:0.08	M:0.08
crexamples-100410/TRS/BN98/ex6.3.4.trs	Y:0.07	Y:0.13	Y:0.20	Y:0.39	Y:1.89	Y:0.08	Y:0.10	Y:0.08	Y:0.08	Y:0.14
crexamples-100410/TRS/BN98/ex6.4.trs	M:0.08	M:0.08	M:0.08	M:0.07	M:0.32	M:0.08	M:0.08	M:0.08	M:0.08	M:0.07
crexamples-100410/TRS/BN98/ex6.5a.trs	M:0.08	M:0.08	M:0.08	M:0.07	M:0.08	M:0.08	M:0.08	M:0.08	M:0.08	M:0.08
crexamples-100410/TRS/BN98/ex6.5b.trs	Y:0.08	Y:0.07	Y:0.07	Y:0.14	Y:0.14	Y:0.08	Y:0.09	Y:0.08	Y:0.08	Y:0.08
crexamples-100410/TRS/BN98/ex6.5d.trs	M:0.07	M:0.07	M:0.08	M:0.15	M:0.14	M:0.09	M:0.08	M:0.08	M:0.08	M:0.08
crexamples-100410/TRS/BN98/ex6.5e.trs	M:0.08	M:0.08	M:0.08	M:0.15	M:0.15	M:0.07	M:0.08	M:0.08	M:0.08	M:0.08
crexamples-100410/TRS/GL06/ex2.trs	M:0.08	M:0.08	Y:0.08	Y:0.15	Y:0.63	M:0.08	M:0.08	Y:0.08	Y:0.08	Y:0.20
crexamples-100410/TRS/GL06/ex3.trs	M:0.08	M:0.14	M:0.20	M:0.32	M:1.05	M:0.08	M:0.08	M:0.08	M:0.08	M:0.14
crexamples-100410/TRS/GL06/ex5.trs	M:0.08	Y:0.08	Y:0.07	Y:0.20	Y:2.01	M:0.08	Y:0.08	Y:0.08	Y:0.08	Y:0.25
crexamples-100410/TRS/Gra96caap/ex6.trs	M:0.18	Y:0.08	Y:0.08	Y:0.17	Y:0.57	M:0.08	Y:0.08	Y:0.08	Y:0.08	Y:0.08
crexamples-100410/TRS/Gra96caap/ex7.trs	Y:0.07	Y:0.20	Y:0.26	Y:0.44	Y:3.88	Y:0.08	Y:0.08	Y:0.08	Y:0.08	Y:0.08
crexamples-100410/TRS/Gra96caap/ex9.trs	Y:0.08	Y:0.09	Y:0.10	Y:0.21	Y:2.74	Y:0.08	Y:0.08	Y:0.09	Y:0.08	Y:0.08
crexamples-100410/TRS/Gra96thesis/ex2.2.28.trs	Y:0.09	Y:0.08	Y:0.07	Y:0.08	Y:0.60	M:0.08	Y:0.08	Y:0.07	Y:0.08	Y:0.08
crexamples-100410/TRS/Gra96thesis/ex3.3.1.trs	M:0.15	M:0.08	M:0.08	M:0.13	M:0.32	M:0.08	M:0.08	M:0.08	M:0.08	M:0.08
crexamples-100410/TRS/Gra96thesis/ex3.3.2.trs	M:0.15	M:0.20	M:0.26	M:0.32	M:1.56	M:0.08	M:0.14	M:0.14	M:0.14	M:0.14
crexamples-100410/TRS/Gra96thesis/ex3.4.23.trs	Y:0.21	Y:0.20	Y:0.19	Y:0.31	Y:3.44	Y:0.08	Y:0.07	Y:0.07	Y:0.07	Y:0.07
crexamples-100410/TRS/Gra96thesis/ex3.5.7.trs	Y:0.07	Y:0.07	Y:0.08	Y:0.07	Y:0.09	Y:0.08	Y:0.09	Y:0.08	Y:0.08	Y:0.08
crexamples-100410/TRS/Hue80/p811.trs	M:0.09	M:0.14	M:0.14	M:0.34	M:3.04	M:0.08	M:0.08	M:0.08	M:0.14	M:0.20
crexamples-100410/TRS/Hue80/p811a.trs	M:0.09	M:0.08	M:0.08	M:0.07	M:0.09	M:0.08	M:0.08	M:0.08	M:0.08	M:0.09
crexamples-100410/TRS/Hue80/p811b.trs	M:0.09	M:0.08	M:0.14	M:0.14	M:0.27	M:0.08	M:0.08	M:0.08	M:0.08	M:0.08
crexamples-100410/TRS/Hue80/p814.trs	M:0.09	Y:0.09	Y:0.08	Y:0.15	Y:0.15	M:0.08	Y:0.08	Y:0.08	Y:0.08	Y:0.08
crexamples-100410/TRS/Hue80/p816.trs	Y:0.15	Y:0.08	Y:0.08	Y:0.15	Y:0.27	M:0.08	Y:0.08	Y:0.08	Y:0.08	Y:0.08
crexamples-100410/TRS/OO04/ex3.trs	Y:0.07	Y:0.09	Y:0.38	Y:21.03	T:120.00	Y:0.08	Y:0.08	Y:0.08	Y:0.08	Y:0.09
crexamples-100410/TRS/OO04/ex6b.trs	Y:0.09	Y:0.13	Y:0.25	Y:1.89	Y:46.05	Y:0.08	Y:0.08	Y:0.08	Y:0.08	Y:0.08
crexamples-100410/TRS/Ohl02/ex4.2.2.trs	M:0.08	M:0.20	M:2.45	Y:81.11	T:120.00	M:0.08	M:0.08	M:0.14	Y:0.32	Y:1.22
crexamples-100410/TRS/Ohl94caap/ex4.4.trs	Y:0.08	Y:0.08	Y:0.08	Y:0.09	Y:0.07	Y:0.08	Y:0.08	Y:0.08	Y:0.07	Y:0.08
crexamples-100410/TRS/Ohl94thesis/ex4.2.2.trs	Y:0.08	Y:0.08	Y:0.08	Y:0.09	Y:0.09	Y:0.08	Y:0.08	Y:0.08	Y:0.09	Y:0.09
crexamples-100410/TRS/Ohl94thesis/ex4.4.3.trs	Y:0.08	Y:0.08	Y:0.08	Y:0.09	Y:0.16	Y:0.08	Y:0.08	Y:0.08	Y:0.07	Y:0.08
crexamples-100410/TRS/Oku98/p14a.trs	Y:0.08	Y:0.14	Y:0.13	Y:0.21	Y:0.21	Y:0.08	Y:0.08	Y:0.08	Y:0.08	Y:0.08
crexamples-100410/TRS/Oku98/p14b.trs	Y:0.14	Y:0.19	Y:0.32	Y:1.64	Y:41.58	Y:0.08	Y:0.14	Y:0.14	Y:0.14	Y:0.14
crexamples-100410/TRS/Oku98/p14c.trs	M:0.08	Y:0.07	Y:0.07	Y:0.07	Y:0.13	M:0.08	Y:0.07	Y:0.07	Y:0.08	Y:0.08
crexamples-100410/TRS/Tiw02/ex1.trs	M:0.08	M:0.08	M:0.08	M:0.16	M:0.14	M:0.08	M:0.08	M:0.09	M:0.08	M:0.08
crexamples-100410/TRS/Tiw02/ex2.trs	Y:0.08	Y:0.08	Y:0.08	Y:0.19	Y:1.10	M:0.08	Y:0.08	Y:0.08	Y:0.08	Y:0.08
crexamples-100410/TRS/Tiw02/ex3.trs	Y:0.08	Y:0.08	Y:0.08	Y:0.15	Y:0.45	Y:0.08	Y:0.08	Y:0.08	Y:0.08	Y:0.20
crexamples-100410/TRS/Toy81/ex5.1.trs	Y:0.08	Y:0.08	Y:0.08	Y:0.09	Y:0.08	Y:0.08	Y:0.08	Y:0.08	Y:0.08	Y:0.09
crexamples-100410/TRS/Toy88/ex3.1.trs	Y:0.07	Y:0.14	Y:0.14	Y:0.63	Y:5.61	Y:0.08	Y:0.08	Y:0.07	Y:0.08	Y:0.08
crexamples-100410/TRS/Toy88/ex3.2.trs	M:0.08	Y:0.14	Y:0.14	Y:2.24	Y:114.58	M:0.08	Y:0.08	Y:0.14	Y:0.80	Y:23.16
crexamples-100410/TRS/Toy88/ex3.3.trs	Y:0.08	Y:0.14	Y:0.08	Y:0.13	Y:0.86	Y:0.08	Y:0.08	Y:0.07	Y:0.08	Y:0.26
crexamples-100410/TRS/Toy98/ex2.trs	Y:0.08	Y:0.09	Y:0.08	Y:0.08	Y:0.09	Y:0.08	Y:0.08	Y:0.08	Y:0.08	Y:0.08
crexamples-100410/TRS/YAT09/ex1.trs	Y:0.07	Y:0.07	Y:0.07	Y:0.15	Y:0.26	Y:0.08	Y:0.08	Y:0.07	Y:0.08	Y:0.08
crexamples-100410/TRS/YAT09/ex10.trs	Y:0.08	Y:0.09	Y:0.09	Y:0.07	Y:0.11	Y:0.08	Y:0.08	Y:0.08	Y:0.08	Y:0.09
crexamples-100410/TRS/YAT09/ex2.trs	M:0.08	M:0.14	M:0.08	M:0.15	M:0.68	M:0.08	M:0.08	M:0.08	M:0.08	M:0.08
crexamples-100410/TRS/YAT09/ex3.trs	Y:0.08	Y:0.07	Y:0.08	Y:0.13	Y:0.38	M:0.08	Y:0.08	Y:0.08	Y:0.08	Y:0.14
crexamples-100410/TRS/YAT09/ex6.trs	Y:0.08	Y:0.14	Y:0.20	Y:2.01	Y:112.29	Y:0.08	Y:0.08	Y:0.08	Y:0.08	Y:0.08
crexamples-100410/TRS/YAT09/ex7.trs	M:0.08	Y:0.13	Y:0.51	Y:27.02	T:120.00	M:0.08	Y:0.08	Y:0.14	Y:1.46	Y:70.14
crexamples-100410/TRS/YAT09/ex9.trs	M:0.07	Y:0.16	Y:0.46	Y:28.08	T:120.00	M:0.08	Y:0.08	Y:0.14	Y:1.46	Y:69.95
crexamples-100410/TRS/standards/AC.trs	M:0.08	M:0.14	M:0.26	M:1.46	M:34.36	M:0.08	M:0.08	M:0.13	M:0.37	M:1.89
crexamples-100410/TRS/standards/add_AC.trs	M:0.08	M:0.21	M:0.40	M:2.32	M:34.85	M:0.08	M:0.08	M:0.14	M:0.38	M:2.24
crexamples-100410/TRS/standards/add_C.trs	M:0.08	M:0.07	M:0.07	M:0.08	M:0.07	M:0.08	M:0.08	M:0.07	M:0.08	M:0.07
tpdb-8.0-zero-yes/TRS/Applicative_05/TypeEx5.trs	Y:0.09	Y:0.09	Y:0.09	Y:0.09	Y:0.09	Y:0.08	Y:0.08	Y:0.08	Y:0.08	Y:0.08
tpdb-8.0-zero-yes/TRS/HirokawaMiddeldorp_04/n004.trs	Y:0.08	Y:0.07	Y:0.07	Y:0.09	Y:0.09	Y:0.08	Y:0.08	Y:0.08	Y:0.08	Y:0.08
tpdb-8.0-zero-yes/TRS/HirokawaMiddeldorp_04/n005.trs	Y:0.08	Y:0.08	Y:0.08	Y:0.09	Y:0.09	Y:0.08	Y:0.08	Y:0.08	Y:0.08	Y:0.08
tpdb-8.0-zero-yes/TRS/HirokawaMiddeldorp_04/n006.trs	Y:0.08	Y:0.08	Y:0.08	Y:0.09	Y:0.09	Y:0.08	Y:0.08	Y:0.08	Y:0.08	Y:0.08
tpdb-8.0-zero-yes/TRS/Mixed_TRS/6.trs	Y:0.08	Y:0.08	Y:0.09	Y:0.09	Y:0.09	Y:0.09	Y:0.08	Y:0.09	Y:0.09	Y:0.08
tpdb-8.0-zero-yes/TRS/SK90/4.34.trs	Y:0.08	Y:0.08	Y:0.08	Y:0.09	Y:0.09	Y:0.08	Y:0.08	Y:0.08	Y:0.08	Y:0.08
tpdb-8.0-zero-yes/TRS/Secret_05_TRS/ttt2.trs	Y:0.08	Y:0.08	Y:0.09	Y:0.09	Y:0.09	Y:0.08	Y:0.08	Y:0.08	Y:0.08	Y:0.08
tpdb-8.0-zero-yes/TRS/Strategy_removed_AG01/#4.17.trs	M:0.08	M:0.08	M:0.15	M:0.69	M:11.22	M:0.08	M:0.08	M:0.08	M:0.08	M:0.08
tpdb-8.0-zero-yes/TRS/Strategy_removed_CSR_05/Ex4_7_15_Bor03.trs	Y:0.07	Y:0.08	Y:0.08	Y:0.09	Y:0.09	Y:0.08	Y:0.08	Y:0.08	Y:0.08	Y:0.08
tpdb-8.0-zero-yes/TRS/Strategy_removed_CSR_05/ExIntrod_GM04.trs	Y:0.07	Y:0.08	Y:0.08	Y:0.09	Y:0.09	Y:0.08	Y:0.08	Y:0.08	Y:0.08	Y:0.08
tpdb-8.0-zero-yes/TRS/Strategy_removed_mixed_05/ex4.trs	M:0.08	Y:0.08	Y:0.08	Y:0.09	Y:0.09	M:0.08	Y:0.08	Y:0.08	Y:0.08	Y:0.08
tpdb-8.0-zero-yes/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM.trs	M:0.38	M:3.87	T:120.00	T:120.00	T:120.00	M:0.14	M:0.26	M:0.20	M:0.26	M:0.26
tpdb-8.0-zero-yes/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.trs	M:0.19	M:0.44	M:0.81	M:2.37	M:0.70	M:0.14	M:0.13	M:0.13	M:0.14	M:0.14
tpdb-8.0-zero-yes/TRS/Transformed_CSR_04/OvConsOS_nosorts_Z.trs	M:0.08	M:0.14	M:0.27	M:1.58	M:2.96	M:0.08	M:0.08	M:0.08	M:0.08	M:0.08
tpdb-8.0-zero-yes/TRS/Transformed_CSR_04/OvConsOS_nosorts_iGM.trs	M:0.62	M:9.39	T:120.00	T:120.00	T:120.00	M:0.20	M:0.26	M:0.44	M:0.44	M:0.50
tpdb-8.0-zero-yes/TRS/Transformed_CSR_04/PALINDROME_complete-noand_L.trs	M:0.26	M:0.56	M:27.57	T:120.00	T:120.00	M:0.08	M:0.08	M:0.07	M:0.14	M:0.20
tpdb-8.0-zero-yes/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_L.trs	M:0.14	M:0.37	M:7.77	T:120.00	T:120.00	M:0.08	M:0.08	M:0.14	M:0.25	M:1.09
tpdb-8.0-zero-yes/TRS/Waldmann_06/jwno4.trs	Y:0.07	Y:0.08	Y:0.09	Y:0.09	Y:0.07	Y:0.08	Y:0.08	Y:0.08	Y:0.08	Y:0.08
tpdb-8.0-zero-yes/TRS/Waldmann_06/jwno5.trs	Y:0.08	Y:0.08	Y:0.09	Y:0.09	Y:0.07	Y:0.08	Y:0.08	Y:0.08	Y:0.08	Y:0.08
tpdb-8.0-zero-yes/TRS/Waldmann_06/jwno7.trs	Y:0.08	Y:0.09	Y:0.09	Y:0.09	Y:0.07	Y:0.08	Y:0.08	Y:0.08	Y:0.08	Y:0.08