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

matchbox-srs-rel-nocert (0.5.6)

TTT2 (2011 fixed)

AProVE (2011-0.1)

MAYBE

Average time	1.534
Total time	438.683
# Results	286

Average time	59.798
Total time	5322.058
# Results	89

Average time	0.324
Total time	2.595
# Results	8

NO

Average time
Total time
# Results

Average time	0.694
Total time	0.694
# Results	1

Average time	0.853
Total time	0.853
# Results	1

TIMEOUT

Average time	60.074
Total time	10813.349
# Results	180

Average time	60.056
Total time	21199.861
# Results	353

Average time	60.822
Total time	25545.263
# Results	420

YES

Average time	10.973
Total time	274.334
# Results	25

Average time	5.179
Total time	248.609
# Results	48

Average time	12.983
Total time	804.963
# Results	62

Actions

Results

««

«

1

2

3

4

5

6

7

8

9

10

11

12

13

»

Last

Termination Problem

matchbox-srs-rel-nocert (0.5.6)

TTT2 (2011 fixed)

AProVE (2011-0.1)


1	tpdb-8.0/TRS/ICFP_2010_relative/107193.xml	1.693	60.05	60.988
2	tpdb-8.0/TRS/ICFP_2010_relative/107220.xml	60.051	60.047	60.938
3	tpdb-8.0/TRS/ICFP_2010_relative/107236.xml	60.05	60.044	61.136
4	tpdb-8.0/TRS/ICFP_2010_relative/123759.xml	60.045	60.044	60.562
5	tpdb-8.0/TRS/ICFP_2010_relative/124211.xml	60.044	60.047	61.091
6	tpdb-8.0/TRS/ICFP_2010_relative/124269.xml	60.039	60.046	60.697
7	tpdb-8.0/TRS/ICFP_2010_relative/124791.xml	60.042	60.051	61.012
8	tpdb-8.0/TRS/ICFP_2010_relative/127538.xml	60.045	60.047	60.596
9	tpdb-8.0/TRS/ICFP_2010_relative/128056.xml	60.052	60.046	60.466
10	tpdb-8.0/TRS/ICFP_2010_relative/128182.xml	60.044	60.048	60.532
11	tpdb-8.0/TRS/ICFP_2010_relative/128280.xml	60.044	60.055	60.658
12	tpdb-8.0/TRS/ICFP_2010_relative/128430.xml	60.044	60.051	60.595
13	tpdb-8.0/TRS/ICFP_2010_relative/128486.xml	60.047	60.047	60.673
14	tpdb-8.0/TRS/ICFP_2010_relative/128515.xml	60.049	60.045	60.591
15	tpdb-8.0/TRS/ICFP_2010_relative/128550.xml	60.052	60.048	60.483
16	tpdb-8.0/TRS/ICFP_2010_relative/128620.xml	60.047	60.052	60.43
17	tpdb-8.0/TRS/ICFP_2010_relative/128691.xml	60.05	60.048	60.433
18	tpdb-8.0/TRS/ICFP_2010_relative/130161.xml	1.615	60.046	60.694
19	tpdb-8.0/TRS/ICFP_2010_relative/130304.xml	1.606	60.047	60.658
20	tpdb-8.0/TRS/ICFP_2010_relative/130472.xml	1.635	60.044	60.775
21	tpdb-8.0/TRS/ICFP_2010_relative/130962.xml	1.654	60.041	61.133
22	tpdb-8.0/TRS/ICFP_2010_relative/131633.xml	60.044	60.048	60.734
23	tpdb-8.0/TRS/ICFP_2010_relative/131982.xml	60.04	60.05	60.857
24	tpdb-8.0/TRS/ICFP_2010_relative/132235.xml	60.042	60.05	60.954
25	tpdb-8.0/TRS/ICFP_2010_relative/132478.xml	60.047	60.048	60.513
26	tpdb-8.0/TRS/ICFP_2010_relative/132540.xml	60.043	60.048	60.516
27	tpdb-8.0/TRS/ICFP_2010_relative/132622.xml	60.317	60.052	60.638
28	tpdb-8.0/TRS/ICFP_2010_relative/132720.xml	60.047	60.051	60.423
29	tpdb-8.0/TRS/ICFP_2010_relative/132738.xml	60.048	60.045	60.424
30	tpdb-8.0/TRS/ICFP_2010_relative/132782.xml	60.05	60.051	60.437
31	tpdb-8.0/TRS/ICFP_2010_relative/132833.xml	60.043	60.052	60.448
32	tpdb-8.0/TRS/ICFP_2010_relative/132848.xml	1.628	60.042	60.815
33	tpdb-8.0/TRS/ICFP_2010_relative/132864.xml	60.045	60.046	60.473
34	tpdb-8.0/TRS/ICFP_2010_relative/132920.xml	60.049	60.048	60.514
35	tpdb-8.0/TRS/ICFP_2010_relative/132957.xml	60.045	60.046	60.516
36	tpdb-8.0/TRS/ICFP_2010_relative/132969.xml	60.041	60.046	60.839
37	tpdb-8.0/TRS/ICFP_2010_relative/133010.xml	60.29	60.047	60.517
38	tpdb-8.0/TRS/ICFP_2010_relative/133079.xml	1.603	60.048	60.737
39	tpdb-8.0/TRS/ICFP_2010_relative/133159.xml	60.044	60.046	60.677
40	tpdb-8.0/TRS/ICFP_2010_relative/133236.xml	1.608	60.048	60.84

««

«

1

2

3

4

5

6

7

8

9

10

11

12

13

»

Last