Getting "standard_init_linux.go:211: exec user process caused "exec format error"

[nagmat1]

While trying :

sudo docker load -t veribetrkv-artifact-hdd.tgz 

getting

Loaded image: veribetrkv-artifact-hdd:latest

My Linux version is : "Linux nagmat-VirtualBox 4.15.0-123-generic #126~16.04.1-Ubuntu SMP Wed Oct 21 13:51:51 UTC 2020 i686 i686 i686 GNU/Linux"

After loading :

sudo ./run-experiments-in-docker-dynamic-frames.sh results-df hdd

I get :

+ docker run --rm -v /home/nagmat/veribetrkv-osdi2020/results-df:/home/root/veribetrkv-dynamic-frames/build -w=/home/root/veribetrkv-dynamic-frames veribetrkv-artifact-hdd:latest make elf ycsb
standard_init_linux.go:211: exec user process caused "exec format error"

[nagmat1]

when I

sudo ./install-dafny.sh

I get :

+ mkdir dafny
+ cd dafny
+ git clone https://github.com/boogie-org/boogie
Cloning into 'boogie'...
remote: Enumerating objects: 195, done.
remote: Counting objects: 100% (195/195), done.
remote: Compressing objects: 100% (153/153), done.
remote: Total 44522 (delta 78), reused 79 (delta 40), pack-reused 44327
Receiving objects: 100% (44522/44522), 95.91 MiB | 5.99 MiB/s, done.
Resolving deltas: 100% (31529/31529), done.
Checking connectivity... done.
+ cd boogie
+ git checkout 124d1cee315b79585f7738deb6d72579578d24e2
Note: checking out '124d1cee315b79585f7738deb6d72579578d24e2'.

You are in 'detached HEAD' state. You can look around, make experimental
changes and commit them, and you can discard any commits you make in this
state without impacting any branches by performing another checkout.

If you want to create a new branch to retain commits you create, you may
do so (now or later) by using -b with the checkout command again. Example:

  git checkout -b <new-branch-name>

HEAD is now at 124d1ce... Remove typeEncoding:n (#194)
+ wget https://dist.nuget.org/win-x86-commandline/latest/nuget.exe
--2020-12-27 12:59:37--  https://dist.nuget.org/win-x86-commandline/latest/nuget.exe
Resolving dist.nuget.org (dist.nuget.org)... 152.199.40.167
Connecting to dist.nuget.org (dist.nuget.org)|152.199.40.167|:443... connected.
HTTP request sent, awaiting response... 200 OK
Length: 6718360 (6.4M) [application/x-msdownload]
Saving to: ‘nuget.exe’

nuget.exe          100%[=============>]   6.41M  4.03MB/s    in 1.6s    

2020-12-27 12:59:39 (4.03 MB/s) - ‘nuget.exe’ saved [6718360/6718360]

+ mono ./nuget.exe restore Source/Boogie.sln

Unhandled Exception:
System.TypeLoadException: Could not load type 'System.AppContext' from assembly 'mscorlib, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b77a5c561934e089'.
[ERROR] FATAL UNHANDLED EXCEPTION: System.TypeLoadException: Could not load type 'System.AppContext' from assembly 'mscorlib, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b77a5c561934e089'.

How can I resolve this issue?

[nagmat1]

I could load the hdd and ssd dockers.
When I try :

sudo ./run-experiments-in-docker-dynamic-frames.sh  results-df ssd 

I get :

+ docker run --rm -v /home/nagmat/veribetrkv-osdi2020/results-df:/home/root/veribetrkv-dynamic-frames/build -w=/home/root/veribetrkv-dynamic-frames veribetrkv-artifact-ssd:latest make elf ycsb
**standard_init_linux.go:211: exec user process caused "exec format error**"