commit 957122efded6c57ddb4055aef916060364bca1cf · dekker.one/on-restart-benchmarks

+1 -1

run_all.sh

···

       1
       1
       -
       #!/bin/zsh

     

       1
       1
       +
       #!/usr/bin/env bash

     

       2
       2
        
       trap "exit" INT

     

       3
       3
        
       set -e

     

       4
       4

+1 -1

run_original_chuffed.sh

···

       1
       1
       -
       #!/bin/zsh

     

       1
       1
       +
       #!/usr/bin/env bash

     

       2
       2
        
       trap "exit" INT

     

       3
       3
        
       set -e

     

       4
       4

+1 -1

run_original_gecode.sh

···

       1
       1
       -
       #!/bin/zsh

     

       1
       1
       +
       #!/usr/bin/env bash

     

       2
       2
        
       trap "exit" INT

     

       3
       3
        
       set -e

     

       4
       4

+1 -1

run_record_gecode.sh

···

       1
       1
       -
       #!/usr/bin/env zsh

     

       1
       1
       +
       #!/usr/bin/env bash

     

       2
       2
        
       trap "exit" INT

     

       3
       3
        
       set -e

     

       4
       4

+1 -1

run_replay_gecode.sh

···

       1
       1
       -
       #!/usr/bin/env zsh

     

       1
       1
       +
       #!/usr/bin/env bash

     

       2
       2
        
       trap "exit" INT

     

       3
       3
        
       set -e

     

       4
       4

+1 -1

run_restart_chuffed.sh

···

       1
       1
       -
       #!/bin/zsh

     

       1
       1
       +
       #!/usr/bin/env bash

     

       2
       2
        
       trap "exit" INT

     

       3
       3
        
       set -e

     

       4
       4

+1 -1

run_restart_gecode.sh

···

       1
       1
       -
       #!/bin/zsh

     

       1
       1
       +
       #!/usr/bin/env bash

     

       2
       2
        
       trap "exit" INT

     

       3
       3
        
       set -e

     

       4
       4

+1 -1

setup.sh

···

       1
       1
       -
       #!/usr/bin/env zsh

     

       1
       1
       +
       #!/usr/bin/env bash

     

       2
       2
        
       

     

       3
       3
        
       timeout_sec=120

     

       4
       4
        
       record_timeout_sec=240