| benchmark
|
AProVE
|
Jambox
|
|
tpdb-8.0/TRS/Mixed_outermost/afbg.xml
|
TIMEOUT
60573
|
MAYBE
230
|
|
tpdb-8.0/TRS/Mixed_outermost/even.xml
|
NO
1860
|
MAYBE
231
|
|
tpdb-8.0/TRS/Mixed_outermost/ex1.xml
|
YES
2662
|
MAYBE
234
|
|
tpdb-8.0/TRS/Mixed_outermost/ex2.xml
|
TIMEOUT
60576
|
MAYBE
232
|
|
tpdb-8.0/TRS/Mixed_outermost/ex4.xml
|
YES
3472
|
MAYBE
233
|
|
tpdb-8.0/TRS/Mixed_outermost/ex5.xml
|
YES
2147
|
MAYBE
228
|
|
tpdb-8.0/TRS/Mixed_outermost/non-lin1.xml
|
YES
2500
|
MAYBE
227
|
|
tpdb-8.0/TRS/Mixed_outermost/odd.xml
|
TIMEOUT
60607
|
MAYBE
233
|
|
tpdb-8.0/TRS/Mixed_outermost/patterns1.xml
|
TIMEOUT
60519
|
MAYBE
234
|
|
tpdb-8.0/TRS/Mixed_outermost/patterns2.xml
|
TIMEOUT
60805
|
MAYBE
231
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/001.xml
|
NO
1719
|
MAYBE
234
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/2.05.xml
|
NO
2132
|
MAYBE
234
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/#4.15.xml
|
NO
1741
|
MAYBE
232
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/#4.18.xml
|
NO
1817
|
MAYBE
228
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/append-wrong.xml
|
TIMEOUT
60695
|
MAYBE
230
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/cime4.xml
|
NO
1747
|
MAYBE
233
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_2_AEL03_L.xml
|
NO
1685
|
MAYBE
176
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_2_Luc02c.xml
|
NO
1742
|
MAYBE
235
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_AEGL02_L.xml
|
NO
1803
|
MAYBE
230
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_Luc06_FR.xml
|
NO
4861
|
MAYBE
232
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_Luc06_L.xml
|
NO
1811
|
MAYBE
229
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex14_Luc06_Z.xml
|
NO
5521
|
MAYBE
229
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex15_Luc06_L.xml
|
NO
1860
|
MAYBE
234
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex15_Luc98.xml
|
NO
1747
|
MAYBE
233
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex16_Luc06_L.xml
|
NO
1854
|
MAYBE
232
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GL02a_L.xml
|
NO
1859
|
MAYBE
233
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GL02a_Z.xml
|
TIMEOUT
60981
|
MAYBE
234
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM99_GM.xml
|
TIMEOUT
60872
|
MAYBE
226
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM99_iGM.xml
|
TIMEOUT
61059
|
MAYBE
233
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM99.xml
|
NO
1742
|
MAYBE
232
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_GM99_Z.xml
|
NO
1851
|
MAYBE
229
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Luc04b_FR.xml
|
TIMEOUT
61063
|
MAYBE
233
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Zan97_FR.xml
|
NO
1950
|
MAYBE
226
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Zan97.xml
|
NO
1798
|
MAYBE
231
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex1_Zan97_Z.xml
|
NO
1914
|
MAYBE
230
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_GM04_L.xml
|
NO
1759
|
MAYBE
229
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex24_Luc06_iGM.xml
|
TIMEOUT
60783
|
MAYBE
233
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex2_Luc03b.xml
|
NO
1697
|
MAYBE
228
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex3_12_Luc96a_L.xml
|
NO
1639
|
MAYBE
177
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex4_7_77_Bor03.xml
|
NO
1810
|
MAYBE
233
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex5_7_Luc97.xml
|
NO
1766
|
MAYBE
228
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_GM04.xml
|
TIMEOUT
60641
|
MAYBE
229
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex6_Luc98.xml
|
NO
1713
|
MAYBE
230
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/ex6.xml
|
YES
18941
|
MAYBE
230
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex7_BLR02_L.xml
|
NO
1633
|
MAYBE
179
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex8_BLR02.xml
|
NO
1746
|
MAYBE
233
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_BLR02.xml
|
NO
1767
|
MAYBE
229
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_Luc04_Z.xml
|
NO
1748
|
MAYBE
231
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/Ex9_Luc06_FR.xml
|
NO
1844
|
MAYBE
235
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM04_FR.xml
|
TIMEOUT
60653
|
MAYBE
238
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM04.xml
|
NO
1818
|
MAYBE
233
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_GM99_Z.xml
|
TIMEOUT
60964
|
MAYBE
235
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_Zan97.xml
|
NO
1754
|
MAYBE
231
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/ExIntrod_Zan97_Z.xml
|
NO
1765
|
MAYBE
233
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/jwno4.xml
|
NO
1861
|
MAYBE
235
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/jwno9.xml
|
TIMEOUT
60583
|
MAYBE
234
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_complete-noand_L.xml
|
NO
1737
|
MAYBE
183
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds-noand_Z.xml
|
TIMEOUT
60679
|
MAYBE
232
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts-noand_FR.xml
|
NO
3273
|
MAYBE
228
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts-noand_L.xml
|
NO
1631
|
MAYBE
180
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_Z.xml
|
NO
1812
|
MAYBE
232
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/LISTUTILITIES_complete_L.xml
|
NO
1874
|
MAYBE
180
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/LISTUTILITIES_nokinds-noand_L.xml
|
NO
1808
|
MAYBE
178
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/n004.xml
|
NO
1802
|
MAYBE
233
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/n006.xml
|
NO
1797
|
MAYBE
232
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/n007.xml
|
NO
1745
|
MAYBE
237
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/nonterm.xml
|
TIMEOUT
60665
|
MAYBE
227
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_complete_L.xml
|
NO
1742
|
MAYBE
179
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_complete-noand_L.xml
|
NO
1802
|
MAYBE
184
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nokinds-noand_L.xml
|
NO
1689
|
MAYBE
184
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/OvConsOS_nosorts_noand_GM.xml
|
TIMEOUT
60628
|
MAYBE
237
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/PALINDROME_nokinds-noand_L.xml
|
NO
1813
|
MAYBE
233
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/PEANO_complete-noand_L.xml
|
NO
1684
|
MAYBE
180
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/PEANO_nosorts-noand_L.xml
|
NO
1642
|
MAYBE
180
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/test9.xml
|
NO
1927
|
MAYBE
234
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/thiemann28.xml
|
TIMEOUT
60790
|
MAYBE
231
|
|
tpdb-8.0/TRS/Strategy_outermost_added_08/ttt1.xml
|
NO
1752
|
MAYBE
235
|
|
tpdb-8.0/TRS/Zantema_08/cariboo_add1.xml
|
TIMEOUT
60493
|
MAYBE
240
|
|
tpdb-8.0/TRS/Zantema_08/cariboo_len3.xml
|
TIMEOUT
60515
|
MAYBE
245
|
|
tpdb-8.0/TRS/Zantema_08/cariboo_nl_3.xml
|
TIMEOUT
60671
|
MAYBE
229
|
|
tpdb-8.0/TRS/Zantema_08/countbin.xml
|
TIMEOUT
60660
|
MAYBE
232
|
|
tpdb-8.0/TRS/Zantema_08/ex0.xml
|
TIMEOUT
60566
|
MAYBE
232
|
|
tpdb-8.0/TRS/Zantema_08/ex1.xml
|
TIMEOUT
60599
|
MAYBE
228
|
|
tpdb-8.0/TRS/Zantema_08/ex3.xml
|
TIMEOUT
60541
|
MAYBE
228
|
|
tpdb-8.0/TRS/Zantema_08/ex4.xml
|
YES
13258
|
MAYBE
233
|
|
tpdb-8.0/TRS/Zantema_08/ex9.xml
|
YES
7675
|
MAYBE
230
|
|
tpdb-8.0/TRS/Zantema_08/f_2_2.xml
|
YES
7308
|
MAYBE
233
|
|
tpdb-8.0/TRS/Zantema_08/g_2_const.xml
|
YES
2302
|
MAYBE
230
|
|
tpdb-8.0/TRS/Zantema_08/g_2_f_var.xml
|
YES
2425
|
MAYBE
233
|
|
tpdb-8.0/TRS/Zantema_08/inn_out.xml
|
NO
1801
|
MAYBE
235
|
|
tpdb-8.0/TRS/Zantema_08/morse.xml
|
TIMEOUT
60551
|
MAYBE
234
|
|
tpdb-8.0/TRS/Zantema_08/toyama_stop.xml
|
TIMEOUT
60580
|
MAYBE
230
|
|
|
64
|
0
|
|---|