All workflows

Workflow runs

• Test z3 latest release

  completed successfully:
  Test z3 latest release#100:Scheduled
  main

  Oct 25, 202637m 35s
  More actions for workflow run 100

• Test yices2 latest release

  completed successfully:
  Test yices2 latest release#99:Scheduled
  main

  Oct 25, 202617m 56s
  More actions for workflow run 99

• Test stp latest release

  failed:
  Test stp latest release#99:Scheduled
  main

  Oct 25, 20262m 9s
  More actions for workflow run 99

• Test smtrat latest release

  failed:
  Test smtrat latest release#100:Scheduled
  main

  Oct 25, 20262m 15s
  More actions for workflow run 100

• Test ostrich latest release

  failed:
  Test ostrich latest release#101:Scheduled
  main

  Oct 25, 20262m 21s
  More actions for workflow run 101

• Test opensmt2 latest release

  completed successfully:
  Test opensmt2 latest release#99:Scheduled
  main

  Oct 25, 202612m 1s
  More actions for workflow run 99

• Test mathsat5 latest release

  failed:
  Test mathsat5 latest release#104:Scheduled
  main

  Oct 25, 202632m 15s
  More actions for workflow run 104

• Test cvc5 latest release

  completed successfully:
  Test cvc5 latest release#102:Scheduled
  main

  Oct 25, 202628m 42s
  More actions for workflow run 102

• Test z3 nightly build

  completed successfully:
  Test z3 nightly build#91:Scheduled
  main

  Oct 23, 20261h 20m 58s
  More actions for workflow run 91

• Test cvc5 nightly build

  completed successfully:
  Test cvc5 nightly build#91:Scheduled
  main

  Oct 23, 202622m 32s
  More actions for workflow run 91

• Test z3 latest release

  completed successfully:
  Test z3 latest release#99:Scheduled
  main

  Oct 18, 202632m 31s
  More actions for workflow run 99

• Test yices2 latest release

  completed successfully:
  Test yices2 latest release#98:Scheduled
  main

  Oct 18, 202615m 50s
  More actions for workflow run 98

• Test stp latest release

  failed:
  Test stp latest release#98:Scheduled
  main

  Oct 18, 20262m 25s
  More actions for workflow run 98

• Test smtrat latest release

  failed:
  Test smtrat latest release#99:Scheduled
  main

  Oct 18, 20262m 31s
  More actions for workflow run 99

• Test ostrich latest release

  failed:
  Test ostrich latest release#100:Scheduled
  main

  Oct 18, 20262m 25s
  More actions for workflow run 100

• Test opensmt2 latest release

  completed successfully:
  Test opensmt2 latest release#98:Scheduled
  main

  Oct 18, 202610m 22s
  More actions for workflow run 98

• Test mathsat5 latest release

  failed:
  Test mathsat5 latest release#103:Scheduled
  main

  Oct 18, 202633m 22s
  More actions for workflow run 103

• Test cvc5 latest release

  completed successfully:
  Test cvc5 latest release#101:Scheduled
  main

  Oct 18, 202632m 5s
  More actions for workflow run 101

• Test z3 nightly build

  completed successfully:
  Test z3 nightly build#90:Scheduled
  main

  Oct 16, 20261h 15m 56s
  More actions for workflow run 90

• Test cvc5 nightly build

  completed successfully:
  Test cvc5 nightly build#90:Scheduled
  main

  Oct 16, 202629m 2s
  More actions for workflow run 90

• Test z3 latest release

  completed successfully:
  Test z3 latest release#98:Scheduled
  main

  Oct 11, 202634m 15s
  More actions for workflow run 98

• Test yices2 latest release

  completed successfully:
  Test yices2 latest release#97:Scheduled
  main

  Oct 11, 202615m 51s
  More actions for workflow run 97

• Test stp latest release

  failed:
  Test stp latest release#97:Scheduled
  main

  Oct 11, 20262m 26s
  More actions for workflow run 97

• Test smtrat latest release

  failed:
  Test smtrat latest release#98:Scheduled
  main

  Oct 11, 20262m 40s
  More actions for workflow run 98

• Test ostrich latest release

  failed:
  Test ostrich latest release#99:Scheduled
  main

  Oct 11, 20262m 33s
  More actions for workflow run 99