Skip to content
Linux build-test-deploy

EmergenTheta Update #1605

Sign in to view logs

EmergenTheta Update

EmergenTheta Update #1605

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
6m 9s
deploy-docs
22s
deploy-maven
0s
test-docker (theta-cfa-cli)
5m 40s
test-docker (theta-sts-cli)
5m 39s
test-docker (theta-xsts-cli)
6m 2s
test-docker (theta-xta-cli)
5m 46s
test-docker (theta-xcfa-cli)
8m 6s
create-archives
6m 2s
test-linux (ubuntu-latest)
5m 54s
javadoc
4m 51s
test-linux (ubuntu-22.04)
5m 42s
deploy-docker
0s
test-benchexec (Arrays, CEGAR)
8m 0s
deploy-release
0s
test-benchexec (Arrays, BOUNDED)
8m 3s
test-benchexec (Arrays, HORN)
8m 1s
test-benchexec (BitVectors, CEGAR)
8m 0s
test-benchexec (BitVectors, BOUNDED)
7m 55s
test-benchexec (BitVectors, HORN)
8m 0s
test-benchexec (ControlFlow, CEGAR)
8m 2s
test-benchexec (ControlFlow, BOUNDED)
8m 3s
test-benchexec (ControlFlow, HORN)
7m 19s
test-benchexec (ECA, CEGAR)
7m 58s
test-benchexec (ECA, BOUNDED)
7m 56s
test-benchexec (ECA, HORN)
7m 54s
test-benchexec (Floats, CEGAR)
7m 59s
test-benchexec (Floats, BOUNDED)
8m 1s
test-benchexec (Floats, HORN)
7m 59s
test-benchexec (Heap, CEGAR)
8m 27s
test-benchexec (Heap, BOUNDED)
7m 42s
test-benchexec (Heap, HORN)
8m 4s
test-benchexec (Loops, CEGAR)
7m 51s
test-benchexec (Loops, BOUNDED)
7m 58s
test-benchexec (Loops, HORN)
7m 54s
test-benchexec (ProductLines, CEGAR)
7m 55s
test-benchexec (ProductLines, BOUNDED)
7m 53s
test-benchexec (ProductLines, HORN)
8m 10s
test-benchexec (Recursive, CEGAR)
7m 53s
test-benchexec (Recursive, BOUNDED)
5m 25s
test-benchexec (Recursive, HORN)
5m 28s
test-benchexec (Sequentialized, CEGAR)
8m 16s
test-benchexec (Sequentialized, BOUNDED)
7m 52s
test-benchexec (Sequentialized, HORN)
8m 0s
test-benchexec (XCSP, CEGAR)
7m 53s
test-benchexec (XCSP, BOUNDED)
8m 14s
test-benchexec (XCSP, HORN)
7m 55s
test-benchexec (Combinations, CEGAR)
7m 59s
test-benchexec (Combinations, BOUNDED)
7m 59s
test-benchexec (Combinations, HORN)
7m 59s
test-benchexec (Hardware, CEGAR)
8m 29s
test-benchexec (Hardware, BOUNDED)
8m 19s
test-benchexec (Hardware, HORN)
8m 10s
test-benchexec (Concurrency, CEGAR)
7m 59s
test-benchexec (Concurrency, BOUNDED)
8m 4s
test-benchexec (Concurrency, HORN)
8m 2s
test-benchexec (NoDataRace, CEGAR)
8m 25s
test-benchexec (NoDataRace, BOUNDED)
7m 56s
test-benchexec (NoDataRace, HORN)
8m 31s
test-benchexec (ConcurrencySafety-NoOverflows, CEGAR)
8m 5s
test-benchexec (ConcurrencySafety-NoOverflows, BOUNDED)
7m 55s
test-benchexec (ConcurrencySafety-NoOverflows, HORN)
8m 42s
test-benchexec (ConcurrencySafety-MemSafety, CEGAR)
2m 57s
test-benchexec (ConcurrencySafety-MemSafety, BOUNDED)
3m 0s
test-benchexec (ConcurrencySafety-MemSafety, HORN)
3m 1s
collect-results
4m 21s
7h 34m 6s