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
193 workflow runs
193 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 execution TestSolver #587: Pull request #295 synchronize by martinjonas
2m 38s 2026_execution
2026_execution
2m 38s
2026 execution TestSolver #586: Pull request #295 synchronize by martinjonas
2m 14s 2026_execution
2026_execution
2m 14s
2026 execution TestSolver #585: Pull request #295 synchronize by martinjonas
2m 26s 2026_execution
2026_execution
2m 26s
2026 execution TestSolver #584: Pull request #295 synchronize by martinjonas
2m 6s 2026_execution
2026_execution
2m 6s
Bitwuzla fixed TestSolver #583: Pull request #294 opened by martinjonas
1m 50s bitwuzla_fixed
bitwuzla_fixed
1m 50s
Bitwuzla fixed for quantified BV logics. TestSolver #582: Pull request #293 synchronize by martinjonas
1m 55s mpreiner:bitwuzla-fixed-quant-bv
mpreiner:bitwuzla-fixed-quant-bv
1m 55s
Bitwuzla fixed for quantified BV logics. TestSolver #581: Pull request #293 opened by mpreiner
1m 42s mpreiner:bitwuzla-fixed-quant-bv
mpreiner:bitwuzla-fixed-quant-bv
1m 42s
Finalize and publish 2026 participants TestSolver #580: Pull request #288 opened by martinjonas
2m 42s 2026_participants
2026_participants
2m 42s
Bitwuzla-BV_Parti Submission for SMT-COMP 2026 TestSolver #579: Pull request #268 synchronize by zmylinxi99
1m 50s zmylinxi99:bitwuzla-bv-parti-smtcomp-2026
zmylinxi99:bitwuzla-bv-parti-smtcomp-2026
1m 50s
z3-parallel submission TestSolver #578: Pull request #255 synchronize by ilanashapiro
2m 16s ilanashapiro:patch-1
ilanashapiro:patch-1
2m 16s
z3-parallel submission TestSolver #577: Pull request #255 synchronize by ilanashapiro
42s ilanashapiro:patch-1
ilanashapiro:patch-1
42s
plat-smt submission TestSolver #576: Pull request #248 synchronize by dewert99
1m 55s dewert99:patch-2
dewert99:patch-2
1m 55s
2026 submissions for COLIBRI and colibri2 TestSolver #575: Pull request #265 synchronize by bobot
3m 3s bobot:submission/colibris26
bobot:submission/colibris26
3m 3s
Z3-GEX submissions TestSolver #574: Pull request #260 synchronize by b1uerar
3m 14s b1uerar:master
b1uerar:master
3m 14s
z3-alpha2 first version submission TestSolver #573: Pull request #267 synchronize by JohnLyu2
4m 5s JohnLyu2:master
JohnLyu2:master
4m 5s
z3-alpha2 first version submission TestSolver #572: Pull request #267 synchronize by JohnLyu2
3m 31s JohnLyu2:master
JohnLyu2:master
3m 31s
z3-alpha2 first version submission TestSolver #571: Pull request #267 synchronize by JohnLyu2
4m 6s JohnLyu2:master
JohnLyu2:master
4m 6s
cvc5-xyz for SMT-COMP 2026 TestSolver #570: Pull request #278 synchronize by namasikanam
2m 49s namasikanam:master
namasikanam:master
2m 49s
Z3-GEX submissions TestSolver #569: Pull request #260 synchronize by b1uerar
1m 59s b1uerar:master
b1uerar:master
1m 59s
cvc5-xyz for SMT-COMP 2026 TestSolver #568: Pull request #278 synchronize by namasikanam
2m 58s namasikanam:master
namasikanam:master
2m 58s
Bitwuzla-MachBV Submission for SMT-COMP 2026 TestSolver #567: Pull request #276 synchronize by Andeviking
2m 18s Andeviking:master
Andeviking:master
2m 18s
Bitwuzla-MachBV Submission for SMT-COMP 2026 TestSolver #566: Pull request #276 synchronize by Andeviking
2m 13s Andeviking:master
Andeviking:master
2m 13s
Yices2 Submission to SMTCOMP 2026 TestSolver #565: Pull request #281 synchronize by ahmed-irfan
1m 31s ahmed-irfan:yices2-2026
ahmed-irfan:yices2-2026
1m 31s
QiuQi submissions 2026 TestSolver #564: Pull request #274 synchronize by YZhang322
1m 39s YZhang322:master
YZhang322:master
1m 39s
Yices2 Submission to SMTCOMP 2026 TestSolver #563: Pull request #281 synchronize by ahmed-irfan
2m 18s ahmed-irfan:yices2-2026
ahmed-irfan:yices2-2026
2m 18s