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

TTT2Cert (2013_2)

AProVE (TC 2013)

TTT2 (2013_1)

AProVE-CeTA (TC 2013)

MAYBE

Average time	54.091
Total time	5246.809
# Results	97

Average time	0.389
Total time	3.109
# Results	8

Average time	59.879
Total time	4490.896
# Results	75

Average time	2.770
Total time	24.929
# Results	9

Average time	0.728
Total time	0.728
# Results	1

Average time	1.104
Total time	1.104
# Results	1

Average time	0.759
Total time	0.759
# Results	1

Average time
Total time
# Results

TIMEOUT

Average time	60.043
Total time	4683.340
# Results	78

Average time	60.997
Total time	7136.611
# Results	117

Average time	60.045
Total time	6124.543
# Results	102

Average time	61.399
Total time	7797.707
# Results	127

YES

Average time	1.604
Total time	46.524
# Results	29

Average time	11.583
Total time	915.062
# Results	79

Average time	2.880
Total time	77.762
# Results	27

Average time	14.398
Total time	993.488
# Results	69

Actions

Results

««

Last

Termination Problem

TTT2Cert (2013_2)

AProVE (TC 2013)

TTT2 (2013_1)

AProVE-CeTA (TC 2013)


1	tpdb-8.0/TRS/ICFP_2010_relative/107220.xml	60.046	60.884	60.046	61.366
2	tpdb-8.0/TRS/ICFP_2010_relative/107236.xml	60.04	60.997	60.046	61.369
3	tpdb-8.0/TRS/ICFP_2010_relative/123759.xml	60.04	60.952	60.045	61.389
4	tpdb-8.0/TRS/ICFP_2010_relative/124211.xml	60.04	61.099	60.042	62.163
5	tpdb-8.0/TRS/ICFP_2010_relative/124269.xml	60.037	60.953	60.043	61.751
6	tpdb-8.0/TRS/ICFP_2010_relative/124791.xml	60.034	60.868	60.047	61.193
7	tpdb-8.0/TRS/ICFP_2010_relative/127538.xml	60.041	14.899	60.045	21.39
8	tpdb-8.0/TRS/ICFP_2010_relative/128056.xml	60.04	61.048	60.046	60.237
9	tpdb-8.0/TRS/ICFP_2010_relative/128182.xml	60.042	11.116	60.045	20.588
10	tpdb-8.0/TRS/ICFP_2010_relative/128280.xml	60.042	13.123	60.044	18.638
11	tpdb-8.0/TRS/ICFP_2010_relative/128430.xml	60.042	12.995	60.046	20.428
12	tpdb-8.0/TRS/ICFP_2010_relative/128486.xml	60.042	11.285	60.048	18.838
13	tpdb-8.0/TRS/ICFP_2010_relative/128515.xml	60.053	11.893	60.045	21.678
14	tpdb-8.0/TRS/ICFP_2010_relative/128550.xml	60.042	12.788	60.043	21.147
15	tpdb-8.0/TRS/ICFP_2010_relative/128620.xml	60.044	12.141	60.046	18.824
16	tpdb-8.0/TRS/ICFP_2010_relative/128691.xml	60.045	12.87	60.048	18.901
17	tpdb-8.0/TRS/ICFP_2010_relative/131633.xml	60.037	61.054	60.045	61.396
18	tpdb-8.0/TRS/ICFP_2010_relative/131982.xml	60.039	60.908	60.048	61.264
19	tpdb-8.0/TRS/ICFP_2010_relative/132235.xml	60.035	60.946	60.045	61.401
20	tpdb-8.0/TRS/ICFP_2010_relative/132478.xml	60.041	12.254	60.044	21.705
21	tpdb-8.0/TRS/ICFP_2010_relative/132540.xml	60.044	12.736	60.045	19.466
22	tpdb-8.0/TRS/ICFP_2010_relative/132622.xml	60.042	11.879	60.049	19.338
23	tpdb-8.0/TRS/ICFP_2010_relative/132720.xml	60.042	12.739	60.049	20.164
24	tpdb-8.0/TRS/ICFP_2010_relative/132738.xml	60.041	12.055	60.047	19.823
25	tpdb-8.0/TRS/ICFP_2010_relative/132782.xml	60.043	11.594	60.047	19.123
26	tpdb-8.0/TRS/ICFP_2010_relative/132833.xml	60.044	13.622	60.046	21.32
27	tpdb-8.0/TRS/ICFP_2010_relative/132864.xml	60.045	12.216	60.046	19.347
28	tpdb-8.0/TRS/ICFP_2010_relative/132920.xml	60.041	11.986	60.046	18.145
29	tpdb-8.0/TRS/ICFP_2010_relative/132957.xml	60.043	14.353	60.05	21.309
30	tpdb-8.0/TRS/ICFP_2010_relative/132969.xml	60.036	61.146	60.044	61.288
31	tpdb-8.0/TRS/ICFP_2010_relative/133010.xml	60.041	12.017	60.047	22.005
32	tpdb-8.0/TRS/ICFP_2010_relative/133159.xml	60.037	61.001	60.046	60.241
33	tpdb-8.0/TRS/ICFP_2010_relative/133486.xml	60.036	60.946	60.046	62.408
34	tpdb-8.0/TRS/ICFP_2010_relative/133881.xml	60.035	61.149	60.048	62.13
35	tpdb-8.0/TRS/ICFP_2010_relative/134918.xml	60.054	61.071	60.043	61.667
36	tpdb-8.0/TRS/ICFP_2010_relative/135115.xml	60.039	61.065	60.043	61.495
37	tpdb-8.0/TRS/ICFP_2010_relative/135328.xml	60.037	61.078	60.045	61.746
38	tpdb-8.0/TRS/ICFP_2010_relative/135604.xml	60.041	61.013	60.043	61.526
39	tpdb-8.0/TRS/ICFP_2010_relative/135652.xml	60.036	60.898	60.044	61.748
40	tpdb-8.0/TRS/ICFP_2010_relative/135782.xml	60.042	60.928	60.045	61.227

««

Last