| benchmark
|
AProVE-CeTA
|
TTT2Cert
|
|
tpdb-8.0/TRS/ICFP_2010_relative/167391.xml
|
UNCERTIFIED
61033
|
UNCERTIFIED
60344
|
|
tpdb-8.0/TRS/ICFP_2010_relative/259405.xml
|
YES
14854
|
UNCERTIFIED
60128
|
|
tpdb-8.0/TRS/ICFP_2010_relative/28464.xml
|
UNCERTIFIED
62132
|
YES
13182
|
|
tpdb-8.0/TRS/Mixed_relative_SRS/dup04.xml
|
UNCERTIFIED
61212
|
YES
3246
|
|
tpdb-8.0/TRS/Mixed_relative_SRS/un01.xml
|
UNCERTIFIED
61173
|
UNCERTIFIED
57398
|
|
tpdb-8.0/TRS/Mixed_relative_SRS/zr01.xml
|
YES
2521
|
YES
861
|
|
tpdb-8.0/TRS/Mixed_relative_SRS/zr02.xml
|
YES
2895
|
UNCERTIFIED
2071
|
|
tpdb-8.0/TRS/Mixed_relative_SRS/zr03.xml
|
YES
2411
|
YES
530
|
|
tpdb-8.0/TRS/Mixed_relative_SRS/zr04new.xml
|
YES
3798
|
YES
3676
|
|
tpdb-8.0/TRS/Mixed_relative_SRS/zr05.xml
|
YES
2514
|
YES
587
|
|
tpdb-8.0/TRS/Mixed_relative_SRS/zr08.xml
|
YES
2393
|
UNCERTIFIED
1121
|
|
tpdb-8.0/TRS/Mixed_relative_SRS/zr10.xml
|
YES
3217
|
YES
1106
|
|
tpdb-8.0/TRS/Mixed_relative_SRS/zr12.xml
|
YES
2664
|
YES
781
|
|
tpdb-8.0/TRS/Mixed_relative_SRS/zr13.xml
|
UNCERTIFIED
60078
|
NO
603
|
|
tpdb-8.0/TRS/Waldmann_06_relative/r10.xml
|
UNCERTIFIED
60717
|
UNCERTIFIED
57393
|
|
tpdb-8.0/TRS/Waldmann_06_relative/r2.xml
|
UNCERTIFIED
565
|
UNCERTIFIED
57393
|
|
tpdb-8.0/TRS/Waldmann_06_relative/r3.xml
|
UNCERTIFIED
15471
|
UNCERTIFIED
57387
|
|
tpdb-8.0/TRS/Waldmann_06_relative/r5.xml
|
YES
6805
|
UNCERTIFIED
1045
|
|
tpdb-8.0/TRS/Waldmann_06_relative/r6.xml
|
YES
5848
|
YES
1079
|
|
tpdb-8.0/TRS/Waldmann_06_relative/r7.xml
|
YES
2816
|
YES
844
|
|
tpdb-8.0/TRS/Waldmann_06_relative/r8.xml
|
YES
6008
|
YES
1116
|
|
tpdb-8.0/TRS/Waldmann_06_relative/r9.xml
|
YES
7610
|
YES
1563
|
|
tpdb-8.0/TRS/Zantema_06_relative/rel01.xml
|
YES
2650
|
YES
868
|
|
tpdb-8.0/TRS/Zantema_06_relative/rel04.xml
|
YES
2839
|
YES
1046
|
|
tpdb-8.0/TRS/Zantema_06_relative/rel05.xml
|
YES
2864
|
YES
894
|
|
tpdb-8.0/TRS/Zantema_06_relative/rel06.xml
|
UNCERTIFIED
60346
|
UNCERTIFIED
57397
|
|
tpdb-8.0/TRS/Zantema_06_relative/rel08.xml
|
YES
2842
|
YES
2028
|
|
tpdb-8.0/TRS/Zantema_06_relative/rel09.xml
|
YES
4167
|
UNCERTIFIED
1570
|
|
tpdb-8.0/TRS/Zantema_06_relative/rel10.xml
|
YES
3116
|
UNCERTIFIED
1280
|
|
tpdb-8.0/TRS/Zantema_06_relative/rel13.xml
|
YES
3336
|
YES
1822
|
|
|
21
|
18
|
|---|