Skip to content

Commit

Permalink
Update inputs to relative paths
Browse files Browse the repository at this point in the history
  • Loading branch information
verifit committed Oct 19, 2023
1 parent c83c3dd commit 84d7e08
Show file tree
Hide file tree
Showing 21 changed files with 7,361 additions and 7,361 deletions.
272 changes: 136 additions & 136 deletions inputs/bench-double-automata-inclusion.input
View file

Large diffs are not rendered by default.

160 changes: 80 additions & 80 deletions inputs/bench-double-bool-comb-cox.input
View file

Large diffs are not rendered by default.

1,000 changes: 500 additions & 500 deletions inputs/bench-quintuple-email-filter.input
View file

Large diffs are not rendered by default.

338 changes: 169 additions & 169 deletions inputs/bench-single-presburger-complement.input
View file

Large diffs are not rendered by default.

338 changes: 169 additions & 169 deletions inputs/bench-single-presburger-explicit-complement.input
View file

Large diffs are not rendered by default.

626 changes: 313 additions & 313 deletions inputs/bench-single-z3-noodler-big.input
View file

Large diffs are not rendered by default.

876 changes: 438 additions & 438 deletions inputs/bench-single-z3-noodler.input
View file

Large diffs are not rendered by default.

768 changes: 384 additions & 384 deletions inputs/bench-variadic-bool-comb-ere.input
View file

Large diffs are not rendered by default.

374 changes: 187 additions & 187 deletions inputs/bench-variadic-bool-comb-intersect.input
View file

Large diffs are not rendered by default.

9,744 changes: 4,872 additions & 4,872 deletions inputs/bench-variadic-z3-noodler-intersect.input
View file

Large diffs are not rendered by default.

22 changes: 11 additions & 11 deletions jobs/tacas-24-automata-inclusion.yaml
View file
Original file line number Diff line number Diff line change
@@ -1,43 +1,43 @@
# automata.net using original inputs
automata:
cmd: /home/experiments/bin/automata /home/experiments/programs/automata_inclusion.emp $1 $2
cmd: ./bin/automata ./programs/automata_inclusion.emp $1 $2

# automata.net using mintermized inputs
automata-min:
cmd: /home/experiments/scripts/run_automata.sh /home/experiments/bin/automata /home/experiments/programs/automata_inclusion.emp $1 $2
cmd: ./scripts/run_automata.sh ./bin/automata ./programs/automata_inclusion.emp $1 $2

# mata; our tested library, version 1.0.0
mata:
cmd: /home/experiments/bin/mata-emp-interpreter /home/experiments/programs/automata_inclusion.emp $1 $2
cmd: ./bin/mata-emp-interpreter ./programs/automata_inclusion.emp $1 $2

# mata; our tested library with simulation reduction, version 1.0.0
mata-sim:
cmd: /home/experiments/bin/mata-emp-interpreter /home/experiments/programs/automata_inclusion.emp --sim $1 $2
cmd: ./bin/mata-emp-interpreter ./programs/automata_inclusion.emp --sim $1 $2

# vata
vata:
cmd: /home/experiments/bin/vata-emp-interpreter /home/experiments/programs/automata_inclusion.emp $1 $2
cmd: ./bin/vata-emp-interpreter ./programs/automata_inclusion.emp $1 $2

# awali
awali:
cmd: /home/experiments/bin/awali-emp-interpreter /home/experiments/programs/automata_inclusion.emp $1 $2
cmd: ./bin/awali-emp-interpreter ./programs/automata_inclusion.emp $1 $2

# libmata; python binding for libmata
pymata:
cmd: pyinterpret MataEngine /home/experiments/programs/automata_inclusion.emp $1 $2
cmd: pyinterpret MataEngine ./programs/automata_inclusion.emp $1 $2

# fado
pyfado:
cmd: pyinterpret FadoEngine /home/experiments/programs/automata_inclusion.emp $1 $2
cmd: pyinterpret FadoEngine ./programs/automata_inclusion.emp $1 $2

# automata.py
pyautomata-lib:
cmd: pyinterpret AutomataLibEngine /home/experiments/programs/automata_inclusion.emp $1 $2
cmd: pyinterpret AutomataLibEngine ./programs/automata_inclusion.emp $1 $2

# automatalib
java-automatalib:
cmd: /home/experiments/scripts/run_java.sh /home/experiments/bin/automatalib-emp-interpreter.jar /home/experiments/programs/automata_inclusion.emp $1 $2
cmd: ./scripts/run_java.sh ./bin/automatalib-emp-interpreter.jar ./programs/automata_inclusion.emp $1 $2

# brics
java-brics:
cmd: /home/experiments/scripts/run_java.sh /home/experiments/bin/brics-emp-interpreter.jar /home/experiments/programs/automata_inclusion.emp $1 $2
cmd: ./scripts/run_java.sh ./bin/brics-emp-interpreter.jar ./programs/automata_inclusion.emp $1 $2
22 changes: 11 additions & 11 deletions jobs/tacas-24-bool-comb-cox-diff.yaml
View file
Original file line number Diff line number Diff line change
@@ -1,44 +1,44 @@
# automata.net using original inputs
automata:
cmd: /home/experiments/bin/automata /home/experiments/programs/bool_comb_diff_sat.emp $1 $2
cmd: ./bin/automata ./programs/bool_comb_diff_sat.emp $1 $2

# automata.net using mintermized inputs
automata-min:
cmd: /home/experiments/scripts/run_automata.sh /home/experiments/bin/automata /home/experiments/programs/bool_comb_diff_sat.emp $1 $2
cmd: ./scripts/run_automata.sh ./bin/automata ./programs/bool_comb_diff_sat.emp $1 $2

# mata; our tested library, version 1.0.0
mata:
cmd: /home/experiments/bin/mata-emp-interpreter /home/experiments/programs/bool_comb_diff_sat.emp $1 $2
cmd: ./bin/mata-emp-interpreter ./programs/bool_comb_diff_sat.emp $1 $2

# mata; our tested library with simulation reduction, version 1.0.0
mata-sim:
cmd: /home/experiments/bin/mata-emp-interpreter /home/experiments/programs/bool_comb_diff_sat.emp --sim $1 $2
cmd: ./bin/mata-emp-interpreter ./programs/bool_comb_diff_sat.emp --sim $1 $2

# vata
vata:
cmd: /home/experiments/bin/vata-emp-interpreter /home/experiments/programs/bool_comb_diff_sat.emp $1 $2
cmd: ./bin/vata-emp-interpreter ./programs/bool_comb_diff_sat.emp $1 $2

# awali
awali:
cmd: /home/experiments/bin/awali-emp-interpreter /home/experiments/programs/bool_comb_diff_sat.emp $1 $2
cmd: ./bin/awali-emp-interpreter ./programs/bool_comb_diff_sat.emp $1 $2

# libmata; python binding for libmata
pymata:
cmd: pyinterpret MataEngine /home/experiments/programs/bool_comb_diff_sat.emp $1 $2
cmd: pyinterpret MataEngine ./programs/bool_comb_diff_sat.emp $1 $2

# fado
pyfado:
cmd: pyinterpret FadoEngine /home/experiments/programs/bool_comb_diff_sat.emp $1 $2
cmd: pyinterpret FadoEngine ./programs/bool_comb_diff_sat.emp $1 $2

# automata.py
pyautomata-lib:
cmd: pyinterpret AutomataLibEngine /home/experiments/programs/bool_comb_diff_sat.emp $1 $2
cmd: pyinterpret AutomataLibEngine ./programs/bool_comb_diff_sat.emp $1 $2

# automatalib
java-automatalib:
cmd: /home/experiments/scripts/run_java.sh /home/experiments/bin/automatalib-emp-interpreter.jar /home/experiments/programs/bool_comb_diff_sat.emp $1 $2
cmd: ./scripts/run_java.sh ./bin/automatalib-emp-interpreter.jar ./programs/bool_comb_diff_sat.emp $1 $2

# brics
java-brics:
cmd: /home/experiments/scripts/run_java.sh /home/experiments/bin/brics-emp-interpreter.jar /home/experiments/programs/bool_comb_diff_sat.emp $1 $2
cmd: ./scripts/run_java.sh ./bin/brics-emp-interpreter.jar ./programs/bool_comb_diff_sat.emp $1 $2

22 changes: 11 additions & 11 deletions jobs/tacas-24-bool-comb-cox-inter.yaml
View file
Original file line number Diff line number Diff line change
@@ -1,45 +1,45 @@
# automata.net using original inputs
automata:
cmd: /home/experiments/bin/automata /home/experiments/programs/bool_comb_inter_sat.emp $1 $2
cmd: ./bin/automata ./programs/bool_comb_inter_sat.emp $1 $2

# automata.net using mintermized inputs
automata-min:
cmd: /home/experiments/scripts/run_automata.sh /home/experiments/bin/automata /home/experiments/programs/bool_comb_inter_sat.emp $1 $2
cmd: ./scripts/run_automata.sh ./bin/automata ./programs/bool_comb_inter_sat.emp $1 $2

# mata; our tested library, version 1.0.0
mata:
cmd: /home/experiments/bin/mata-emp-interpreter /home/experiments/programs/bool_comb_inter_sat.emp $1 $2
cmd: ./bin/mata-emp-interpreter ./programs/bool_comb_inter_sat.emp $1 $2

# mata; our tested library with simulation reduction, version 1.0.0
mata-sim:
cmd: /home/experiments/bin/mata-emp-interpreter /home/experiments/programs/bool_comb_inter_sat.emp --sim $1 $2
cmd: ./bin/mata-emp-interpreter ./programs/bool_comb_inter_sat.emp --sim $1 $2


# vata
vata:
cmd: /home/experiments/bin/vata-emp-interpreter /home/experiments/programs/bool_comb_inter_sat.emp $1 $2
cmd: ./bin/vata-emp-interpreter ./programs/bool_comb_inter_sat.emp $1 $2

# awali
awali:
cmd: /home/experiments/bin/awali-emp-interpreter /home/experiments/programs/bool_comb_inter_sat.emp $1 $2
cmd: ./bin/awali-emp-interpreter ./programs/bool_comb_inter_sat.emp $1 $2

# libmata; python binding for libmata
pymata:
cmd: pyinterpret MataEngine /home/experiments/programs/bool_comb_inter_sat.emp $1 $2
cmd: pyinterpret MataEngine ./programs/bool_comb_inter_sat.emp $1 $2

# fado
pyfado:
cmd: pyinterpret FadoEngine /home/experiments/programs/bool_comb_inter_sat.emp $1 $2
cmd: pyinterpret FadoEngine ./programs/bool_comb_inter_sat.emp $1 $2

# automata.py
pyautomata-lib:
cmd: pyinterpret AutomataLibEngine /home/experiments/programs/bool_comb_inter_sat.emp $1 $2
cmd: pyinterpret AutomataLibEngine ./programs/bool_comb_inter_sat.emp $1 $2

# automatalib
java-automatalib:
cmd: /home/experiments/scripts/run_java.sh /home/experiments/bin/automatalib-emp-interpreter.jar /home/experiments/programs/bool_comb_inter_sat.emp $1 $2
cmd: ./scripts/run_java.sh ./bin/automatalib-emp-interpreter.jar ./programs/bool_comb_inter_sat.emp $1 $2

# brics
java-brics:
cmd: /home/experiments/scripts/run_java.sh /home/experiments/bin/brics-emp-interpreter.jar /home/experiments/programs/bool_comb_inter_sat.emp $1 $2
cmd: ./scripts/run_java.sh ./bin/brics-emp-interpreter.jar ./programs/bool_comb_inter_sat.emp $1 $2

22 changes: 11 additions & 11 deletions jobs/tacas-24-bool-comb-cox-union.yaml
View file
Original file line number Diff line number Diff line change
@@ -1,44 +1,44 @@
# automata.net using original inputs
automata:
cmd: /home/experiments/bin/automata /home/experiments/programs/bool_comb_union.emp $1 $2
cmd: ./bin/automata ./programs/bool_comb_union.emp $1 $2

# automata.net using mintermized inputs
automata-min:
cmd: /home/experiments/scripts/run_automata.sh /home/experiments/bin/automata /home/experiments/programs/bool_comb_union.emp $1 $2
cmd: ./scripts/run_automata.sh ./bin/automata ./programs/bool_comb_union.emp $1 $2

# mata; our tested library, version 1.0.0
mata:
cmd: /home/experiments/bin/mata-emp-interpreter /home/experiments/programs/bool_comb_union.emp $1 $2
cmd: ./bin/mata-emp-interpreter ./programs/bool_comb_union.emp $1 $2

# mata; our tested library with simulation reduction, version 1.0.0
mata-sim:
cmd: /home/experiments/bin/mata-emp-interpreter /home/experiments/programs/bool_comb_union.emp --sim $1 $2
cmd: ./bin/mata-emp-interpreter ./programs/bool_comb_union.emp --sim $1 $2

# vata
vata:
cmd: /home/experiments/bin/vata-emp-interpreter /home/experiments/programs/bool_comb_union.emp $1 $2
cmd: ./bin/vata-emp-interpreter ./programs/bool_comb_union.emp $1 $2

# awali
awali:
cmd: /home/experiments/bin/awali-emp-interpreter /home/experiments/programs/bool_comb_union.emp $1 $2
cmd: ./bin/awali-emp-interpreter ./programs/bool_comb_union.emp $1 $2

# libmata; python binding for libmata
pymata:
cmd: pyinterpret MataEngine /home/experiments/programs/bool_comb_union.emp $1 $2
cmd: pyinterpret MataEngine ./programs/bool_comb_union.emp $1 $2

# fado
pyfado:
cmd: pyinterpret FadoEngine /home/experiments/programs/bool_comb_union.emp $1 $2
cmd: pyinterpret FadoEngine ./programs/bool_comb_union.emp $1 $2

# automata.py
pyautomata-lib:
cmd: pyinterpret AutomataLibEngine /home/experiments/programs/bool_comb_union.emp $1 $2
cmd: pyinterpret AutomataLibEngine ./programs/bool_comb_union.emp $1 $2

# automatalib
java-automatalib:
cmd: /home/experiments/scripts/run_java.sh /home/experiments/bin/automatalib-emp-interpreter.jar /home/experiments/programs/bool_comb_union.emp $1 $2
cmd: ./scripts/run_java.sh ./bin/automatalib-emp-interpreter.jar ./programs/bool_comb_union.emp $1 $2

# brics
java-brics:
cmd: /home/experiments/scripts/run_java.sh /home/experiments/bin/brics-emp-interpreter.jar /home/experiments/programs/bool_comb_union.emp $1 $2
cmd: ./scripts/run_java.sh ./bin/brics-emp-interpreter.jar ./programs/bool_comb_union.emp $1 $2

16 changes: 8 additions & 8 deletions jobs/tacas-24-bool-comb-ere.yaml
View file
Original file line number Diff line number Diff line change
@@ -1,26 +1,26 @@
# automata.net using original inputs
automata:
cmd: /home/experiments/bin/automata $1 $2
cmd: ./bin/automata $1 $2

# automata.net using mintermized inputs
automata-min:
cmd: /home/experiments/scripts/run_automata.sh /home/experiments/bin/automata $1 $2
cmd: ./scripts/run_automata.sh ./bin/automata $1 $2

# mata; our tested library, version 1.0.0
mata:
cmd: /home/experiments/bin/mata-emp-interpreter $1 $2
cmd: ./bin/mata-emp-interpreter $1 $2

# mata; our tested library with simulation reduction, version 1.0.0
mata-sim:
cmd: /home/experiments/bin/mata-emp-interpreter $1 --sim $2
cmd: ./bin/mata-emp-interpreter $1 --sim $2

# vata
vata:
cmd: /home/experiments/bin/vata-emp-interpreter $1 $2
cmd: ./bin/vata-emp-interpreter $1 $2

# awali
awali:
cmd: /home/experiments/bin/awali-emp-interpreter $1 $2
cmd: ./bin/awali-emp-interpreter $1 $2

# libmata; python binding for libmata
pymata:
Expand All @@ -36,9 +36,9 @@ pyautomata-lib:

# automatalib
java-automatalib:
cmd: /home/experiments/scripts/run_java.sh /home/experiments/bin/automatalib-emp-interpreter.jar $1 $2
cmd: ./scripts/run_java.sh ./bin/automatalib-emp-interpreter.jar $1 $2

# brics
java-brics:
cmd: /home/experiments/scripts/run_java.sh /home/experiments/bin/brics-emp-interpreter.jar $1 $2
cmd: ./scripts/run_java.sh ./bin/brics-emp-interpreter.jar $1 $2

22 changes: 11 additions & 11 deletions jobs/tacas-24-bool-comb-intersect-union.yaml
View file
Original file line number Diff line number Diff line change
@@ -1,44 +1,44 @@
# automata.net using original inputs
automata:
cmd: /home/experiments/bin/automata /home/experiments/programs/bool_comb_intersect_union.emp $1
cmd: ./bin/automata ./programs/bool_comb_intersect_union.emp $1

# automata.net using mintermized inputs
automata-min:
cmd: /home/experiments/scripts/run_automata.sh /home/experiments/bin/automata /home/experiments/programs/bool_comb_intersect_union.emp $1
cmd: ./scripts/run_automata.sh ./bin/automata ./programs/bool_comb_intersect_union.emp $1

# mata; our tested library, version 1.0.0
mata:
cmd: /home/experiments/bin/mata-emp-interpreter /home/experiments/programs/bool_comb_intersect_union.emp $1
cmd: ./bin/mata-emp-interpreter ./programs/bool_comb_intersect_union.emp $1

# mata; our tested library with simulation reduction, version 1.0.0
mata-sim:
cmd: /home/experiments/bin/mata-emp-interpreter /home/experiments/programs/bool_comb_intersect_union.emp --sim $1
cmd: ./bin/mata-emp-interpreter ./programs/bool_comb_intersect_union.emp --sim $1

# vata
vata:
cmd: /home/experiments/bin/vata-emp-interpreter /home/experiments/programs/bool_comb_intersect_union.emp $1
cmd: ./bin/vata-emp-interpreter ./programs/bool_comb_intersect_union.emp $1

# awali
awali:
cmd: /home/experiments/bin/awali-emp-interpreter /home/experiments/programs/bool_comb_intersect_union.emp $1
cmd: ./bin/awali-emp-interpreter ./programs/bool_comb_intersect_union.emp $1

# libmata; python binding for libmata
pymata:
cmd: pyinterpret MataEngine /home/experiments/programs/bool_comb_intersect_union.emp $1
cmd: pyinterpret MataEngine ./programs/bool_comb_intersect_union.emp $1

# fado
pyfado:
cmd: pyinterpret FadoEngine /home/experiments/programs/bool_comb_intersect_union.emp $1
cmd: pyinterpret FadoEngine ./programs/bool_comb_intersect_union.emp $1

# automata.py
pyautomata-lib:
cmd: pyinterpret AutomataLibEngine /home/experiments/programs/bool_comb_intersect_union.emp $1
cmd: pyinterpret AutomataLibEngine ./programs/bool_comb_intersect_union.emp $1

# automatalib
java-automatalib:
cmd: /home/experiments/scripts/run_java.sh /home/experiments/bin/automatalib-emp-interpreter.jar /home/experiments/programs/bool_comb_intersect_union.emp $1
cmd: ./scripts/run_java.sh ./bin/automatalib-emp-interpreter.jar ./programs/bool_comb_intersect_union.emp $1

# brics
java-brics:
cmd: /home/experiments/scripts/run_java.sh /home/experiments/bin/brics-emp-interpreter.jar /home/experiments/programs/bool_comb_intersect_union.emp $1
cmd: ./scripts/run_java.sh ./bin/brics-emp-interpreter.jar ./programs/bool_comb_intersect_union.emp $1

22 changes: 11 additions & 11 deletions jobs/tacas-24-bool-comb-intersect.yaml
View file
Original file line number Diff line number Diff line change
@@ -1,44 +1,44 @@
# automata.net using original inputs
automata:
cmd: /home/experiments/bin/automata /home/experiments/programs/bool_comb_intersect.emp $1
cmd: ./bin/automata ./programs/bool_comb_intersect.emp $1

# automata.net using mintermized inputs
automata-min:
cmd: /home/experiments/scripts/run_automata.sh /home/experiments/bin/automata /home/experiments/programs/bool_comb_intersect.emp $1
cmd: ./scripts/run_automata.sh ./bin/automata ./programs/bool_comb_intersect.emp $1

# mata; our tested library, version 1.0.0
mata:
cmd: /home/experiments/bin/mata-emp-interpreter /home/experiments/programs/bool_comb_intersect.emp $1
cmd: ./bin/mata-emp-interpreter ./programs/bool_comb_intersect.emp $1

# mata; our tested library with simulation reduction, version 1.0.0
mata-sim:
cmd: /home/experiments/bin/mata-emp-interpreter /home/experiments/programs/bool_comb_intersect.emp --sim $1
cmd: ./bin/mata-emp-interpreter ./programs/bool_comb_intersect.emp --sim $1

# vata
vata:
cmd: /home/experiments/bin/vata-emp-interpreter /home/experiments/programs/bool_comb_intersect.emp $1
cmd: ./bin/vata-emp-interpreter ./programs/bool_comb_intersect.emp $1

# awali
awali:
cmd: /home/experiments/bin/awali-emp-interpreter /home/experiments/programs/bool_comb_intersect.emp $1
cmd: ./bin/awali-emp-interpreter ./programs/bool_comb_intersect.emp $1

# libmata; python binding for libmata
pymata:
cmd: pyinterpret MataEngine /home/experiments/programs/bool_comb_intersect.emp $1
cmd: pyinterpret MataEngine ./programs/bool_comb_intersect.emp $1

# fado
pyfado:
cmd: pyinterpret FadoEngine /home/experiments/programs/bool_comb_intersect.emp $1
cmd: pyinterpret FadoEngine ./programs/bool_comb_intersect.emp $1

# automata.py
pyautomata-lib:
cmd: pyinterpret AutomataLibEngine /home/experiments/programs/bool_comb_intersect.emp $1
cmd: pyinterpret AutomataLibEngine ./programs/bool_comb_intersect.emp $1

# automatalib
java-automatalib:
cmd: /home/experiments/scripts/run_java.sh /home/experiments/bin/automatalib-emp-interpreter.jar /home/experiments/programs/bool_comb_intersect.emp $1
cmd: ./scripts/run_java.sh ./bin/automatalib-emp-interpreter.jar ./programs/bool_comb_intersect.emp $1

# brics
java-brics:
cmd: /home/experiments/scripts/run_java.sh /home/experiments/bin/brics-emp-interpreter.jar /home/experiments/programs/bool_comb_intersect.emp $1
cmd: ./scripts/run_java.sh ./bin/brics-emp-interpreter.jar ./programs/bool_comb_intersect.emp $1

Loading

0 comments on commit 84d7e08

Please sign in to comment.