Commit 074ea9df authored by Heiko Becker's avatar Heiko Becker

Cleanup, move daisy into a submodule

parent 40321a37
......@@ -42,7 +42,6 @@ hol4/binary/cake_checker
hol4/binary/checker.S
hol4/output/certificate_*
daisy
rawdata/*
.ensime*
last.log
......
......@@ -2,3 +2,8 @@
branch = master
path = hol4/cakeml
url = https://github.com/CakeML/cakeml.git
[submodule "daisy"]
branch = certificates
path = daisy
url = git-rts@gitlab.mpi-sws.org:AVA/daisy.git
Copyright (c) 2009-2015 EPFL, Lausanne, unless otherwise specified. All rights
reserved.
This software was developed by the Laboratory for Automated Reasoning and
Analysis (LARA) of the Swiss Federal Institute of Technology (EPFL), Lausanne,
Switzerland.
Redistribution and use in source and binary forms, with or without
modification, are permitted provided that the following conditions are met:
1. Redistributions of source code must retain the above copyright notice,
this list of conditions and the following disclaimer.
2. Redistributions in binary form must reproduce the above copyright notice,
this list of conditions and the following disclaimer in the documentation
and/or other materials provided with the distribution.
THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ''AS IS'' AND ANY
EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE FOR ANY
DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
(INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON
ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
The views and conclusions contained in the software and documentation are those
of the authors and should not be interpreted as representing official policies,
either expressed or implied, of EPFL.
#include <stdio.h>
#include <iostream>
#include <cstdlib> // Include rand()
#include <chrono>
#include <math.h>
#include <qd/qd_real.h>
#include <qd/fpu.h>
using namespace std;
using namespace std::chrono;
float sineFloat(float x) {
return x - (x*x*x)/6.0f + (x*x*x*x*x)/120.0f - (x*x*x*x*x*x*x)/5040.0f;
}
double sineDouble(double x) {
return x - (x*x*x)/6.0 + (x*x*x*x*x)/120.0 - (x*x*x*x*x*x*x)/5040.0;
}
/*qd_real sineQD(qd_real x) {
return x - (x*x*x)/qd_real(6.0, 0.0, 0.0, 0.0) + (x*x*x*x*x)/qd_real(120.0) - (x*x*x*x*x*x*x)/qd_real(5040.0);
}*/
int sineFixedInt(int x) {
int _tmp1 = ((x * x) >> 14);
int _tmp2 = ((_tmp1 * x) >> 14);
int _tmp3 = ((_tmp2 << 15) / 24576);
int _tmp4 = (((x << 1) - _tmp3) << 1);
int _tmp5 = ((x * x) >> 14);
int _tmp6 = ((_tmp5 * x) >> 14);
int _tmp7 = ((_tmp6 * x) >> 14);
int _tmp8 = ((_tmp7 * x) >> 14);
int _tmp9 = ((_tmp8 << 14) / 30720);
int _tmp10 = ((_tmp4 + _tmp9) >> 1);
int _tmp11 = ((x * x) >> 14);
int _tmp12 = ((_tmp11 * x) >> 14);
int _tmp13 = ((_tmp12 * x) >> 14);
int _tmp14 = ((_tmp13 * x) >> 14);
int _tmp15 = ((_tmp14 * x) >> 14);
int _tmp16 = ((_tmp15 * x) >> 14);
int _tmp17 = ((_tmp16 << 10) / 20160);
int _tmp18 = (((_tmp10 << 1) - _tmp17) >> 1);
_tmp18;
}
long sineFixedLong(long x) {
long _tmp1 = ((x * x) >> 30);
long _tmp2 = ((_tmp1 * x) >> 30);
long _tmp3 = ((_tmp2 << 31) / 1610612736l);
long _tmp4 = (((x << 1) - _tmp3) << 1);
long _tmp5 = ((x * x) >> 30);
long _tmp6 = ((_tmp5 * x) >> 30);
long _tmp7 = ((_tmp6 * x) >> 30);
long _tmp8 = ((_tmp7 * x) >> 30);
long _tmp9 = ((_tmp8 << 30) / 2013265920l);
long _tmp10 = ((_tmp4 + _tmp9) >> 1);
long _tmp11 = ((x * x) >> 30);
long _tmp12 = ((_tmp11 * x) >> 30);
long _tmp13 = ((_tmp12 * x) >> 30);
long _tmp14 = ((_tmp13 * x) >> 30);
long _tmp15 = ((_tmp14 * x) >> 30);
long _tmp16 = ((_tmp15 * x) >> 30);
long _tmp17 = ((_tmp16 << 26) / 1321205760l);
long _tmp18 = ((_tmp10 << 1) - _tmp17);
_tmp18;
}
double fRand(double fMin, double fMax) {
double f = (double)rand() / RAND_MAX;
return fMin + f * (fMax - fMin);
}
long float2Long(double f, int bits) {
return (long) round(f * pow(2, bits));
}
int float2Int(double f, int bits) {
return round(f * pow(2, bits));
}
int main() {
srand (time(NULL));
// ensure that 80-bit arithmetic is not in place
// this call forces 64-bit arithmetic
//unsigned int old_cw;
//fpu_fix_start(&old_cw);
int bound = 1000;
{
high_resolution_clock::time_point t1 = high_resolution_clock::now();
float res = 0.0f;
int i = 0;
while(i < bound) {
res += sineFloat(fRand(-1.57079632679f, 1.57079632679f));
i++;
}
high_resolution_clock::time_point t2 = high_resolution_clock::now();
duration<double> time_span = duration_cast<duration<double>>(t2 - t1);
cout << "time float: " << time_span.count() << "\n";
}
{
high_resolution_clock::time_point t1 = high_resolution_clock::now();
double res = 0.0;
int i = 0;
while(i < bound) {
res += sineDouble(fRand(-1.57079632679, 1.57079632679));
i++;
}
high_resolution_clock::time_point t2 = high_resolution_clock::now();
duration<double> time_span = duration_cast<duration<double>>(t2 - t1);
cout << "time double: " << time_span.count() << "\n";
}
{
high_resolution_clock::time_point t1 = high_resolution_clock::now();
int res = 0;
int i = 0;
while(i < bound) {
res += sineFixedInt(float2Int(fRand(-1.57079632679, 1.57079632679), 13));
i++;
}
high_resolution_clock::time_point t2 = high_resolution_clock::now();
duration<double> time_span = duration_cast<duration<double>>(t2 - t1);
cout << "time int: " << time_span.count() << "\n";
}
{
high_resolution_clock::time_point t1 = high_resolution_clock::now();
long res = 0l;
int i = 0;
while(i < bound) {
res += sineFixedLong(float2Long(fRand(-1.57079632679, 1.57079632679), 29));
i++;
}
high_resolution_clock::time_point t2 = high_resolution_clock::now();
duration<double> time_span = duration_cast<duration<double>>(t2 - t1);
cout << "time long: " << time_span.count() << "\n";
}
//qd_real x = qd_real(x0, x1, x2, x3);
/*{
high_resolution_clock::time_point t1 = high_resolution_clock::now();
qd_real res = qd_real(0.0);
int i = 0;
while(i < bound) {
res += sineQD(qd_real(fRand(-1.57079632679, 1.57079632679)));
i++;
}
high_resolution_clock::time_point t2 = high_resolution_clock::now();
duration<double> time_span = duration_cast<duration<double>>(t2 - t1);
cout << "time long: " << time_span.count() << "\n";
}
fpu_fix_end(&old_cw);*/
}
name := "Daisy"
version := "0.0"
organization := "org.mpi-sws.ava"
//enablePlugins(ScalaNativePlugin)
scalaVersion := "2.11.11"
scalacOptions ++= Seq(
"-deprecation",
"-unchecked",
"-feature",
"-Ywarn-unused-import",
"-Ywarn-unused",
"-Ywarn-dead-code",
"-Xlint:_,-adapted-args")
resolvers += "Typesafe Repository" at "http://repo.typesafe.com/typesafe/releases/"
resolvers += "Sonatype OSS Snapshots" at "https://oss.sonatype.org/content/repositories/snapshots"
libraryDependencies ++= Seq(
"org.scala-lang" % "scala-compiler" % "2.11.11",
"org.scalatest" % "scalatest_2.11" % "2.2.4" % "test",
"com.storm-enroute" %% "scalameter" % "0.7",
"com.regblanc" % "scala-smtlib_2.11" % "0.2",
"org.fusesource.hawtjni" % "hawtjni-runtime" % "1.9" //for JNI
)
envVars := Map("LC_NUMERIC" -> "en_US.UTF-8")
Keys.fork in run := true
javaOptions in run ++= Seq(
"-Xms256M", "-Xmx2G", "-XX:+UseConcMarkSweepGC")
Keys.fork in Test := true //for native libraries to be on correct path
val scalaMeterFramework = new TestFramework("org.scalameter.ScalaMeterFramework")
testFrameworks += scalaMeterFramework
lazy val Benchmark = config("bench") extend Test
testOptions in Test += Tests.Argument(scalaMeterFramework, "-silent")
ivyLoggingLevel in clean := UpdateLogging.Quiet
ivyLoggingLevel in Test := UpdateLogging.Quiet
parallelExecution in Test := false
logBuffered := false
lazy val basic = Project("daisy", file(".")
) configs(
Benchmark
) settings(
inConfig(Benchmark)(Defaults.testSettings): _*
)
lazy val apps = project in file("apps")
lazy val scriptFile = file(".") / "daisy"
clean := {
clean.value
if(scriptFile.exists && scriptFile.isFile) {
scriptFile.delete
}
}
lazy val script = taskKey[Unit]("Generate the daisy Bash script")
script := {
val s = streams.value
try {
val cps = (dependencyClasspath in Compile).value
val out = (classDirectory in Compile).value
val res = (resourceDirectory in Compile).value
//val is64 = System.getProperty("sun.arch.data.model") == "64"
val f = scriptFile
if(f.exists) {
s.log.info("Regenerating '"+f.getName+"' script ...")
f.delete
} else {
s.log.info("Generating '"+f.getName+"' script ...")
}
val paths = (res.getAbsolutePath +: out.getAbsolutePath +: cps.map(_.data.absolutePath)).mkString(System.getProperty("path.separator"))
//val base = baseDirectory.value.getAbsolutePath
IO.write(f, s"""|#!/bin/bash --posix
|
|SCALACLASSPATH="$paths"
|
|TMP=$$LC_NUMERIC
|LC_NUMERIC=en_US.UTF-8
|
|java -Xmx2G -Xms512M -Xss64M -classpath "$${SCALACLASSPATH}" -Dscala.usejavacp=false scala.tools.nsc.MainGenericRunner -classpath "$${SCALACLASSPATH}" daisy.Main $$@ 2>&1 | tee -i last.log
|
|LC_NUMERIC=$$TMP
|""".stripMargin)
f.setExecutable(true)
} catch {
case e: Throwable =>
s.log.error("There was an error while generating the script file: " + e.getLocalizedMessage)
}
}
Subproject commit 61171aefca087e70600f83d673aaf74981bd8d7c
absolute errors (dynamic intervals&AA smt&AA subdivAll&AA
BatchReactor-out1 4.30810942475545743e-16 6.730727086790012e-16 6.730727086790012e-16 6.730727086790012e-16
BatchReactor-out2 1.31024080474162474e-15 2.005340338229189e-15 2.005340338229189e-15 2.005340338229189e-15
BatchReactor-state1 4.17745171787942126e-16 5.221517662690189e-16 5.221517662690189e-16 5.221517662690189e-16
BatchReactor-state2 3.39464900633856814e-16 4.0375688903360185e-16 4.0375688903360185e-16 4.0375688903360185e-16
BatchReactor-state3 3.51702222900485139e-16 5.464378949326942e-16 5.464378949326942e-16 5.464378949326942e-16
BatchReactor-state4 4.49629222742942147e-16 5.898195343592705e-16 5.898195343592705e-16 5.898195343592705e-16
BetaDistribution-aParameter 1.58028618801244501e-10 3.6359892874315847e-10 3.6359892874315847e-10 3.6359892874315847e-10
BetaDistribution-bParameter 1.76201486324092191e-13 4.096722960866828e-13 4.096722960866828e-13 4.096722960866828e-13
Bsplines-bspline0 2.74675031982032091e-17 1.0639637319324417e-16 1.0639637319324417e-16 1.0639637319324417e-16
Bsplines-bspline1 1.47791089628745422e-16 5.181040781584064e-16 4.255854927729767e-16 3.608224830031759e-16
Bsplines-bspline2 1.41439862880906006e-16 5.181040781584064e-16 3.9320398788807626e-16 3.978299171573478e-16
Bsplines-bspline3 2.73170682411068242e-17 5.088522196198634e-17 5.088522196198634e-17 5.088522196198634e-17
Doppler-doppler 6.59432499828512494e-14 3.7460851093122305e-13 3.7460851093122305e-13 1.2564142139033842e-13
Floudas-floudas1 1.67881180044192041e-13 3.339550858072471e-13 3.339550858072471e-13 3.339550858072471e-13
Floudas-floudas26 1.79816016486124102e-13 5.839773109528323e-13 5.626610288800293e-13 -
Floudas-floudas33 1.66257848574834948e-13 3.1796787425264483e-13 3.1796787425264483e-13 3.1796787425264483e-13
Floudas-floudas34 6.66133814775093924e-16 1.3322676295501878e-15 1.3322676295501878e-15 1.3322676295501878e-15
Floudas-floudas46 4.44089209850062616e-16 4.440892098500626e-16 4.440892098500626e-16 4.440892098500626e-16
Floudas-floudas47 1.10547437245066556e-14 1.1546319456101628e-14 1.1546319456101628e-14 1.1546319456101628e-14
Himmilbeau-himmilbeau 2.87853330804370017e-13 1.5631940186722206e-12 5.897504706808833e-13 5.897504706808833e-13
JetEngine-jetEngine 4.33886755524488512e-12 - 5.327000053330094e-09 2.6333979441517408e-11
Kepler-kepler0 3.51637777195018777e-14 8.012257524114829e-14 - 5.983302742151864e-14
Kepler-kepler1 9.66238015932647770e-14 3.663707559553586e-13 - 2.1853860943110704e-13
Kepler-kepler2 5.24232013276063837e-13 2.0807206624340324e-12 - 1.4631077682736305e-12
Octave-jcobi1 4.77171513830522008e-15 - - -
Octave-jcobi2 2.62546636761320421e-13 - - -
Octave-jcobi3 5.07614013607969122e-13 - - -
Octave-jcobi4 2.02373875532033877e-13 - - -
Physics-linearOptics 9.84034380102329843e-07 - - -
Physics-linearOptics2 1.19802519113322151e-03 0.0016698220424586907 0.0016688683681422845 0.0016698215767974034
Physics-linearOptics3 1.20885261343469392e-03 0.0016637449152767658 0.0016637449152767658 0.0016637449152767658
Physics-quantumWalk 1.15092407706237163e-16 - - -
Physics-superFluidityEqn13 3.84919409355732962e-06 - - -
Physics-superFluidityEqn7 1.17807322293061605e-07 - - -
Physics-teaWhistle1 1.23523479659870831e-11 - - -
Physics-teaWhistle2 2.82157537828210842e-06 - - -
Physics-teaWhistle3 0e+00 - - -
Physics-teaWhistle4 4.11580020613304225e-04 - - -
Product-product8 6.93167072265658543e-13 3.68682862017522e-12 3.68682862017522e-12 -
RigidBody-rigidBody1 1.82255776513383471e-13 2.398081733190338e-13 2.398081733190338e-13 2.398081733190338e-13
RigidBody-rigidBody2 1.71057133584730592e-11 2.3170798613136867e-11 2.3170798613136867e-11 2.3170798613136867e-11
Science-carbonGas 3.26741526774013429e-09 1.9281699025519574e-08 1.3693763577826702e-08 6.871945265993286e-09
Science-predatorPrey 8.84890266518559898e-17 1.354257102009066e-16 1.354257102009066e-16 1.2747600141453324e-16
Science-verhulst 1.56970750122585468e-16 3.530139169243032e-16 2.9750276569304536e-16 2.5036761764889345e-16
Sum-sum8 1.68753899743023794e-14 2.8421709430404007e-14 2.8421709430404007e-14 -
Traincar1-out1 2.06613895029477134e-12 3.214495336578693e-12 3.214495336578693e-12 2.965805379062658e-12
Traincar1-state1 2.13182679149083056e-15 3.3501521869150342e-15 3.3501521869150342e-15 3.3501521869150342e-15
Traincar1-state2 4.56275132751377491e-15 5.918139242555575e-15 5.918139242555575e-15 5.918139242555575e-15
Traincar1-state3 4.47578951191531856e-15 5.021218765213428e-15 5.021218765213428e-15 5.021218765213428e-15
Traincar2-out1 9.06017885622631260e-13 1.9968471320908066e-12 1.9968471320908066e-12 1.709743457922741e-12
Traincar2-state1 6.25922152079722635e-15 8.504698710362115e-15 8.504698710362115e-15 -
Traincar2-state2 5.82881431801375824e-15 8.503289222308875e-15 8.503289222308875e-15 -
Traincar2-state3 5.31597316759104618e-15 7.661673470546427e-15 7.661673470546427e-15 -
Traincar2-state4 6.09544763199194055e-15 6.773236282306765e-15 6.773236282306765e-15 -
Traincar2-state5 9.00104688161795346e-15 1.2990409834275336e-14 1.2990409834275336e-14 -
Traincar3-out1 1.26348921800808350e-11 3.5640823625726625e-11 3.5640823625726625e-11 -
Traincar3-state1 3.71758129539108646e-15 5.654874012186474e-15 5.654874012186474e-15 -
Traincar3-state2 3.69958068137793260e-15 5.912764319229369e-15 5.912764319229369e-15 -
Traincar3-state3 3.89240317216905590e-15 5.241684292937008e-15 5.241684292937008e-15 -
Traincar3-state4 7.65630103670528948e-15 9.50155651044133e-15 9.50155651044133e-15 -
Traincar3-state5 7.00838258026988150e-15 8.606264716321969e-15 8.606264716321969e-15 -
Traincar3-state6 5.39450502914437643e-15 7.718862171563698e-15 7.718862171563698e-15 -
Traincar3-state7 4.82772481403246871e-15 6.83044512866162e-15 6.83044512866162e-15 -
Traincar4-out1 1.35877862108124356e-10 3.587956598494202e-10 3.587956598494202e-10 -
Traincar4-state1 4.27804044103960323e-15 6.2178322689775715e-15 6.2178322689775715e-15 -
Traincar4-state2 4.04382313720281087e-15 6.661946567629203e-15 6.661946567629203e-15 -
Traincar4-state3 3.91129971298554487e-15 6.217740288354612e-15 6.217740288354612e-15 -
Traincar4-state4 3.96419752886513753e-15 5.773668914172917e-15 5.773668914172917e-15 -
Traincar4-state5 7.45616192268521844e-15 1.141919023981192e-14 1.141919023981192e-14 -
Traincar4-state6 7.62144941921421183e-15 1.0436405682874642e-14 1.0436405682874642e-14 -
Traincar4-state7 7.13566705015584382e-15 9.5482246655172e-15 9.5482246655172e-15 -
Traincar4-state8 6.29560403438896365e-15 8.66020080346763e-15 8.66020080346763e-15 -
Traincar4-state9 5.97330061504762554e-15 7.771961232127201e-15 7.771961232127201e-15 -
Turbine-turbine1 5.50800852880808746e-15 6.04371864298553e-14 5.421993749195443e-14 1.7892256970774354e-14
Turbine-turbine2 7.38845967265856649e-15 8.410176828459292e-14 6.811455672999066e-14 1.5842865025948352e-14
Turbine-turbine3 3.63747943939461030e-15 4.7231852167879186e-14 3.923824639057806e-14 9.716895626166913e-15
UnivariateEvenLonger-f0 5.98577424917690090e-13 3.752553823233031e-12 2.1682987323412453e-12 1.46585219025164e-12
UnivariateEvenLonger-f1 3.33066113860200901e-16 - - 1.2983192636536467e-15
UnivariateEvenLonger-f2 6.66132764727777398e-16 1.1723955140041656e-13 4.618831754523999e-14 9.903797721039754e-15
UnivariateEvenLonger-f3 9.24622716665814000e-17 2.5508566613152706e-16 2.134523027080837e-16 1.868115632321407e-16
UnivariateEvenLonger-f4 2.22036917386365452e-15 9.148237722911291e-14 4.0412794619706935e-14 8.309943296646378e-15
UnivariateEvenLonger-f5 8.78054721915979480e-16 9.103828801926285e-15 7.113233613242899e-15 7.305267502033531e-15
UnivariateEvenLonger-f6 9.84550981252363386e-16 - - 1.665334536937735e-15
UnivariateEvenLonger-f7 3.30324011874627554e-17 3.556183125752455e-16 1.8676737673778423e-16 1.847398102550191e-16
UnivariateEvenLonger-f8 7.48642781405405111e-15 - 5.56165288736423e-13 2.6063020734561265e-14
UnivariateEvenLonger-f9 5.55108204483623473e-17 - - 1.0043285730083942e-15
UnivariateLonger-f0 1.94389020953887736e-17 5.865533753146579e-17 4.824699667560495e-17 4.4777549723651333e-17
UnivariateLonger-f1 1.31484393584434281e-15 5.963556759611849e-08 2.1642977431081015e-12 2.0473507333918533e-12
UnivariateLonger-f2 4.95385742768136663e-16 7.771561172376096e-16 7.771561172376096e-16 7.771561172376096e-16
UnivariateLonger-f3 1.77630588928761818e-15 6.217248937900877e-15 6.217248937900877e-15 6.217248937900877e-15
UnivariateLonger-f4 2.22044604925031308e-16 - 1.1726906912993155e-11 -
UnivariateLonger-f5 4.99590301022686568e-16 9.992007221626409e-16 9.992007221626409e-16 9.992007221626409e-16
UnivariateLonger-f6 2.21516143958162996e-15 3.552713678800501e-15 3.552713678800501e-15 3.552713678800501e-15
UnivariateLonger-f7 1.32444885482656506e-15 5.329070518200752e-15 5.329070518200752e-15 5.329070518200752e-15
UnivariateLonger-f8 2.54175214567126025e-17 5.431852884152377e-17 5.431852884152377e-17 5.084908188957016e-17
UnivariateLonger-f9 4.25109500067761467e-15 2.1319751519754972e-14 1.8655216260654596e-14 7.283930403279016e-15
UnivariateShort-f0 3.31112213706641267e-16 8.881784197001252e-16 8.881784197001252e-16 8.881784197001252e-16
UnivariateShort-f1 2.65722907731750894e-16 5.551115123125784e-16 5.551115123125784e-16 5.551115123125784e-16
UnivariateShort-f2 3.88571990454081866e-16 7.771561172376096e-16 7.771561172376096e-16 7.771561172376096e-16
UnivariateShort-f3 2.17094399123003981e-16 7.105427357601002e-15 2.10983032260248e-15 4.670593413940314e-16
UnivariateShort-f4 5.55111512312578270e-17 1.5987211554602308e-14 1.515454428613344e-14 1.843551074778872e-16
UnivariateShort-f5 1.11022302462515654e-16 3.552713678800501e-15 1.887379141862766e-15 2.335296706970157e-16
UnivariateShort-f6 0e+00 6.661338147750939e-16 6.661338147750939e-16 6.661338147750939e-16
UnivariateShort-f8 4.44089209850062616e-16 2.1316282072803006e-14 7.771561172376096e-15 9.119963531003881e-16
UnivariateShort-f9 8.88177815208773386e-16 3.552713678800501e-15 3.552713678800501e-15 3.552713678800501e-15
relative errors dynamic intervals&AA smt&AA subdivAll&AA
BatchReactor-out1 1.54529598732275609e-10 NaN NaN -
BatchReactor-out2 2.63528748087610845e-10 NaN NaN -
BatchReactor-state1 9.10726565782358207e-12 NaN NaN -
BatchReactor-state2 1.81269314637773540e-12 NaN NaN -
BatchReactor-state3 4.22746911910847322e-11 NaN NaN -
BatchReactor-state4 3.83412069570762673e-12 NaN NaN -
BetaDistribution-aParameter 6.39639881964809984e-11 NaN NaN -
BetaDistribution-bParameter 3.10618065353862184e-16 NaN NaN -
Bsplines-bspline0 2.74384318137096469e-16 NaN NaN -
Bsplines-bspline1 7.15732773921734855e-16 NaN 2.5610159330040828E-15 1.1577191968016339e-14
Bsplines-bspline2 2.54322228221909569e-16 NaN 2.3592239273284576E-15 7.626132597265452e-16
Bsplines-bspline3 2.76321560521310465e-16 NaN NaN -
Doppler-doppler 7.05861472638061530e-16 1.2723419098246272E-11 1.2723419098246272E-11 1.4494007244151482e-13
Floudas-floudas1 5.45634781050316617e-16 NaN NaN -
Floudas-floudas26 1.83719197814486664e-12 NaN NaN -
Floudas-floudas33 6.04013250415394411e-16 NaN NaN -
Floudas-floudas34 2.18948457656550688e-16 NaN NaN -
Floudas-floudas46 1.11022191432642766e-16 NaN NaN -
Floudas-floudas47 4.23533405603622239e-16 NaN NaN -
Himmilbeau-himmilbeau 7.18609916333463484e-14 NaN NaN -
JetEngine-jetEngine 1.32219077808522476e-10 - NaN -
Kepler-kepler0 5.35034988364708005e-16 NaN - 1.6551233510857692e-15
Kepler-kepler1 1.78110800586631019e-15 NaN - 2.251660583355296e-14
Kepler-kepler2 1.75172248822721899e-15 NaN - 1.3851842008333301e-14