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

Amaya's submission for SMT-COMP 2024 TestSolver #104: Pull request #57 synchronize by ondrik
June 12, 2024 21:25 2m 26s ondrik:amaya
ondrik:amaya
June 12, 2024 21:25 2m 26s
Amaya's submission for SMT-COMP 2024 TestSolver #103: Pull request #57 synchronize by ondrik
June 12, 2024 21:24 2m 4s ondrik:amaya
ondrik:amaya
June 12, 2024 21:24 2m 4s
Yices2 SMTCOMP 2024 Submission TestSolver #102: Pull request #66 synchronize by ahmed-irfan
June 12, 2024 20:09 2m 2s ahmed-irfan:yices2
ahmed-irfan:yices2
June 12, 2024 20:09 2m 2s
Yices2 SMTCOMP 2024 Submission TestSolver #101: Pull request #66 synchronize by ahmed-irfan
June 12, 2024 13:40 42s ahmed-irfan:yices2
ahmed-irfan:yices2
June 12, 2024 13:40 42s
Adding Algaroba to SMTCOMP 2024 TestSolver #100: Pull request #42 synchronize by amarshah1
June 12, 2024 11:41 1m 45s amarshah1:master
amarshah1:master
June 12, 2024 11:41 1m 45s
Adding Algaroba to SMTCOMP 2024 TestSolver #99: Pull request #42 synchronize by amarshah1
June 12, 2024 11:40 1m 54s amarshah1:master
amarshah1:master
June 12, 2024 11:40 1m 54s
Yices2 SMTCOMP 2024 Submission TestSolver #98: Pull request #66 synchronize by ahmed-irfan
June 12, 2024 11:28 53s ahmed-irfan:yices2
ahmed-irfan:yices2
June 12, 2024 11:28 53s
yicesQS submission to the 2024 SMT comp TestSolver #97: Pull request #70 synchronize by bobot
June 12, 2024 10:07 2m 31s disteph:master
disteph:master
June 12, 2024 10:07 2m 31s
yicesQS submission to the 2024 SMT comp TestSolver #96: Pull request #70 synchronize by disteph
June 12, 2024 05:40 2m 23s disteph:master
disteph:master
June 12, 2024 05:40 2m 23s
Yices2 SMTCOMP 2024 Submission TestSolver #95: Pull request #66 synchronize by ahmed-irfan
June 10, 2024 13:00 2m 3s ahmed-irfan:yices2
ahmed-irfan:yices2
June 10, 2024 13:00 2m 3s
Add STP-Parti-Bitwuzla Submission for SMT-COMP 2024 TestSolver #94: Pull request #86 synchronize by zmylinxi99
June 10, 2024 08:45 43s zmylinxi99:patch-3
zmylinxi99:patch-3
June 10, 2024 08:45 43s
Add Z3-Parti-Z3++ Submission for SMT-COMP 2024 TestSolver #93: Pull request #85 synchronize by zmylinxi99
June 10, 2024 08:42 38s zmylinxi99:patch-2
zmylinxi99:patch-2
June 10, 2024 08:42 38s
Submission for smtinterpol TestSolver #92: Pull request #45 synchronize by jhoenicke
June 9, 2024 18:50 2m 36s jhoenicke-smtinterpol
jhoenicke-smtinterpol
June 9, 2024 18:50 2m 36s
Submission for smtinterpol TestSolver #91: Pull request #45 synchronize by jhoenicke
June 9, 2024 18:37 2m 21s jhoenicke-smtinterpol
jhoenicke-smtinterpol
June 9, 2024 18:37 2m 21s
Yices2 SMTCOMP 2024 Submission TestSolver #90: Pull request #66 synchronize by ahmed-irfan
June 7, 2024 22:07 2m 14s ahmed-irfan:yices2
ahmed-irfan:yices2
June 7, 2024 22:07 2m 14s
Yices2 SMTCOMP 2024 Submission TestSolver #89: Pull request #66 synchronize by ahmed-irfan
June 7, 2024 15:45 1m 51s ahmed-irfan:yices2
ahmed-irfan:yices2
June 7, 2024 15:45 1m 51s
Yices2 SMTCOMP 2024 Submission TestSolver #88: Pull request #66 synchronize by ahmed-irfan
June 6, 2024 22:05 2m 5s ahmed-irfan:yices2
ahmed-irfan:yices2
June 6, 2024 22:05 2m 5s
2024 solver participant submission: SMTS TestSolver #87: Pull request #87 opened by Tomaqa
June 6, 2024 10:53 39s Tomaqa:smts24
Tomaqa:smts24
June 6, 2024 10:53 39s
Add STP-Parti-Bitwuzla Submission for SMT-COMP 2024 TestSolver #86: Pull request #86 opened by zmylinxi99
June 6, 2024 00:34 40s zmylinxi99:patch-3
zmylinxi99:patch-3
June 6, 2024 00:34 40s
Add Z3-Parti-Z3++ Submission for SMT-COMP 2024 TestSolver #85: Pull request #85 opened by zmylinxi99
June 6, 2024 00:32 36s zmylinxi99:patch-2
zmylinxi99:patch-2
June 6, 2024 00:32 36s
yicesQS submission to the 2024 SMT comp TestSolver #84: Pull request #70 synchronize by disteph
June 5, 2024 23:12 2m 15s disteph:master
disteph:master
June 5, 2024 23:12 2m 15s
Solver submission: cvc5 TestSolver #83: Pull request #64 synchronize by hansjoergschurr
June 5, 2024 19:04 6h 0m 52s hansjoergschurr:comp24/cvc5
hansjoergschurr:comp24/cvc5
June 5, 2024 19:04 6h 0m 52s
plat-smt submission TestSolver #82: Pull request #55 synchronize by dewert99
June 4, 2024 23:43 1m 55s dewert99:patch-1
dewert99:patch-1
June 4, 2024 23:43 1m 55s
plat-smt submission TestSolver #81: Pull request #55 synchronize by dewert99
June 4, 2024 23:41 1m 52s dewert99:patch-1
dewert99:patch-1
June 4, 2024 23:41 1m 52s
yicesQS submission to the 2024 SMT comp TestSolver #80: Pull request #70 synchronize by disteph
June 4, 2024 17:07 2m 7s disteph:master
disteph:master
June 4, 2024 17:07 2m 7s