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