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

Create iprover_smtcomp.sh TestSolver #154: Pull request #96 synchronize by konstantin-korovin
June 15, 2024 13:21 1m 53s konstantin-korovin:patch-3
konstantin-korovin:patch-3
June 15, 2024 13:21 1m 53s
Create iprover_smtcomp.sh TestSolver #153: Pull request #96 synchronize by konstantin-korovin
June 15, 2024 13:15 7m 48s konstantin-korovin:patch-3
konstantin-korovin:patch-3
June 15, 2024 13:15 7m 48s
Create iprover_smtcomp.sh TestSolver #152: Pull request #96 synchronize by konstantin-korovin
June 15, 2024 13:12 2m 5s konstantin-korovin:patch-3
konstantin-korovin:patch-3
June 15, 2024 13:12 2m 5s
Create iprover_smtcomp.sh TestSolver #151: Pull request #96 synchronize by konstantin-korovin
June 15, 2024 13:06 2m 14s konstantin-korovin:patch-3
konstantin-korovin:patch-3
June 15, 2024 13:06 2m 14s
Create iprover_smtcomp.sh TestSolver #150: Pull request #96 synchronize by konstantin-korovin
June 15, 2024 13:01 2m 32s konstantin-korovin:patch-3
konstantin-korovin:patch-3
June 15, 2024 13:01 2m 32s
Create iprover_smtcomp.sh TestSolver #149: Pull request #96 synchronize by konstantin-korovin
June 15, 2024 11:29 2m 50s konstantin-korovin:patch-3
konstantin-korovin:patch-3
June 15, 2024 11:29 2m 50s
Create iprover_smtcomp.sh TestSolver #148: Pull request #96 synchronize by konstantin-korovin
June 15, 2024 11:20 2m 46s konstantin-korovin:patch-3
konstantin-korovin:patch-3
June 15, 2024 11:20 2m 46s
Adding Algaroba to SMTCOMP 2024 TestSolver #147: Pull request #42 synchronize by amarshah1
June 14, 2024 22:16 1m 57s amarshah1:master
amarshah1:master
June 14, 2024 22:16 1m 57s
Yices2 SMTCOMP 2024 Submission TestSolver #146: Pull request #66 synchronize by ahmed-irfan
June 14, 2024 22:15 1m 43s ahmed-irfan:yices2
ahmed-irfan:yices2
June 14, 2024 22:15 1m 43s
Add 2024 Bitwuzla submission. TestSolver #145: Pull request #54 synchronize by mpreiner
June 14, 2024 06:53 1m 46s mpreiner:2024-bitwuzla-prelim
mpreiner:2024-bitwuzla-prelim
June 14, 2024 06:53 1m 46s
Add 2024 Bitwuzla submission. TestSolver #144: Pull request #54 synchronize by mpreiner
June 14, 2024 06:04 1m 42s mpreiner:2024-bitwuzla-prelim
mpreiner:2024-bitwuzla-prelim
June 14, 2024 06:04 1m 42s
plat-smt submission TestSolver #143: Pull request #55 synchronize by dewert99
June 14, 2024 04:50 1m 46s dewert99:patch-1
dewert99:patch-1
June 14, 2024 04:50 1m 46s
plat-smt submission TestSolver #142: Pull request #55 synchronize by dewert99
June 14, 2024 04:33 1m 45s dewert99:patch-1
dewert99:patch-1
June 14, 2024 04:33 1m 45s
UltimateEliminator submission TestSolver #141: Pull request #76 synchronize by Heizmann
June 14, 2024 03:55 2m 49s Heizmann:master
Heizmann:master
June 14, 2024 03:55 2m 49s
Yices2 SMTCOMP 2024 Submission TestSolver #140: Pull request #66 synchronize by ahmed-irfan
June 14, 2024 03:33 2m 18s ahmed-irfan:yices2
ahmed-irfan:yices2
June 14, 2024 03:33 2m 18s
UltimateEliminator submission TestSolver #139: Pull request #76 synchronize by Heizmann
June 14, 2024 03:26 3m 16s Heizmann:master
Heizmann:master
June 14, 2024 03:26 3m 16s
Add 2024 Bitwuzla submission. TestSolver #138: Pull request #54 synchronize by mpreiner
June 14, 2024 03:09 2m 1s mpreiner:2024-bitwuzla-prelim
mpreiner:2024-bitwuzla-prelim
June 14, 2024 03:09 2m 1s
Add 2024 Bitwuzla submission. TestSolver #137: Pull request #54 synchronize by mpreiner
June 14, 2024 03:05 1m 55s mpreiner:2024-bitwuzla-prelim
mpreiner:2024-bitwuzla-prelim
June 14, 2024 03:05 1m 55s
Solver submission: cvc5 TestSolver #136: Pull request #64 synchronize by hansjoergschurr
June 13, 2024 23:48 2m 0s hansjoergschurr:comp24/cvc5
hansjoergschurr:comp24/cvc5
June 13, 2024 23:48 2m 0s
Create iprover_smtcomp.sh TestSolver #135: Pull request #96 synchronize by konstantin-korovin
June 13, 2024 22:31 7m 40s konstantin-korovin:patch-3
konstantin-korovin:patch-3
June 13, 2024 22:31 7m 40s
Create iprover_smtcomp.sh TestSolver #134: Pull request #96 synchronize by konstantin-korovin
June 13, 2024 22:04 7m 53s konstantin-korovin:patch-3
konstantin-korovin:patch-3
June 13, 2024 22:04 7m 53s
Create iprover_smtcomp.sh TestSolver #133: Pull request #96 synchronize by konstantin-korovin
June 13, 2024 21:43 7m 50s konstantin-korovin:patch-3
konstantin-korovin:patch-3
June 13, 2024 21:43 7m 50s
Z3-alpha draft PR TestSolver #132: Pull request #65 synchronize by JohnLyu2
June 13, 2024 21:28 1m 49s JohnLyu2:patch-1
JohnLyu2:patch-1
June 13, 2024 21:28 1m 49s
Create iprover_smtcomp.sh TestSolver #131: Pull request #96 synchronize by konstantin-korovin
June 13, 2024 20:46 7m 45s konstantin-korovin:patch-3
konstantin-korovin:patch-3
June 13, 2024 20:46 7m 45s
Create iprover_smtcomp.sh TestSolver #130: Pull request #96 synchronize by konstantin-korovin
June 13, 2024 20:42 2m 43s konstantin-korovin:patch-3
konstantin-korovin:patch-3
June 13, 2024 20:42 2m 43s