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
399 workflow runs
399 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
update Xolver status TestSolver #553: Pull request #285 synchronize by fuqi-jia
2m 4s fuqi-jia:master
fuqi-jia:master
2m 4s
2026 submissions for COLIBRI and colibri2 TestSolver #552: Pull request #265 synchronize by bobot
2m 48s bobot:submission/colibris26
bobot:submission/colibris26
2m 48s
cvc5-xyz for SMT-COMP 2026 TestSolver #551: Pull request #278 synchronize by namasikanam
1m 54s namasikanam:master
namasikanam:master
1m 54s
yicesQS 2026 submission TestSolver #550: Pull request #282 synchronize by disteph
1m 31s disteph:myfork_2026_submission
disteph:myfork_2026_submission
1m 31s
Bitwuzllob 2026 submission TestSolver #549: Pull request #277 synchronize by mpreiner
2m 38s mpreiner:bitwuzllob-2026
mpreiner:bitwuzllob-2026
2m 38s
Z3-GEX submissions TestSolver #548: Pull request #260 synchronize by b1uerar
2m 58s b1uerar:master
b1uerar:master
2m 58s
cvc5-xyz for SMT-COMP 2026 TestSolver #547: Pull request #278 synchronize by namasikanam
2m 44s namasikanam:master
namasikanam:master
2m 44s
Samet submission for SMT-COMP 2026 TestSolver #546: Pull request #258 synchronize by blishko
2m 5s blishko:master
blishko:master
2m 5s
SMTS (sequential) submission 2026 TestSolver #545: Pull request #273 synchronize by Tomaqa
1m 47s Tomaqa:smts26-seq
Tomaqa:smts26-seq
1m 47s
2026 submissions for COLIBRI and colibri2 TestSolver #544: Pull request #265 synchronize by bobot
58s bobot:submission/colibris26
bobot:submission/colibris26
58s
2026 submissions for COLIBRI and colibri2 TestSolver #543: Pull request #265 synchronize by bobot
1m 6s bobot:submission/colibris26
bobot:submission/colibris26
1m 6s
Z3-GEX submissions TestSolver #542: Pull request #260 synchronize by b1uerar
1m 59s b1uerar:master
b1uerar:master
1m 59s
OpenSMT (min-ucore) submission 2026 TestSolver #541: Pull request #263 synchronize by Tomaqa
1m 46s Tomaqa:opensmt26-min-ucore
Tomaqa:opensmt26-min-ucore
1m 46s
OpenSMT submission 2026 TestSolver #540: Pull request #262 synchronize by Tomaqa
2m 1s Tomaqa:opensmt26
Tomaqa:opensmt26
2m 1s
SMTS submission 2026 TestSolver #539: Pull request #272 synchronize by Tomaqa
1m 48s Tomaqa:smts26
Tomaqa:smts26
1m 48s
SMTS (sequential) submission 2026 TestSolver #538: Pull request #273 synchronize by Tomaqa
2m 50s Tomaqa:smts26-seq
Tomaqa:smts26-seq
2m 50s
SMTS (sequential) submission 2026 TestSolver #537: Pull request #273 synchronize by Tomaqa
47s Tomaqa:smts26-seq
Tomaqa:smts26-seq
47s
Ostrich submission 2026 TestSolver #536: Pull request #271 synchronize by OliverMa1
2m 19s uuverifiers:master
uuverifiers:master
2m 19s
SMTS (sequential) submission 2026 TestSolver #535: Pull request #273 synchronize by Tomaqa
43s Tomaqa:smts26-seq
Tomaqa:smts26-seq
43s
SMTS (sequential) submission 2026 TestSolver #534: Pull request #273 synchronize by Tomaqa
43s Tomaqa:smts26-seq
Tomaqa:smts26-seq
43s
SMTS (sequential) submission 2026 TestSolver #533: Pull request #273 synchronize by Tomaqa
45s Tomaqa:smts26-seq
Tomaqa:smts26-seq
45s
NeuroSym Solver - NIT Warangal, DRDO LRDE Bengaluru, University of Manchester TestSolver #532: Pull request #244 synchronize by VishalKumarSwain
4m 21s VishalKumarSwain:add-neurosym-submission
VishalKumarSwain:add-neurosym-submission
4m 21s
NeuroSym Solver - NIT Warangal, DRDO LRDE Bengaluru, University of Manchester TestSolver #531: Pull request #244 synchronize by VishalKumarSwain
3m 11s VishalKumarSwain:add-neurosym-submission
VishalKumarSwain:add-neurosym-submission
3m 11s
SMTS (sequential) submission 2026 TestSolver #530: Pull request #273 synchronize by Tomaqa
53s Tomaqa:smts26-seq
Tomaqa:smts26-seq
53s
SMTS (sequential) submission 2026 TestSolver #529: Pull request #273 synchronize by Tomaqa
2m 5s Tomaqa:smts26-seq
Tomaqa:smts26-seq
2m 5s