45 lines
834 B
Plaintext
45 lines
834 B
Plaintext
|
/* Execution time 72.732000 LogSize 26.931472 Final I 14.929189
|
||
|
|
setting(setrand,rand(1230,45,123)).
|
||
|
|
setting(logsize_fraction,0.9).
|
||
|
|
setting(delta,-10).
|
||
|
|
setting(epsilon_fraction,100).
|
||
|
|
setting(max_rules,6000).
|
||
|
|
setting(depth_bound,inf).
|
||
|
|
setting(minimal_step,0.005).
|
||
|
|
setting(maximal_step,0.1).
|
||
|
|
setting(sample_size,478).
|
||
|
|
setting(verbosity,3).
|
||
|
|
*/
|
||
|
|
failure(B) :-
|
||
|
|
hmmf(B,[r0],C,2),
|
||
|
|
C>=1000.
|
||
|
|
|
||
|
|
success(B) :-
|
||
|
|
hmmf(B,[r0],C,2),
|
||
|
|
C<1000.
|
||
|
|
|
||
|
|
hmmf([p|B],C,D,E):0.280793 ; hmmf([s|B],C,F,E):0.719207 :-
|
||
|
|
E>0,
|
||
|
|
C=[r0|G],
|
||
|
|
tr(C,H),
|
||
|
|
I is E-1,
|
||
|
|
hmmf(B,[H|C],J,I),
|
||
|
|
D is J+900,
|
||
|
|
F is J+400.
|
||
|
|
|
||
|
|
hmmf([s|B],C,D,E):0.550416 ; hmmf([h|B],C,F,E):0.449584 :-
|
||
|
|
E>0,
|
||
|
|
C=[r1|G],
|
||
|
|
tr(C,H),
|
||
|
|
I is E-1,
|
||
|
|
hmmf(B,[H|C],J,I),
|
||
|
|
D is J+500,
|
||
|
|
F is J+400.
|
||
|
|
|
||
|
|
hmmf([],B,0,0).
|
||
|
|
|
||
|
|
tr([r0|B],r0):0.459350 ; tr([r0|B],r1):0.540650.
|
||
|
|
|
||
|
|
tr([r1|B],r0):0.508370 ; tr([r1|B],r1):0.491630.
|
||
|
|
|