| benchmark | Jambox |
|---|---|
| tpdb-8.0/TRS/Mixed_relative_SRS/zr03.xml | YES 870 |
| tpdb-8.0/TRS/Mixed_relative_TRS/abp2.xml | TIMEOUT 60392 |
| tpdb-8.0/TRS/Mixed_relative_TRS/abp.xml | TIMEOUT 60350 |
| tpdb-8.0/TRS/Mixed_relative_TRS/assoc.xml | MAYBE 2460 |
| tpdb-8.0/TRS/Mixed_relative_TRS/carbridge.xml | YES 5382 |
| tpdb-8.0/TRS/Mixed_relative_TRS/gcd_list.xml | TIMEOUT 60306 |
| tpdb-8.0/TRS/Mixed_relative_TRS/gcd_many.xml | MAYBE 10667 |
| tpdb-8.0/TRS/Mixed_relative_TRS/gcd.xml | MAYBE 7630 |
| tpdb-8.0/TRS/Mixed_relative_TRS/ijcar2006.xml | YES 2023 |
| tpdb-8.0/TRS/Mixed_relative_TRS/relsubst.xml | MAYBE 6775 |
| tpdb-8.0/TRS/Mixed_relative_TRS/rt-rw4.xml | YES 19125 |
| tpdb-8.0/TRS/Mixed_relative_TRS/trafic.xml | YES 55305 |
| tpdb-8.0/TRS/Relative_05/rt1-1.xml | YES 257 |
| tpdb-8.0/TRS/Relative_05/rt1-2.xml | YES 256 |
| tpdb-8.0/TRS/Relative_05/rt1-3.xml | YES 634 |
| tpdb-8.0/TRS/Relative_05/rt1-4.xml | YES 435 |
| tpdb-8.0/TRS/Relative_05/rt1-5.xml | YES 370 |
| tpdb-8.0/TRS/Relative_05/rt2-1.xml | YES 1237 |
| tpdb-8.0/TRS/Relative_05/rt2-2.xml | YES 251 |
| tpdb-8.0/TRS/Relative_05/rt2-3.xml | YES 365 |
| tpdb-8.0/TRS/Relative_05/rt2-4.xml | YES 1285 |
| tpdb-8.0/TRS/Relative_05/rt2-5.xml | YES 1706 |
| tpdb-8.0/TRS/Relative_05/rt2-7.xml | YES 2630 |
| tpdb-8.0/TRS/Relative_05/rt2-8.xml | MAYBE 2535 |
| tpdb-8.0/TRS/Relative_05/rt3-1.xml | YES 4548 |
| tpdb-8.0/TRS/Relative_05/rt3-2.xml | YES 1507 |
| tpdb-8.0/TRS/Relative_05/rt3-3.xml | MAYBE 1969 |
| tpdb-8.0/TRS/Relative_05/rt3-4.xml | MAYBE 2068 |
| tpdb-8.0/TRS/Relative_05/rt3-5.xml | YES 3404 |
| tpdb-8.0/TRS/Relative_05/rt3-6.xml | MAYBE 2195 |
| tpdb-8.0/TRS/Relative_05/rt3-7.xml | YES 3180 |
| tpdb-8.0/TRS/Relative_05/rt3-8.xml | MAYBE 7258 |
| tpdb-8.0/TRS/Relative_05/rt3-9.xml | YES 1392 |
| tpdb-8.0/TRS/Relative_05/rtL-cbn1.xml | YES 10856 |
| tpdb-8.0/TRS/Relative_05/rtL-cbo.xml | MAYBE 23433 |
| tpdb-8.0/TRS/Relative_05/rtL-evo.xml | TIMEOUT 60302 |
| tpdb-8.0/TRS/Relative_05/rtL-me2.xml | YES 385 |
| tpdb-8.0/TRS/Relative_05/rtL-me3.xml | YES 888 |
| tpdb-8.0/TRS/Relative_05/rtL-rw5.xml | TIMEOUT 60341 |
| tpdb-8.0/TRS/Relative_05/rtL-wl1o.xml | MAYBE 3588 | 24 |