nharnessed
Terminal-Bench 4.0
Unharnessed on GitHub
Install
All tasks
Passed
coq-block-bound
4/4
Tests
16
Turns
16m
Time
$2.93
Cost
Claude Opus 5.5
Model
Loading the transcript…