Commit 1e6eec4e authored by Anastasiia's avatar Anastasiia

temporary commit: experiments and script

parent 11e34702
#!/bin/bash --posix
## declare an array variable
# declare -a arr=("element1" "element2" "element3")
# ## now loop through the above array
# for i in "${arr[@]}"
# do
# echo "$i"
# # or do whatever with individual element of the array
# done
# figure out how to write a list
declare -a uni=("testcases/relative/changedinputs/Bsplines.scala" \
"testcases/relative/changedinputs/Sine.scala" \
"testcases/relative/changedinputs/Sqrt.scala")
declare -a multi=("testcases/relative/changedinputs/Doppler.scala" \
"testcases/relative/changedinputs/Himmilbeau.scala" \
"testcases/relative/changedinputs/InvertedPendulum.scala" \
"testcases/relative/changedinputs/JetEngine.scala" \
"testcases/relative/changedinputs/Kepler.scala" \
"testcases/relative/changedinputs/RigidBody.scala" \
"testcases/relative/changedinputs/Traincar4.scala" \
"testcases/relative/changedinputs/Turbine.scala")
for file in "${uni[@]}"
do
echo $file
# ./daisy --solver=dreal --relative --rel-rangeMethod=smtcomplete $file >> paper_results/relerr_dreal_uni.txt
done
for file in "${multi[@]}"
do
echo $file
# ./daisy --solver=dreal --relative --rel-rangeMethod=smtcomplete $file >> paper_results/relerr_dreal_multi_nozero.txt
done
echo "testcases/relative/changedinputs/Kepler.scala"
./daisy --solver=dreal --relative --rel-rangeMethod=smtcomplete "testcases/relative/changedinputs/Kepler.scala" >> paper_results/relerr_dreal_multi_nozero.txt
echo "testcases/relative/changedinputs/JetEngine.scala"
./daisy --solver=dreal --relative --rel-rangeMethod=smtcomplete "testcases/relative/changedinputs/JetEngine.scala" >> paper_results/relerr_dreal_multi_nozero.txt
This diff is collapsed.
[ Info ] Using dReal
[ Info ]
[ Info ] Starting specs preprocessing phase
[ Info ] Finished specs preprocessing phase
[ Info ]
[ Info ]
[ Info ] Starting relative error phase
[ Info ] using smtcomplete
[ Info ]
[ Info ] bspline0, bodyReal: ((((1. - u) * (1. - u)) * (1. - u)) / 6.)
[ Info ] Evaluating bspline0...
[ Info ] Computing the error ...
[ Info ] The taylor remainder value is Some(3.0143799520684867e-29)
[ Info ] relError: 1.2587587222556736e-14, time: 5092
[ Info ] using smtcomplete
[ Info ]
[ Info ] bspline1, bodyReal: ((((((3. * u) * u) * u) - ((6. * u) * u)) + 4.) / 6.)
[ Info ] Evaluating bspline1...
[ Info ] Computing the error ...
[ Info ] The taylor remainder value is Some(2.9146677881077386e-30)
[ Info ] relError: 3.856296777341592e-15, time: 2804
[ Info ] using smtcomplete
[ Info ]
[ Info ] bspline2, bodyReal: (((((((-3. * u) * u) * u) + ((3. * u) * u)) + (3. * u)) + 1.) / 6.)
[ Info ] Evaluating bspline2...
[ Info ] Computing the error ...
[ Info ] The taylor remainder value is Some(7.8378338710370025e-31)
[ Info ] relError: 1.1098041756520583e-15, time: 3154
[ Info ] using smtcomplete
[ Info ]
[ Info ] bspline3, bodyReal: (((-(u) * u) * u) / 6.)
[ Info ] Evaluating bspline3...
[ Info ] Computing the error ...
[ Info ] The taylor remainder value is Some(6.847750913376841e-30)
[ Info ] relError: 4.3910187985663e-15, time: 792
[ Info ] Finished relative error phase
[ Info ] time:
[ Info ] relError: 11955 ms, preprocess: 56 ms, frontend: 3837 ms, total: 15864 ms
[ Info ] Using dReal
[ Info ]
[ Info ] Starting specs preprocessing phase
[ Info ] Finished specs preprocessing phase
[ Info ]
[ Info ]
[ Info ] Starting relative error phase
[ Info ] using smtcomplete
[ Info ]
[ Info ] sine, bodyReal: (((x - (((x * x) * x) / 6.)) + (((((x * x) * x) * x) * x) / 120.)) - (((((((x * x) * x) * x) * x) * x) * x) / 5040.))
[ Info ] Evaluating sine...
[ Info ] Computing the error ...
[ Info ] The taylor remainder value is Some(4.3203367940165124e-31)
[ Info ] relError: 7.986628249240502e-16, time: 26369
[ Info ] using smtcomplete
[ Info ]
[ Info ] sineOrder3, bodyReal: ((0.954929658551372 * x) - (0.12900613773279798 * ((x * x) * x)))
[ Info ] Evaluating sineOrder3...
[ Info ] Computing the error ...
[ Info ] The taylor remainder value is Some(4.907725217818671e-31)
[ Info ] relError: 1.052962545950385e-15, time: 1384
[ Info ] Finished relative error phase
[ Info ] time:
[ Info ] relError: 27862 ms, preprocess: 17 ms, frontend: 4037 ms, total: 31957 ms
[ Info ] Using dReal
[ Info ]
[ Info ] Starting specs preprocessing phase
[ Info ] Finished specs preprocessing phase
[ Info ]
[ Info ]
[ Info ] Starting relative error phase
[ Info ] using smtcomplete
[ Info ]
[ Info ] sqroot, bodyReal: ((((1. + (0.5 * x)) - ((0.125 * x) * x)) + (((0.0625 * x) * x) * x)) - ((((0.0390625 * x) * x) * x) * x))
[ Info ] Evaluating sqroot...
[ Info ] Computing the error ...
[ Info ] The taylor remainder value is Some(1.7774542733193323e-31)
[ Info ] relError: 6.172954323520785e-16, time: 6040
[ Info ] Finished relative error phase
[ Info ] time:
[ Info ] relError: 6149 ms, preprocess: 13 ms, frontend: 3602 ms, total: 9802 ms
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment