diff --git a/generate-summary-with-ce-search-tacas2024.sh b/generate-summary-with-ce-search-tacas2024.sh index ecb7165..7027471 100755 --- a/generate-summary-with-ce-search-tacas2024.sh +++ b/generate-summary-with-ce-search-tacas2024.sh @@ -2,12 +2,12 @@ ./compare-learners.sh -h -./compare-learners.sh ct-with-rwalk abp_output -./compare-learners.sh ct-with-rwalk abp_receiver3 ./compare-learners.sh ct-with-rwalk channel_frame +./compare-learners.sh ct-with-rwalk abp_receiver3 +./compare-learners.sh ct-with-rwalk palindrome ./compare-learners.sh ct-with-rwalk login +./compare-learners.sh ct-with-rwalk abp_output ./compare-learners.sh ct-with-rwalk sip -./compare-learners.sh ct-with-rwalk palindrome ./compare-learners.sh ct-datastructures fifo_size_3.register ./compare-learners.sh ct-datastructures fifo_size_5.register