Sign in
gerrit
/
prolog-cafe
/
3d7a01e6fe417f39d99c6f9d60542819dcd72a82
/
.
/
examples
/
benchmarks
/
ecrc
/
bench_1_2.in
blob: ba4dbb5ba801e87ecc227eba95f15dbaf5248f0f [
file
] [
log
] [
blame
]
:-
choice_point
(
10000
).
:-
choice_point
(
10000
).
:-
choice_point0ar
(
10000
).
:-
baktrak1
(
1000000
).
:-
baktrak2
(
1000000
).
