termcomp

Navigation

Home
Login
Register

Competition List
Download current tools

Create an Experiment
View Experiments
View Tools

Registration
Tool management
Query interface

Category Results for SRS Relative

Statistics

Result

Jambox (2009_b)

AProVE (1.8)

MAYBE

Average time	14.255
Total time	156.802
# Results	11

Average time	0.320
Total time	0.961
# Results	3

TIMEOUT

Average time	60.235
Total time	240.941
# Results	4

Average time	60.648
Total time	363.885
# Results	6

YES

Average time	1.529
Total time	22.932
# Results	15

Average time	9.225
Total time	193.727
# Results	21

Actions

Results

Termination Problem

Jambox (2009_b)

AProVE (1.8)


1	tpdb-8.0/TRS/Mixed_relative_SRS/dup03.xml	3.534	27.953
2	tpdb-8.0/TRS/Mixed_relative_SRS/dup04.xml	60.251	60.696
3	tpdb-8.0/TRS/Mixed_relative_SRS/un01.xml	32.593	32.167
4	tpdb-8.0/TRS/Mixed_relative_SRS/zr02new.xml	1.18	4.429
5	tpdb-8.0/TRS/Mixed_relative_SRS/zr03.xml	0.405	1.962
6	tpdb-8.0/TRS/Mixed_relative_SRS/zr04new.xml	1.204	5.121
7	tpdb-8.0/TRS/Mixed_relative_SRS/zr04.xml	1.196	4.922
8	tpdb-8.0/TRS/Mixed_relative_SRS/zr06.xml	0.987	2.973
9	tpdb-8.0/TRS/Mixed_relative_SRS/zr08.xml	0.286	1.811
10	tpdb-8.0/TRS/Mixed_relative_SRS/zr09.xml	0.873	2.526
11	tpdb-8.0/TRS/Waldmann_06_relative/r10.xml	8.176	60.609
12	tpdb-8.0/TRS/Waldmann_06_relative/r1.xml	1.437	0.32
13	tpdb-8.0/TRS/Waldmann_06_relative/r2.xml	1.926	0.319
14	tpdb-8.0/TRS/Waldmann_06_relative/r4.xml	13.44	60.506
15	tpdb-8.0/TRS/Waldmann_06_relative/r5.xml	5.262	5.19
16	tpdb-8.0/TRS/Waldmann_06_relative/r6.xml	1.789	3.188
17	tpdb-8.0/TRS/Waldmann_06_relative/r7.xml	1.729	3.31
18	tpdb-8.0/TRS/Waldmann_06_relative/r8.xml	44.67	15.765
19	tpdb-8.0/TRS/Waldmann_06_relative/r9.xml	29.611	21.313
20	tpdb-8.0/TRS/Waldmann_06_relative/rbeans.xml	1.767	0.322
21	tpdb-8.0/TRS/Zantema_06_relative/cars.xml	60.251	60.834
22	tpdb-8.0/TRS/Zantema_06_relative/rel01.xml	1.08	2.499
23	tpdb-8.0/TRS/Zantema_06_relative/rel02.xml	3.08	25.569
24	tpdb-8.0/TRS/Zantema_06_relative/rel04.xml	2.044	4.566
25	tpdb-8.0/TRS/Zantema_06_relative/rel05.xml	2.349	3.214
26	tpdb-8.0/TRS/Zantema_06_relative/rel06.xml	14.84	9.196
27	tpdb-8.0/TRS/Zantema_06_relative/rel08.xml	1.346	3.618
28	tpdb-8.0/TRS/Zantema_06_relative/rel10.xml	2.93	12.435
29	tpdb-8.0/TRS/Zantema_06_relative/rel11.xml	60.221	60.629
30	tpdb-8.0/TRS/Zantema_06_relative/rel12.xml	60.218	60.611