echo "allErrors TSO"
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/dekker.txt -P safety -MM TSO -Mode allErrors -e 2 4 4
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/peterson.txt -P safety -MM TSO -Mode allErrors -e 2 5 5
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/burns.txt -P safety -MM TSO -Mode allErrors -e 2 4 3
echo "errorCorrection TSO"
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/dekker.txt -P safety -MM TSO -Mode errorCorrection -e 2 4 4
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/peterson.txt -P safety -MM TSO -Mode errorCorrection -e 2 5 5
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/peterson_gen_3.txt -P safety -MM TSO -Mode errorCorrection -e 2 4 4 4
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/bakery_2_bound.txt -P safety -MM TSO -Mode errorCorrection -e 2 15 15
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/bakery_3_bound.txt -P safety -MM TSO -Mode errorCorrection -e 2 28 28 28
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/burns.txt -P safety -MM TSO -Mode errorCorrection -e 2 4 3
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/szymanski.txt -P safety -MM TSO -Mode errorCorrection -e 2 26 27
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/dijkstra.txt -P safety -MM TSO -Mode errorCorrection -e 2 3 3
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/fast_mutex.txt -P safety -MM TSO -Mode errorCorrection -e 2 36 36
echo "errorCorrection TSO maximal permissive"
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/dekker.txt -P safety -MM TSO -Mode errorCorrection -e 2 4 4 -maximalPermissive
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/peterson.txt -P safety -MM TSO -Mode errorCorrection -e 2 5 5 -maximalPermissive
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/peterson_gen_3.txt -P safety -MM TSO -Mode errorCorrection -e 2 4 4 4 -maximalPermissive
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/bakery_2_bound.txt -P safety -MM TSO -Mode errorCorrection -e 2 15 15 -maximalPermissive
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/bakery_3_bound.txt -P safety -MM TSO -Mode errorCorrection -e 2 28 28 28 -maximalPermissive
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/burns.txt -P safety -MM TSO -Mode errorCorrection -e 2 4 3 -maximalPermissive
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/szymanski.txt -P safety -MM TSO -Mode errorCorrection -e 2 26 27 -maximalPermissive
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/dijkstra.txt -P safety -MM TSO -Mode errorCorrection -e 2 3 3 -maximalPermissive
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/fast_mutex.txt -P safety -MM TSO -Mode errorCorrection -e 2 36 36 -maximalPermissive
echo "TSO-safe programs"
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/alternating_bit.txt -P safety -MM TSO -Mode allErrors -e 2 3 12 -e 2 12 3
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/clh_queue_lock.txt -P safety -MM TSO -Mode allErrors -e 2 15 15
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/incr_seq.txt -P safety -MM TSO -Mode allErrors -e 1 100 4
echo "mixable cycles TSO"
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/parallel_cycle_test.txt -P safety -MM TSO -Mode allErrors -e 1 100
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/parallel_cycle_test2.txt -P safety -MM TSO -Mode allErrors -e 1 100
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/unlock_cycle.txt -P safety -MM TSO -Mode allErrors -e 2 100 100
echo "Deadlock TSO"
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/deadlock.txt -P deadlock -MM TSO -Mode allErrors
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/deadlock.txt -P deadlock -MM TSO -Mode errorCorrection
echo "allErrors PSO"
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/dekker.txt -P safety -MM PSO -Mode allErrors -e 2 4 4
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/peterson.txt -P safety -MM PSO -Mode allErrors -e 2 5 5
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/burns.txt -P safety -MM PSO -Mode allErrors -e 2 4 3
echo "errorCorrection PSO"
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/dekker.txt -P safety -MM PSO -Mode errorCorrection -e 2 4 4
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/peterson.txt -P safety -MM PSO -Mode errorCorrection -e 2 5 5
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/peterson_gen_3.txt -P safety -MM PSO -Mode errorCorrection -e 2 4 4 4
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/bakery_2_bound.txt -P safety -MM PSO -Mode errorCorrection -e 2 15 15
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/burns.txt -P safety -MM PSO -Mode errorCorrection -e 2 4 3
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/szymanski.txt -P safety -MM PSO -Mode errorCorrection -e 2 26 27
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/dijkstra.txt -P safety -MM PSO -Mode errorCorrection -e 2 3 3
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/fast_mutex.txt -P safety -MM PSO -Mode errorCorrection -e 2 36 36
echo "errorCorrection PSO maximal permissive"
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/dekker.txt -P safety -MM PSO -Mode errorCorrection -e 2 4 4 -maximalPermissive
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/peterson.txt -P safety -MM PSO -Mode errorCorrection -e 2 5 5 -maximalPermissive
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/peterson_gen_3.txt -P safety -MM PSO -Mode errorCorrection -e 2 4 4 4 -maximalPermissive
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/bakery_2_bound.txt -P safety -MM PSO -Mode errorCorrection -e 2 15 15 -maximalPermissive
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/burns.txt -P safety -MM PSO -Mode errorCorrection -e 2 4 3 -maximalPermissive
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/szymanski.txt -P safety -MM PSO -Mode errorCorrection -e 2 26 27 -maximalPermissive
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/dijkstra.txt -P safety -MM PSO -Mode errorCorrection -e 2 3 3 -maximalPermissive
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/fast_mutex.txt -P safety -MM PSO -Mode errorCorrection -e 2 36 36 -maximalPermissive
echo "PSO-safe programs"
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/alternating_bit.txt -P safety -MM TSO -Mode allErrors -e 2 3 12 -e 2 12 3
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/clh_queue_lock.txt -P safety -MM TSO -Mode allErrors -e 2 15 15
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/incr_seq.txt -P safety -MM TSO -Mode allErrors -e 1 100 4
echo "mixable cycles PSO"
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/parallel_cycle_test.txt -P safety -MM TSO -Mode allErrors -e 1 100
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/parallel_cycle_test2.txt -P safety -MM TSO -Mode allErrors -e 1 100
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/unlock_cycle.txt -P safety -MM TSO -Mode allErrors -e 2 100 100
echo "Deadlock PSO"
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/deadlock.txt -P deadlock -MM TSO -Mode allErrors
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/deadlock.txt -P deadlock -MM TSO -Mode errorCorrection
echo "deadlock needs correction under PSO with sfence"
java -Xss2048k -Xmx4096m -jar remmex.jar -f testcases/test_sfence.txt -P deadlock -MM PSO -Mode errorCorrection


