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

Final execution scripts TestSolver #179: Pull request #118 opened by martinjonas
July 18, 2024 07:20 2m 19s final_execution
final_execution
July 18, 2024 07:20 2m 19s
a version with a bugfix of unsoundness TestSolver #178: Pull request #102 opened by ondrik
July 2, 2024 16:54 4m 14s ondrik:amaya
ondrik:amaya
July 2, 2024 16:54 4m 14s
AWS selection and scrambling TestSolver #177: Pull request #98 synchronize by bobot
June 19, 2024 15:15 1m 15s bobot:more_doc
bobot:more_doc
June 19, 2024 15:15 1m 15s
AWS selection and scrambling TestSolver #176: Pull request #98 synchronize by bobot
June 19, 2024 14:56 8m 44s bobot:more_doc
bobot:more_doc
June 19, 2024 14:56 8m 44s
Create cvc5-cloud TestSolver #175: Pull request #84 synchronize by bobot
June 19, 2024 14:04 1m 51s amaleewilson:patch-1
amaleewilson:patch-1
June 19, 2024 14:04 1m 51s
Add Z3-Parti-Z3++ Submission for SMT-COMP 2024 TestSolver #174: Pull request #85 synchronize by bobot
June 19, 2024 14:03 2m 19s zmylinxi99:patch-2
zmylinxi99:patch-2
June 19, 2024 14:03 2m 19s
Add STP-Parti-Bitwuzla Submission for SMT-COMP 2024 TestSolver #173: Pull request #86 synchronize by bobot
June 19, 2024 14:03 2m 34s zmylinxi99:patch-3
zmylinxi99:patch-3
June 19, 2024 14:03 2m 34s
2024 solver participant submission: SMTS TestSolver #172: Pull request #87 synchronize by bobot
June 19, 2024 14:03 1m 58s Tomaqa:smts24
Tomaqa:smts24
June 19, 2024 14:03 1m 58s
Create cvc5-cloud TestSolver #171: Pull request #84 synchronize by bobot
June 19, 2024 13:40 39s amaleewilson:patch-1
amaleewilson:patch-1
June 19, 2024 13:40 39s
Submission Colibri TestSolver #170: Pull request #51 synchronize by martinjonas
June 18, 2024 06:34 1m 3s bobot:submission/colibri
bobot:submission/colibri
June 18, 2024 06:34 1m 3s
UltimateEliminator submission TestSolver #169: Pull request #76 synchronize by Heizmann
June 16, 2024 17:39 37s Heizmann:master
Heizmann:master
June 16, 2024 17:39 37s
Add 2024 Bitwuzla submission. TestSolver #168: Pull request #54 synchronize by mpreiner
June 16, 2024 05:35 2m 1s mpreiner:2024-bitwuzla-prelim
mpreiner:2024-bitwuzla-prelim
June 16, 2024 05:35 2m 1s
Create iprover_smtcomp.sh TestSolver #167: Pull request #96 synchronize by konstantin-korovin
June 15, 2024 17:17 7m 35s konstantin-korovin:patch-3
konstantin-korovin:patch-3
June 15, 2024 17:17 7m 35s
Create iprover_smtcomp.sh TestSolver #166: Pull request #96 synchronize by konstantin-korovin
June 15, 2024 17:13 7m 33s konstantin-korovin:patch-3
konstantin-korovin:patch-3
June 15, 2024 17:13 7m 33s
Create iprover_smtcomp.sh TestSolver #165: Pull request #96 synchronize by konstantin-korovin
June 15, 2024 16:52 7m 47s konstantin-korovin:patch-3
konstantin-korovin:patch-3
June 15, 2024 16:52 7m 47s
Create iprover_smtcomp.sh TestSolver #164: Pull request #96 synchronize by konstantin-korovin
June 15, 2024 16:23 7m 47s konstantin-korovin:patch-3
konstantin-korovin:patch-3
June 15, 2024 16:23 7m 47s
Create iprover_smtcomp.sh TestSolver #163: Pull request #96 synchronize by konstantin-korovin
June 15, 2024 15:32 7m 46s konstantin-korovin:patch-3
konstantin-korovin:patch-3
June 15, 2024 15:32 7m 46s
Create iprover_smtcomp.sh TestSolver #162: Pull request #96 synchronize by konstantin-korovin
June 15, 2024 15:24 8m 19s konstantin-korovin:patch-3
konstantin-korovin:patch-3
June 15, 2024 15:24 8m 19s
Create iprover_smtcomp.sh TestSolver #161: Pull request #96 synchronize by konstantin-korovin
June 15, 2024 15:10 7m 46s konstantin-korovin:patch-3
konstantin-korovin:patch-3
June 15, 2024 15:10 7m 46s
Create iprover_smtcomp.sh TestSolver #160: Pull request #96 synchronize by konstantin-korovin
June 15, 2024 15:08 7m 59s konstantin-korovin:patch-3
konstantin-korovin:patch-3
June 15, 2024 15:08 7m 59s
Create iprover_smtcomp.sh TestSolver #159: Pull request #96 synchronize by konstantin-korovin
June 15, 2024 15:00 7m 43s konstantin-korovin:patch-3
konstantin-korovin:patch-3
June 15, 2024 15:00 7m 43s
Create iprover_smtcomp.sh TestSolver #158: Pull request #96 synchronize by konstantin-korovin
June 15, 2024 14:20 7m 48s konstantin-korovin:patch-3
konstantin-korovin:patch-3
June 15, 2024 14:20 7m 48s
Create iprover_smtcomp.sh TestSolver #157: Pull request #96 synchronize by konstantin-korovin
June 15, 2024 14:12 8m 38s konstantin-korovin:patch-3
konstantin-korovin:patch-3
June 15, 2024 14:12 8m 38s
Create iprover_smtcomp.sh TestSolver #156: Pull request #96 synchronize by konstantin-korovin
June 15, 2024 14:02 7m 43s konstantin-korovin:patch-3
konstantin-korovin:patch-3
June 15, 2024 14:02 7m 43s
Create iprover_smtcomp.sh TestSolver #155: Pull request #96 synchronize by konstantin-korovin
June 15, 2024 13:26 7m 44s konstantin-korovin:patch-3
konstantin-korovin:patch-3
June 15, 2024 13:26 7m 44s