BoltHalt

New Benchmark