Skip to content
Evaluation

feat: Prove new k-induction algorithm #239

Sign in to view logs

feat: Prove new k-induction algorithm

feat: Prove new k-induction algorithm #239

Triggered via pull request February 17, 2025 15:41
@bollubollu
synchronize #1005
new-k-induction-proof
Status Failure
Total duration 20m 15s
Artifacts –

evaluation.yml

on: pull_request
Evaluation of Tactics & Decision Procedures
20m 6s
Evaluation of Tactics & Decision Procedures
Fit to window
Zoom out
Zoom in

Annotations

1 error
Evaluation of Tactics & Decision Procedures
Process completed with exit code 1.