Skip to content
Check Pull Request

Add new benchmarks from Ultimate Automizer's loop acceleration #41

Sign in to view logs

Add new benchmarks from Ultimate Automizer's loop acceleration

Add new benchmarks from Ultimate Automizer's loop acceleration #41

Re-run triggered April 14, 2024 17:20
@hansjoergschurrhansjoergschurr
#16
Heizmann:main
Status Failure
Total duration 20s
Artifacts –

check-pull-request.yml

on: pull_request
basic-checks
10s
basic-checks
check-with-dolmen
0s
check-with-dolmen
Fit to window
Zoom out
Zoom in

Annotations

2 errors
basic-checks: non-incremental/ANIA/20240413-AutomizerLoopAcceleration/duplets.c_AllErrorsAtOnce_Iteration16_0.smt2#L1
No quantifiers detected in quantified logic.
basic-checks
Process completed with exit code 1.