cleaning up code for tacas repeatability evaluation

.gitignore

demo/tacas2023/exp1/exp1.py

demo/tacas2023/exp1/exp1_sim.py

demo/tacas2023/exp1/output1.json

demo/tacas2023/exp1/output1_sim.json

demo/tacas2023/exp10/exp10_dryvr.py

demo/tacas2023/exp10/exp10_neureach.py

demo/tacas2023/exp10/output10_NeuReach.json

demo/tacas2023/exp10/output10_dryvr.json

demo/tacas2023/exp2/exp2_curve.py

demo/tacas2023/exp2/exp2_straight.py

demo/tacas2023/exp3/exp3.py

demo/tacas2023/exp3/output3.json

demo/tacas2023/exp4/exp4.py

demo/tacas2023/exp4/output4_noisy.json

demo/tacas2023/exp4/output4_nonoise.json

demo/tacas2023/exp5/exp5.py

demo/tacas2023/exp5/output5.json

demo/tacas2023/exp6/exp6_dryvr.py

demo/tacas2023/exp6/exp6_neureach.py