Example | Thm. 26, POLO-filter, no | Thm. 26, POLO-7.1, no |
JAR_TERM/TRS/AProVE/JFP_Ex51.trs | KILLED | 60.00 | YES | 2.98 |
JAR_TERM/TRS/Cime/filliatre.trs | KILLED | 60.00 | YES | 1.81 |
JAR_TERM/TRS/Rubio/wst99.trs | KILLED | 60.00 | YES | 8.52 |
JAR_TERM/TRS/TRCSR/Ex14_AEGL02_C.trs | KILLED | 60.00 | MAYBE | 1.68 |
JAR_TERM/TRS/TRCSR/Ex15_Luc98_FR.trs | KILLED | 60.00 | MAYBE | 3.13 |
JAR_TERM/TRS/TRCSR/Ex1_2_AEL03_C.trs | KILLED | 60.00 | MAYBE | 6.19 |
JAR_TERM/TRS/TRCSR/Ex1_GL02a_C.trs | KILLED | 60.00 | MAYBE | 2.33 |
JAR_TERM/TRS/TRCSR/Ex1_GL02a_FR.trs | KILLED | 60.00 | MAYBE | 2.60 |
JAR_TERM/TRS/TRCSR/Ex1_GL02a_Z.trs | KILLED | 60.00 | MAYBE | 1.16 |
JAR_TERM/TRS/TRCSR/Ex1_GM03_C.trs | KILLED | 60.00 | MAYBE | 2.44 |
JAR_TERM/TRS/TRCSR/Ex1_GM03_FR.trs | KILLED | 60.00 | MAYBE | 19.33 |
JAR_TERM/TRS/TRCSR/Ex1_GM03_GM.trs | KILLED | 60.00 | MAYBE | 33.64 |
JAR_TERM/TRS/TRCSR/Ex1_Luc02b_C.trs | KILLED | 60.00 | MAYBE | 2.38 |
JAR_TERM/TRS/TRCSR/Ex1_Luc02b_GM.trs | KILLED | 60.00 | MAYBE | 29.07 |
JAR_TERM/TRS/TRCSR/Ex26_Luc03b_C.trs | KILLED | 60.00 | MAYBE | 3.38 |
JAR_TERM/TRS/TRCSR/Ex26_Luc03b_FR.trs | KILLED | 60.00 | MAYBE | 19.49 |
JAR_TERM/TRS/TRCSR/Ex26_Luc03b_GM.trs | KILLED | 60.00 | YES | 2.54 |
JAR_TERM/TRS/TRCSR/Ex26_Luc03b_Z.trs | KILLED | 60.00 | MAYBE | 2.08 |
JAR_TERM/TRS/TRCSR/Ex2_Luc02a_C.trs | KILLED | 60.00 | MAYBE | 3.43 |
JAR_TERM/TRS/TRCSR/Ex2_Luc03b_FR.trs | KILLED | 60.00 | YES | 2.62 |
JAR_TERM/TRS/TRCSR/Ex3_12_Luc96a_C.trs | KILLED | 60.00 | MAYBE | 1.89 |
JAR_TERM/TRS/TRCSR/Ex3_12_Luc96a_GM.trs | KILLED | 60.00 | MAYBE | 1.84 |
JAR_TERM/TRS/TRCSR/Ex3_2_Luc97_C.trs | KILLED | 60.00 | MAYBE | 2.88 |
JAR_TERM/TRS/TRCSR/Ex3_2_Luc97_FR.trs | KILLED | 60.00 | MAYBE | 25.71 |
JAR_TERM/TRS/TRCSR/Ex3_2_Luc97_GM.trs | KILLED | 60.00 | MAYBE | 2.02 |
JAR_TERM/TRS/TRCSR/Ex3_2_Luc97_Z.trs | KILLED | 60.00 | MAYBE | 2.81 |
JAR_TERM/TRS/TRCSR/Ex3_3_25_Bor03_C.trs | KILLED | 60.00 | MAYBE | 2.75 |
JAR_TERM/TRS/TRCSR/Ex3_3_25_Bor03_FR.trs | KILLED | 60.00 | MAYBE | 4.62 |
JAR_TERM/TRS/TRCSR/Ex49_GM04_C.trs | KILLED | 60.00 | MAYBE | 2.18 |
JAR_TERM/TRS/TRCSR/Ex49_GM04_FR.trs | KILLED | 60.00 | MAYBE | 28.50 |
JAR_TERM/TRS/TRCSR/Ex49_GM04_GM.trs | KILLED | 60.00 | YES | 4.62 |
JAR_TERM/TRS/TRCSR/Ex4_7_15_Bor03_C.trs | KILLED | 60.00 | MAYBE | 1.68 |
JAR_TERM/TRS/TRCSR/Ex4_7_37_Bor03_C.trs | KILLED | 60.00 | MAYBE | 3.58 |
JAR_TERM/TRS/TRCSR/Ex4_7_56_Bor03_C.trs | KILLED | 60.00 | MAYBE | 1.71 |
JAR_TERM/TRS/TRCSR/Ex4_7_56_Bor03_GM.trs | KILLED | 60.00 | MAYBE | 1.81 |
JAR_TERM/TRS/TRCSR/Ex4_Zan97_C.trs | KILLED | 60.00 | MAYBE | 2.23 |
JAR_TERM/TRS/TRCSR/Ex4_Zan97_GM.trs | KILLED | 60.00 | MAYBE | 9.90 |
JAR_TERM/TRS/TRCSR/Ex5_7_Luc97_C.trs | KILLED | 60.00 | MAYBE | 4.57 |
JAR_TERM/TRS/TRCSR/Ex5_7_Luc97_FR.trs | KILLED | 60.00 | MAYBE | 26.41 |
JAR_TERM/TRS/TRCSR/Ex5_7_Luc97_Z.trs | KILLED | 60.00 | MAYBE | 3.17 |
JAR_TERM/TRS/TRCSR/Ex6_15_AEL02_C.trs | KILLED | 60.00 | MAYBE | 8.19 |
JAR_TERM/TRS/TRCSR/Ex6_15_AEL02_FR.trs | KILLED | 60.00 | MAYBE | 5.05 |
JAR_TERM/TRS/TRCSR/Ex6_15_AEL02_Z.trs | KILLED | 60.00 | MAYBE | 2.54 |
JAR_TERM/TRS/TRCSR/Ex6_9_Luc02c_GM.trs | KILLED | 60.00 | MAYBE | 1.55 |
JAR_TERM/TRS/TRCSR/Ex7_BLR02_C.trs | KILLED | 60.00 | MAYBE | 3.12 |
JAR_TERM/TRS/TRCSR/Ex8_BLR02_C.trs | KILLED | 60.00 | MAYBE | 2.91 |
JAR_TERM/TRS/TRCSR/Ex9_BLR02_C.trs | KILLED | 60.00 | MAYBE | 2.81 |
JAR_TERM/TRS/TRCSR/Ex9_BLR02_FR.trs | KILLED | 60.00 | MAYBE | 4.26 |
JAR_TERM/TRS/TRCSR/Ex9_BLR02_GM.trs | KILLED | 60.00 | YES | 1.81 |
JAR_TERM/TRS/TRCSR/ExAppendixB_AEL03_C.trs | KILLED | 60.00 | MAYBE | 7.12 |
JAR_TERM/TRS/TRCSR/ExIntrod_GM01_C.trs | KILLED | 60.00 | MAYBE | 2.44 |
JAR_TERM/TRS/TRCSR/ExIntrod_GM01_GM.trs | KILLED | 60.00 | MAYBE | 2.86 |
JAR_TERM/TRS/TRCSR/ExIntrod_GM04_C.trs | KILLED | 60.00 | MAYBE | 2.18 |
JAR_TERM/TRS/TRCSR/ExIntrod_GM99_C.trs | KILLED | 60.00 | MAYBE | 4.05 |
JAR_TERM/TRS/TRCSR/ExIntrod_GM99_FR.trs | KILLED | 60.00 | MAYBE | 2.96 |
JAR_TERM/TRS/TRCSR/ExIntrod_GM99_Z.trs | KILLED | 60.00 | MAYBE | 1.14 |
JAR_TERM/TRS/TRCSR/ExIntrod_Zan97_C.trs | KILLED | 60.00 | MAYBE | 3.22 |
JAR_TERM/TRS/TRCSR/ExIntrod_Zan97_FR.trs | KILLED | 60.00 | MAYBE | 1.49 |
JAR_TERM/TRS/TRCSR/ExSec11_1_Luc02a_C.trs | KILLED | 60.00 | MAYBE | 4.21 |
JAR_TERM/TRS/various/04.trs | KILLED | 60.00 | MAYBE | 7.58 |
JAR_TERM/TRS/various/05.trs | KILLED | 60.00 | MAYBE | 7.33 |