Skip to content

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

Actions

Main

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
297 workflow runs
297 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
2026 submissions for COLIBRI and colibri2 Main #972: Pull request #265 synchronize by bobot
1m 10s bobot:submission/colibris26
bobot:submission/colibris26
1m 10s
Bitwuzla-SPFD Submission for SMT-COMP 2026 Main #971: Pull request #269 synchronize by zmylinxi99
1m 10s zmylinxi99:bitwuzla-spfd-smtcomp-2026
zmylinxi99:bitwuzla-spfd-smtcomp-2026
1m 10s
Bitwuzla-SPFD Submission for SMT-COMP 2026 Main #970: Pull request #269 synchronize by zmylinxi99
1m 19s zmylinxi99:bitwuzla-spfd-smtcomp-2026
zmylinxi99:bitwuzla-spfd-smtcomp-2026
1m 19s
Bitwuzla-BV_Parti Submission for SMT-COMP 2026 Main #969: Pull request #268 synchronize by zmylinxi99
1m 29s zmylinxi99:bitwuzla-bv-parti-smtcomp-2026
zmylinxi99:bitwuzla-bv-parti-smtcomp-2026
1m 29s
z3siri 2026 submission Main #968: Pull request #253 synchronize by Wang-hn
1m 16s Wang-hn:submission/z3siri-25
Wang-hn:submission/z3siri-25
1m 16s
Bitwuzla 2026 submission Main #967: Pull request #275 synchronize by mpreiner
1m 7s mpreiner:bitwuzla-2026
mpreiner:bitwuzla-2026
1m 7s
z3-alpha2 first version submission Main #966: Pull request #267 synchronize by JohnLyu2
1m 4s JohnLyu2:master
JohnLyu2:master
1m 4s
update Xolver status Main #965: Pull request #285 synchronize by fuqi-jia
1m 8s fuqi-jia:master
fuqi-jia:master
1m 8s
update Xolver status Main #964: Pull request #285 synchronize by fuqi-jia
1m 15s fuqi-jia:master
fuqi-jia:master
1m 15s
2026 submissions for COLIBRI and colibri2 Main #963: Pull request #265 synchronize by bobot
1m 13s bobot:submission/colibris26
bobot:submission/colibris26
1m 13s
cvc5-xyz for SMT-COMP 2026 Main #962: Pull request #278 synchronize by namasikanam
1m 12s namasikanam:master
namasikanam:master
1m 12s
yicesQS 2026 submission Main #961: Pull request #282 synchronize by disteph
1m 13s disteph:myfork_2026_submission
disteph:myfork_2026_submission
1m 13s
Bitwuzllob 2026 submission Main #960: Pull request #277 synchronize by mpreiner
1m 18s mpreiner:bitwuzllob-2026
mpreiner:bitwuzllob-2026
1m 18s
Z3-GEX submissions Main #959: Pull request #260 synchronize by b1uerar
1m 17s b1uerar:master
b1uerar:master
1m 17s
cvc5-xyz for SMT-COMP 2026 Main #958: Pull request #278 synchronize by namasikanam
1m 23s namasikanam:master
namasikanam:master
1m 23s
Samet submission for SMT-COMP 2026 Main #957: Pull request #258 synchronize by blishko
1m 4s blishko:master
blishko:master
1m 4s
SMTS (sequential) submission 2026 Main #956: Pull request #273 synchronize by Tomaqa
3m 57s Tomaqa:smts26-seq
Tomaqa:smts26-seq
3m 57s
2026 submissions for COLIBRI and colibri2 Main #955: Pull request #265 synchronize by bobot
1m 12s bobot:submission/colibris26
bobot:submission/colibris26
1m 12s
2026 submissions for COLIBRI and colibri2 Main #954: Pull request #265 synchronize by bobot
1m 27s bobot:submission/colibris26
bobot:submission/colibris26
1m 27s
Z3-GEX submissions Main #953: Pull request #260 synchronize by b1uerar
1m 17s b1uerar:master
b1uerar:master
1m 17s
OpenSMT (min-ucore) submission 2026 Main #952: Pull request #263 synchronize by Tomaqa
1m 16s Tomaqa:opensmt26-min-ucore
Tomaqa:opensmt26-min-ucore
1m 16s
OpenSMT submission 2026 Main #951: Pull request #262 synchronize by Tomaqa
1m 19s Tomaqa:opensmt26
Tomaqa:opensmt26
1m 19s
SMTS submission 2026 Main #950: Pull request #272 synchronize by Tomaqa
1m 17s Tomaqa:smts26
Tomaqa:smts26
1m 17s
SMTS (sequential) submission 2026 Main #949: Pull request #273 synchronize by Tomaqa
1m 20s Tomaqa:smts26-seq
Tomaqa:smts26-seq
1m 20s
SMTS (sequential) submission 2026 Main #948: Pull request #273 synchronize by Tomaqa
1m 20s Tomaqa:smts26-seq
Tomaqa:smts26-seq
1m 20s