Skip to content

Actions: SMT-COMP/smt-comp.github.io

Actions

TestSolver

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-solver.yml
166 workflow runs
166 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Z3-alpha draft PR TestSolver #54: Pull request #65 synchronize by JohnLyu2
June 1, 2024 03:09 43s JohnLyu2:patch-1
JohnLyu2:patch-1
June 1, 2024 03:09 43s
Z3-alpha draft PR TestSolver #53: Pull request #65 synchronize by JohnLyu2
June 1, 2024 02:45 34s JohnLyu2:patch-1
JohnLyu2:patch-1
June 1, 2024 02:45 34s
Solver submission: cvc5 TestSolver #52: Pull request #64 synchronize by hansjoergschurr
May 31, 2024 20:38 6h 0m 54s hansjoergschurr:comp24/cvc5
hansjoergschurr:comp24/cvc5
May 31, 2024 20:38 6h 0m 54s
plat-smt submission TestSolver #51: Pull request #55 synchronize by dewert99
May 31, 2024 16:44 2m 48s dewert99:patch-1
dewert99:patch-1
May 31, 2024 16:44 2m 48s
plat-smt submission TestSolver #50: Pull request #55 synchronize by dewert99
May 31, 2024 16:42 40s dewert99:patch-1
dewert99:patch-1
May 31, 2024 16:42 40s
Z3-alpha draft PR TestSolver #49: Pull request #65 synchronize by bobot
May 31, 2024 13:22 37s JohnLyu2:patch-1
JohnLyu2:patch-1
May 31, 2024 13:22 37s
submission iProver TestSolver #48: Pull request #63 synchronize by bobot
May 31, 2024 13:13 39s konstantin-korovin:patch-1
konstantin-korovin:patch-1
May 31, 2024 13:13 39s
plat-smt submission TestSolver #47: Pull request #55 synchronize by bobot
May 31, 2024 13:07 44s dewert99:patch-1
dewert99:patch-1
May 31, 2024 13:07 44s
Solver submission: cvc5 TestSolver #46: Pull request #64 synchronize by bobot
May 31, 2024 13:01 2m 41s hansjoergschurr:comp24/cvc5
hansjoergschurr:comp24/cvc5
May 31, 2024 13:01 2m 41s
Adding Algaroba to SMTCOMP 2024 TestSolver #45: Pull request #42 synchronize by bobot
May 31, 2024 12:49 2m 45s amarshah1:master
amarshah1:master
May 31, 2024 12:49 2m 45s
Submission for smtinterpol TestSolver #44: Pull request #45 synchronize by jhoenicke
May 31, 2024 10:07 2m 28s jhoenicke-smtinterpol
jhoenicke-smtinterpol
May 31, 2024 10:07 2m 28s
Submission for smtinterpol TestSolver #43: Pull request #45 synchronize by jhoenicke
May 31, 2024 09:06 2m 0s jhoenicke-smtinterpol
jhoenicke-smtinterpol
May 31, 2024 09:06 2m 0s
Yices2 SMTCOMP 2024 Submission TestSolver #42: Pull request #66 synchronize by ahmed-irfan
May 30, 2024 23:11 2m 6s ahmed-irfan:yices2
ahmed-irfan:yices2
May 30, 2024 23:11 2m 6s
yicesQS submission to the 2024 SMT comp TestSolver #41: Pull request #70 synchronize by disteph
May 30, 2024 23:07 2m 42s disteph:master
disteph:master
May 30, 2024 23:07 2m 42s
SMT-RAT submission TestSolver #36: Pull request #60 synchronize by ValentinPromies
May 30, 2024 20:30 1m 57s ValentinPromies:patch-1
ValentinPromies:patch-1
May 30, 2024 20:30 1m 57s
OSTRICH 1.4 TestSolver #34: Pull request #61 synchronize by pruemmer
May 30, 2024 16:02 2m 39s pruemmer:patch-1
pruemmer:patch-1
May 30, 2024 16:02 2m 39s
STP v2.3.4 submission TestSolver #33: Pull request #74 opened by TrevorHansen
May 30, 2024 14:56 38s TrevorHansen:master
TrevorHansen:master
May 30, 2024 14:56 38s
2024 solver participant submission: OpenSMT TestSolver #32: Pull request #53 synchronize by Tomaqa
May 30, 2024 14:19 1m 55s Tomaqa:master
Tomaqa:master
May 30, 2024 14:19 1m 55s
Z3-Noodler submission TestSolver #31: Pull request #52 synchronize by jurajsic
May 30, 2024 13:57 2m 1s jurajsic:patch-1
jurajsic:patch-1
May 30, 2024 13:57 2m 1s
Amaya's submission for SMT-COMP 2024 TestSolver #30: Pull request #57 synchronize by ondrik
May 30, 2024 12:37 44s ondrik:amaya
ondrik:amaya
May 30, 2024 12:37 44s
Add 2024 Bitwuzla submission. TestSolver #22: Pull request #54 synchronize by mpreiner
May 29, 2024 17:12 1m 48s mpreiner:2024-bitwuzla-prelim
mpreiner:2024-bitwuzla-prelim
May 29, 2024 17:12 1m 48s
Submission Colibri TestSolver #20: Pull request #51 synchronize by bobot
May 29, 2024 14:58 2m 45s bobot:submission/colibri
bobot:submission/colibri
May 29, 2024 14:58 2m 45s
Submission Colibri TestSolver #19: Pull request #51 synchronize by bobot
May 29, 2024 02:46 1m 13s bobot:submission/colibri
bobot:submission/colibri
May 29, 2024 02:46 1m 13s
Submission Colibri TestSolver #18: Pull request #51 synchronize by bobot
May 28, 2024 11:39 2m 36s bobot:submission/colibri
bobot:submission/colibri
May 28, 2024 11:39 2m 36s
Submission Colibri TestSolver #17: Pull request #51 synchronize by bobot
May 28, 2024 11:38 3m 21s bobot:submission/colibri
bobot:submission/colibri
May 28, 2024 11:38 3m 21s