Sign in
gerrit
/
prolog-cafe
/
d56882fa79df9e9b47a1906b2a3662fe6d0727b5
/
.
/
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
).