Sign in
gerrit
/
prolog-cafe
/
c61fb2000a2e1f505f3f7d9f10e6ef3e2cb1fe3e
/
.
/
examples
/
benchmarks
/
holmer
/
prover.in
blob: 5418581228a12e04ea8ae042395090e8e5ea0d0d [
file
] [
log
] [
blame
]
:-
'$benchmark'
(
prover
,
1000
,
prover
,
'$dummy'
).