bitwuzla: Change options for parallel track. · SMT-COMP/smt-comp.github.io@da14ab3

Triggered via pull request July 14, 2025 20:14

mpreiner

opened #201

Status Success

Total duration 1m 31s

Artifacts 1

test-solver.yml

on: pull_request

Produced during runtime

Name	Size	Digest
generated_script Expired	7.54 MB	`sha256:e3f99fa75ad58664a5d19249e2b246361867ddf444ecbb7ad491de9472832f57`