| benchmark
|
AProVE
|
|
tpdb-8.0/TRS/AG01_innermost/#4.12a.xml
|
YES
1734
|
|
tpdb-8.0/TRS/AG01_innermost/#4.13.xml
|
YES
1634
|
|
tpdb-8.0/TRS/AG01_innermost/#4.14.xml
|
YES
1633
|
|
tpdb-8.0/TRS/AG01_innermost/#4.15.xml
|
YES
2083
|
|
tpdb-8.0/TRS/AG01_innermost/#4.16.xml
|
YES
1759
|
|
tpdb-8.0/TRS/AG01_innermost/#4.17.xml
|
YES
2293
|
|
tpdb-8.0/TRS/AG01_innermost/#4.18.xml
|
YES
2093
|
|
tpdb-8.0/TRS/AG01_innermost/#4.19.xml
|
YES
1756
|
|
tpdb-8.0/TRS/AG01_innermost/#4.20a.xml
|
YES
2203
|
|
tpdb-8.0/TRS/AG01_innermost/#4.20.xml
|
YES
1807
|
|
tpdb-8.0/TRS/AG01_innermost/#4.21.xml
|
YES
2102
|
|
tpdb-8.0/TRS/AG01_innermost/#4.22.xml
|
YES
1705
|
|
tpdb-8.0/TRS/AG01_innermost/#4.23.xml
|
YES
2295
|
|
tpdb-8.0/TRS/AG01_innermost/#4.24.xml
|
YES
2444
|
|
tpdb-8.0/TRS/AG01_innermost/#4.25.xml
|
YES
1629
|
|
tpdb-8.0/TRS/AG01_innermost/#4.26.xml
|
YES
2487
|
|
tpdb-8.0/TRS/AG01_innermost/#4.27.xml
|
YES
2429
|
|
tpdb-8.0/TRS/AG01_innermost/#4.28.xml
|
YES
2523
|
|
tpdb-8.0/TRS/AG01_innermost/#4.29.xml
|
YES
2944
|
|
tpdb-8.0/TRS/AG01_innermost/#4.2.xml
|
YES
1752
|
|
tpdb-8.0/TRS/AG01_innermost/#4.30a.xml
|
YES
2464
|
|
tpdb-8.0/TRS/AG01_innermost/#4.30b.xml
|
YES
14066
|
|
tpdb-8.0/TRS/AG01_innermost/#4.30.xml
|
YES
9043
|
|
tpdb-8.0/TRS/AG01_innermost/#4.31.xml
|
YES
4906
|
|
tpdb-8.0/TRS/AG01_innermost/#4.32.xml
|
YES
2123
|
|
tpdb-8.0/TRS/AG01_innermost/#4.33.xml
|
YES
2767
|
|
tpdb-8.0/TRS/AG01_innermost/#4.34.xml
|
YES
2672
|
|
tpdb-8.0/TRS/AG01_innermost/#4.35.xml
|
YES
4105
|
|
tpdb-8.0/TRS/AG01_innermost/#4.36.xml
|
YES
3789
|
|
tpdb-8.0/TRS/AG01_innermost/#4.37a.xml
|
YES
2560
|
|
tpdb-8.0/TRS/AG01_innermost/#4.37.xml
|
YES
2573
|
|
tpdb-8.0/TRS/AG01_innermost/#4.3.xml
|
YES
1524
|
|
tpdb-8.0/TRS/AG01_innermost/#4.4.xml
|
YES
1576
|
|
tpdb-8.0/TRS/AG01_innermost/#4.5.xml
|
YES
1597
|
|
tpdb-8.0/TRS/AG01_innermost/#4.7.xml
|
YES
2111
|
|
tpdb-8.0/TRS/Applicative_AG01_innermost/#4.10.xml
|
YES
2653
|
|
tpdb-8.0/TRS/Applicative_AG01_innermost/#4.13.xml
|
YES
2660
|
|
tpdb-8.0/TRS/Applicative_AG01_innermost/#4.15.xml
|
YES
2964
|
|
tpdb-8.0/TRS/Applicative_AG01_innermost/#4.17.xml
|
YES
2945
|
|
tpdb-8.0/TRS/Applicative_AG01_innermost/#4.19.xml
|
YES
3145
|
|
tpdb-8.0/TRS/Applicative_AG01_innermost/#4.22.xml
|
YES
2967
|
|
tpdb-8.0/TRS/Applicative_AG01_innermost/#4.24.xml
|
YES
3095
|
|
tpdb-8.0/TRS/Applicative_AG01_innermost/#4.26.xml
|
YES
3711
|
|
tpdb-8.0/TRS/Applicative_AG01_innermost/#4.28.xml
|
YES
3122
|
|
tpdb-8.0/TRS/Applicative_AG01_innermost/#4.2.xml
|
YES
2873
|
|
tpdb-8.0/TRS/Applicative_AG01_innermost/#4.34.xml
|
YES
3241
|
|
tpdb-8.0/TRS/Applicative_AG01_innermost/#4.36.xml
|
YES
5809
|
|
tpdb-8.0/TRS/Applicative_AG01_innermost/#4.3.xml
|
YES
2716
|
|
tpdb-8.0/TRS/Applicative_AG01_innermost/#4.5.xml
|
YES
2614
|
|
tpdb-8.0/TRS/Applicative_AG01_innermost/#4.7.xml
|
YES
2540
|
|
tpdb-8.0/TRS/Applicative_AG01_innermost/#4.8.xml
|
YES
2842
|
|
tpdb-8.0/TRS/Mixed_innermost/bn111.xml
|
YES
1588
|
|
tpdb-8.0/TRS/Mixed_innermost/cade04.xml
|
TIMEOUT
60610
|
|
tpdb-8.0/TRS/Mixed_innermost/cade05.xml
|
YES
2734
|
|
tpdb-8.0/TRS/Mixed_innermost/cade12.xml
|
TIMEOUT
60762
|
|
tpdb-8.0/TRS/Mixed_innermost/cade13.xml
|
YES
3395
|
|
tpdb-8.0/TRS/Mixed_innermost/gkg.xml
|
YES
1910
|
|
tpdb-8.0/TRS/Mixed_innermost/innermost1.xml
|
YES
1588
|
|
tpdb-8.0/TRS/Mixed_innermost/innermost2.xml
|
YES
2272
|
|
tpdb-8.0/TRS/Mixed_innermost/innermost3.xml
|
YES
1695
|
|
tpdb-8.0/TRS/Mixed_innermost/innermost4.xml
|
YES
2336
|
|
tpdb-8.0/TRS/Mixed_innermost/innermost5.xml
|
MAYBE
18625
|
|
tpdb-8.0/TRS/Mixed_innermost/muladd.xml
|
NO
2132
|
|
tpdb-8.0/TRS/Mixed_innermost/n001.xml
|
NO
4091
|
|
tpdb-8.0/TRS/Mixed_innermost/test10.xml
|
YES
2296
|
|
tpdb-8.0/TRS/Mixed_innermost/test75.xml
|
YES
1746
|
|
tpdb-8.0/TRS/Mixed_innermost/test76.xml
|
YES
1707
|
|
tpdb-8.0/TRS/Mixed_innermost/test77.xml
|
YES
1755
|
|
tpdb-8.0/TRS/Mixed_innermost/test830.xml
|
YES
2068
|
|
tpdb-8.0/TRS/Mixed_innermost/test833.xml
|
YES
1681
|
|
tpdb-8.0/TRS/Mixed_innermost/test9.xml
|
YES
1690
|
|
tpdb-8.0/TRS/Mixed_innermost/thiemann26i.xml
|
YES
9706
|
|
tpdb-8.0/TRS/Mixed_innermost/thiemann28i.xml
|
YES
9978
|
|
tpdb-8.0/TRS/Mixed_innermost/toyama.xml
|
YES
1582
|
|
tpdb-8.0/TRS/Mixed_innermost/tricky1.xml
|
YES
2329
|
|
tpdb-8.0/TRS/Mixed_innermost/wiehe13.xml
|
YES
5453
|
|
tpdb-8.0/TRS/Mixed_innermost/wiehe14.xml
|
YES
5031
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_2_AEL03_C.xml
|
TIMEOUT
60349
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_2_AEL03_GM.xml
|
TIMEOUT
60416
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_2_AEL03_iGM.xml
|
YES
34430
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_2_Luc02c_C.xml
|
YES
3804
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_2_Luc02c_GM.xml
|
YES
2374
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_2_Luc02c_iGM.xml
|
YES
5215
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex14_AEGL02_C.xml
|
TIMEOUT
60478
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex14_AEGL02_GM.xml
|
YES
2628
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex14_AEGL02_iGM.xml
|
YES
4620
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex14_Luc06_C.xml
|
TIMEOUT
60427
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex14_Luc06_GM.xml
|
YES
2614
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex14_Luc06_iGM.xml
|
YES
3915
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex15_Luc06_C.xml
|
YES
2607
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex15_Luc06_GM.xml
|
YES
2329
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex15_Luc06_iGM.xml
|
YES
2544
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex15_Luc98_C.xml
|
YES
6242
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex15_Luc98_GM.xml
|
YES
3597
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex15_Luc98_iGM.xml
|
YES
8946
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex16_Luc06_C.xml
|
TIMEOUT
60316
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex16_Luc06_GM.xml
|
YES
1947
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex16_Luc06_iGM.xml
|
YES
2556
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex18_Luc06_C.xml
|
YES
2673
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex18_Luc06_GM.xml
|
YES
2457
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex18_Luc06_iGM.xml
|
YES
2638
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex18_Luc06_L.xml
|
YES
1474
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GL02a_C.xml
|
YES
6048
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GL02a_GM.xml
|
YES
2558
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GL02a_iGM.xml
|
YES
3342
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GM03_C.xml
|
TIMEOUT
60308
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GM03_GM.xml
|
TIMEOUT
60476
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GM03_iGM.xml
|
TIMEOUT
60284
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GM99_C.xml
|
TIMEOUT
60354
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GM99_GM.xml
|
YES
1927
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_GM99_iGM.xml
|
YES
7148
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Luc02b_C.xml
|
TIMEOUT
60402
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Luc02b_GM.xml
|
TIMEOUT
60355
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Luc02b_iGM.xml
|
TIMEOUT
60412
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Luc04b_C.xml
|
YES
6914
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Luc04b_GM.xml
|
YES
3953
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Luc04b_iGM.xml
|
YES
7766
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Zan97_C.xml
|
YES
2789
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Zan97_GM.xml
|
YES
1592
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex1_Zan97_iGM.xml
|
YES
2549
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex23_Luc06_C.xml
|
YES
2848
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex23_Luc06_GM.xml
|
YES
2424
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex23_Luc06_iGM.xml
|
YES
2424
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex23_Luc06_L.xml
|
YES
1482
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex24_GM04_C.xml
|
TIMEOUT
61645
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex24_GM04_GM.xml
|
YES
1755
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex24_GM04_iGM.xml
|
YES
2633
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex24_Luc06_C.xml
|
YES
4567
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex24_Luc06_GM.xml
|
YES
2285
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex24_Luc06_iGM.xml
|
YES
2746
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex25_Luc06_C.xml
|
YES
3186
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex25_Luc06_GM.xml
|
YES
2665
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex25_Luc06_iGM.xml
|
YES
2937
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex25_Luc06_L.xml
|
YES
1642
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex26_Luc03b_C.xml
|
YES
7922
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex26_Luc03b_GM.xml
|
YES
6070
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex26_Luc03b_iGM.xml
|
YES
13549
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex26_Luc03b_L.xml
|
YES
1965
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex2_Luc02a_C.xml
|
YES
13491
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex2_Luc02a_GM.xml
|
YES
53940
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex2_Luc02a_iGM.xml
|
YES
49870
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex2_Luc02a_L.xml
|
YES
2194
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex2_Luc03b_C.xml
|
YES
5701
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex2_Luc03b_GM.xml
|
YES
4130
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex2_Luc03b_iGM.xml
|
YES
4801
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex2_Luc03b_L.xml
|
YES
1609
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_12_Luc96a_C.xml
|
TIMEOUT
60429
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_12_Luc96a_GM.xml
|
TIMEOUT
61083
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_12_Luc96a_iGM.xml
|
TIMEOUT
60358
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_2_Luc97_C.xml
|
TIMEOUT
60323
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_2_Luc97_GM.xml
|
TIMEOUT
60362
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_2_Luc97_iGM.xml
|
TIMEOUT
60331
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_3_25_Bor03_C.xml
|
YES
6732
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_3_25_Bor03_GM.xml
|
YES
5020
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_3_25_Bor03_iGM.xml
|
YES
11242
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex3_3_25_Bor03_L.xml
|
YES
1584
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_4_Luc96b_C.xml
|
YES
2822
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_4_Luc96b_GM.xml
|
YES
2140
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_4_Luc96b_iGM.xml
|
YES
3510
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_4_Luc96b_L.xml
|
YES
1543
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_15_Bor03_C.xml
|
YES
4851
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_15_Bor03_GM.xml
|
YES
3703
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_15_Bor03_iGM.xml
|
YES
6059
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_15_Bor03_L.xml
|
YES
2120
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_37_Bor03_C.xml
|
TIMEOUT
60324
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_37_Bor03_GM.xml
|
TIMEOUT
60596
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_37_Bor03_iGM.xml
|
TIMEOUT
60369
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_56_Bor03_C.xml
|
TIMEOUT
60492
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_56_Bor03_GM.xml
|
YES
8276
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_56_Bor03_iGM.xml
|
YES
14509
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_77_Bor03_C.xml
|
YES
3458
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_77_Bor03_GM.xml
|
YES
2002
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_7_77_Bor03_iGM.xml
|
YES
3007
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex49_GM04_C.xml
|
YES
11645
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex49_GM04_GM.xml
|
YES
4347
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex49_GM04_iGM.xml
|
YES
8615
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_DLMMU04_C.xml
|
TIMEOUT
60341
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_DLMMU04_GM.xml
|
YES
24801
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_DLMMU04_iGM.xml
|
TIMEOUT
60393
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_Zan97_C.xml
|
TIMEOUT
60285
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_Zan97_GM.xml
|
TIMEOUT
61089
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex4_Zan97_iGM.xml
|
TIMEOUT
60571
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex5_7_Luc97_C.xml
|
TIMEOUT
60337
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex5_7_Luc97_GM.xml
|
TIMEOUT
60393
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex5_7_Luc97_iGM.xml
|
TIMEOUT
60370
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex5_DLMMU04_C.xml
|
YES
16788
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex5_DLMMU04_GM.xml
|
YES
6082
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex5_DLMMU04_iGM.xml
|
YES
20440
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex5_Zan97_C.xml
|
YES
4225
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex5_Zan97_GM.xml
|
YES
3066
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex5_Zan97_iGM.xml
|
YES
5303
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_15_AEL02_C.xml
|
TIMEOUT
60581
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_15_AEL02_GM.xml
|
TIMEOUT
60508
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_15_AEL02_iGM.xml
|
TIMEOUT
60406
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_9_Luc02c_C.xml
|
YES
3772
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_9_Luc02c_GM.xml
|
YES
4900
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_9_Luc02c_iGM.xml
|
YES
6954
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_GM04_C.xml
|
YES
3589
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_GM04_GM.xml
|
YES
1608
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_GM04_iGM.xml
|
YES
2330
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_Luc98_C.xml
|
YES
4653
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_Luc98_GM.xml
|
YES
2994
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_Luc98_iGM.xml
|
YES
4931
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex6_Luc98_L.xml
|
YES
1643
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex7_BLR02_C.xml
|
TIMEOUT
60308
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex7_BLR02_GM.xml
|
TIMEOUT
60334
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex7_BLR02_iGM.xml
|
TIMEOUT
60428
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex8_BLR02_C.xml
|
TIMEOUT
60344
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex8_BLR02_GM.xml
|
TIMEOUT
61092
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex8_BLR02_iGM.xml
|
TIMEOUT
60327
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_BLR02_C.xml
|
YES
11424
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_BLR02_GM.xml
|
YES
6639
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_BLR02_iGM.xml
|
YES
8313
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_BLR02_L.xml
|
YES
1813
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_Luc04_C.xml
|
TIMEOUT
60501
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_Luc04_GM.xml
|
YES
2700
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_Luc04_iGM.xml
|
TIMEOUT
60269
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_Luc06_C.xml
|
YES
4498
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_Luc06_GM.xml
|
YES
2454
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/Ex9_Luc06_iGM.xml
|
YES
2804
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExAppendixB_AEL03_C.xml
|
TIMEOUT
60827
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExAppendixB_AEL03_GM.xml
|
TIMEOUT
60381
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExAppendixB_AEL03_iGM.xml
|
TIMEOUT
60609
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExConc_Zan97_C.xml
|
YES
2827
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExConc_Zan97_GM.xml
|
YES
2464
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExConc_Zan97_iGM.xml
|
YES
2361
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExConc_Zan97_L.xml
|
YES
1539
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_GM01_C.xml
|
YES
7046
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_GM01_GM.xml
|
YES
3724
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_GM01_iGM.xml
|
YES
6939
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_GM04_C.xml
|
YES
5506
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_GM04_GM.xml
|
YES
3231
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_GM04_iGM.xml
|
YES
5682
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_GM99_C.xml
|
TIMEOUT
60383
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_GM99_GM.xml
|
TIMEOUT
60360
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_GM99_iGM.xml
|
TIMEOUT
60514
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_Zan97_C.xml
|
TIMEOUT
60320
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_Zan97_GM.xml
|
TIMEOUT
60399
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExIntrod_Zan97_iGM.xml
|
TIMEOUT
60316
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExProp7_Luc06_C.xml
|
YES
4881
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExProp7_Luc06_GM.xml
|
YES
3118
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExProp7_Luc06_iGM.xml
|
YES
7510
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExProp7_Luc06_L.xml
|
YES
2313
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExSec11_1_Luc02a_C.xml
|
YES
13702
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExSec11_1_Luc02a_GM.xml
|
TIMEOUT
60654
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExSec11_1_Luc02a_iGM.xml
|
YES
18258
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExSec11_1_Luc02a_L.xml
|
YES
2437
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_C.xml
|
TIMEOUT
60492
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_GM.xml
|
TIMEOUT
60518
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_iGM.xml
|
TIMEOUT
60348
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_C.xml
|
TIMEOUT
60895
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_GM.xml
|
YES
21524
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_iGM.xml
|
TIMEOUT
60329
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_C.xml
|
TIMEOUT
60386
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_GM.xml
|
YES
21706
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_iGM.xml
|
TIMEOUT
60428
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_C.xml
|
TIMEOUT
60327
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_GM.xml
|
YES
5419
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_iGM.xml
|
TIMEOUT
60369
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_C.xml
|
TIMEOUT
60301
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_GM.xml
|
YES
6609
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_iGM.xml
|
YES
32431
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_C.xml
|
TIMEOUT
60385
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_GM.xml
|
NO
3700
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_iGM.xml
|
TIMEOUT
60360
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_C.xml
|
TIMEOUT
60314
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_GM.xml
|
NO
4685
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_iGM.xml
|
TIMEOUT
60381
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_C.xml
|
TIMEOUT
60455
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_GM.xml
|
TIMEOUT
60395
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_iGM.xml
|
TIMEOUT
60291
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_C.xml
|
TIMEOUT
60838
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_GM.xml
|
TIMEOUT
60276
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_iGM.xml
|
TIMEOUT
60665
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_C.xml
|
TIMEOUT
60405
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_GM.xml
|
TIMEOUT
60345
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_iGM.xml
|
TIMEOUT
60322
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_C.xml
|
TIMEOUT
60338
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_GM.xml
|
TIMEOUT
60516
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_iGM.xml
|
TIMEOUT
60553
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_C.xml
|
TIMEOUT
60960
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_GM.xml
|
TIMEOUT
60379
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_iGM.xml
|
TIMEOUT
60344
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_C.xml
|
TIMEOUT
60448
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_GM.xml
|
TIMEOUT
60502
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_iGM.xml
|
TIMEOUT
60394
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_C.xml
|
YES
11795
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_GM.xml
|
YES
9236
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_iGM.xml
|
YES
8094
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_noand_C.xml
|
TIMEOUT
60502
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_noand_GM.xml
|
TIMEOUT
60420
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_noand_iGM.xml
|
TIMEOUT
60361
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_C.xml
|
YES
6877
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_GM.xml
|
YES
4636
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_iGM.xml
|
YES
5111
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_noand_C.xml
|
TIMEOUT
60479
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_noand_GM.xml
|
YES
18872
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_noand_iGM.xml
|
TIMEOUT
60346
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_C.xml
|
YES
3919
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_GM.xml
|
YES
2940
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_iGM.xml
|
YES
3364
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_noand_C.xml
|
YES
9808
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_noand_GM.xml
|
YES
4123
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_noand_iGM.xml
|
YES
5635
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_C.xml
|
TIMEOUT
60456
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_GM.xml
|
TIMEOUT
60289
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_iGM.xml
|
TIMEOUT
61023
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_noand_C.xml
|
TIMEOUT
60377
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_noand_GM.xml
|
YES
34008
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_noand_iGM.xml
|
TIMEOUT
60277
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_C.xml
|
TIMEOUT
60283
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_GM.xml
|
TIMEOUT
60303
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_iGM.xml
|
TIMEOUT
60323
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_C.xml
|
TIMEOUT
60358
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_GM.xml
|
YES
16300
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_iGM.xml
|
TIMEOUT
60350
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_C.xml
|
TIMEOUT
60273
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_GM.xml
|
TIMEOUT
60852
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_iGM.xml
|
TIMEOUT
60396
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_C.xml
|
TIMEOUT
60395
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_GM.xml
|
TIMEOUT
60935
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_iGM.xml
|
TIMEOUT
60470
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_complete_C.xml
|
YES
15369
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_complete_GM.xml
|
YES
9310
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_complete_iGM.xml
|
YES
13145
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_complete_noand_C.xml
|
TIMEOUT
60262
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_complete_noand_GM.xml
|
YES
23102
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_complete_noand_iGM.xml
|
TIMEOUT
60470
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_C.xml
|
YES
5426
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_GM.xml
|
YES
4548
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_iGM.xml
|
YES
5979
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_C.xml
|
YES
8583
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_GM.xml
|
YES
6452
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_iGM.xml
|
YES
5695
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_C.xml
|
YES
4419
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_GM.xml
|
YES
3066
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_iGM.xml
|
YES
3281
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_C.xml
|
YES
5759
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_GM.xml
|
YES
3312
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_iGM.xml
|
YES
3859
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_C.xml
|
YES
7640
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_GM.xml
|
YES
5125
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_iGM.xml
|
YES
5283
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_noand_C.xml
|
TIMEOUT
60355
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_noand_GM.xml
|
YES
12361
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_noand_iGM.xml
|
TIMEOUT
60450
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_C.xml
|
YES
6520
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_GM.xml
|
YES
3214
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_iGM.xml
|
YES
4130
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_noand_C.xml
|
TIMEOUT
60347
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_noand_GM.xml
|
YES
7210
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_noand_iGM.xml
|
YES
19563
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_C.xml
|
YES
4601
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_GM.xml
|
YES
3011
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_iGM.xml
|
YES
3106
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_noand_C.xml
|
YES
6356
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_noand_GM.xml
|
YES
3736
|
|
tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_noand_iGM.xml
|
YES
4427
|
|
|
245
|
|---|