TermCOMP 2010: SRS Relative Certifying

benchmark	AProVE-CeTA
tpdb-8.0/TRS/ICFP_2010_relative/211915.xml	YES 20380
tpdb-8.0/TRS/ICFP_2010_relative/213437.xml	YES 27310
tpdb-8.0/TRS/ICFP_2010_relative/214011.xml	YES 10229
tpdb-8.0/TRS/ICFP_2010_relative/26186.xml	UNCERTIFIED 62078
tpdb-8.0/TRS/ICFP_2010_relative/27131.xml	UNCERTIFIED 62184
tpdb-8.0/TRS/ICFP_2010_relative/27235.xml	UNCERTIFIED 62599
tpdb-8.0/TRS/ICFP_2010_relative/27280.xml	UNCERTIFIED 61991
tpdb-8.0/TRS/Mixed_relative_SRS/dup02.xml	YES 9270
tpdb-8.0/TRS/Mixed_relative_SRS/dup03.xml	YES 5512
tpdb-8.0/TRS/Mixed_relative_SRS/dup04.xml	UNCERTIFIED 61620
tpdb-8.0/TRS/Mixed_relative_SRS/un01.xml	UNCERTIFIED 61313
tpdb-8.0/TRS/Mixed_relative_SRS/zr02new.xml	YES 4210
tpdb-8.0/TRS/Mixed_relative_SRS/zr04new.xml	YES 4523
tpdb-8.0/TRS/Mixed_relative_SRS/zr06.xml	YES 2760
tpdb-8.0/TRS/Mixed_relative_SRS/zr07.xml	YES 3049
tpdb-8.0/TRS/Mixed_relative_SRS/zr13.xml	UNCERTIFIED 60168
tpdb-8.0/TRS/Waldmann_06_relative/r10.xml	UNCERTIFIED 60670
tpdb-8.0/TRS/Waldmann_06_relative/r1.xml	UNCERTIFIED 519
tpdb-8.0/TRS/Waldmann_06_relative/r2.xml	UNCERTIFIED 521
tpdb-8.0/TRS/Waldmann_06_relative/r3.xml	UNCERTIFIED 15465
tpdb-8.0/TRS/Waldmann_06_relative/r4.xml	UNCERTIFIED 60762
tpdb-8.0/TRS/Waldmann_06_relative/r5.xml	YES 7396
tpdb-8.0/TRS/Waldmann_06_relative/r7.xml	YES 3053
tpdb-8.0/TRS/Waldmann_06_relative/r8.xml	YES 7675
tpdb-8.0/TRS/Waldmann_06_relative/r9.xml	YES 8269
tpdb-8.0/TRS/Zantema_06_relative/cars.xml	UNCERTIFIED 60851
tpdb-8.0/TRS/Zantema_06_relative/rel01.xml	YES 3444
tpdb-8.0/TRS/Zantema_06_relative/rel02.xml	UNCERTIFIED 60344
tpdb-8.0/TRS/Zantema_06_relative/rel05.xml	YES 3481
tpdb-8.0/TRS/Zantema_06_relative/rel06.xml	UNCERTIFIED 60506
tpdb-8.0/TRS/Zantema_06_relative/rel08.xml	YES 3597
tpdb-8.0/TRS/Zantema_06_relative/rel09.xml	YES 4495
tpdb-8.0/TRS/Zantema_06_relative/rel13.xml	YES 4115
	18