API tools faq
paste
Guest User

Untitled

a guest
Nov 19th, 2017
72
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 6.50 KB | None | 0 0
raw download clone embed print report
  1. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_firewire.nm -pf Pmax=? [ F ((s1=8)&(s2=7))|((s1=7)&(s2=8)) ] -timeout 1200 -heuristic_epsilon 1e-4 -const fast=0.25,delay=1440 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  2. BRTDP_MAXDIFF | None | 1440 | 0.25 | 0.068 | 0.008 | 0.004 | 14.400 | 730.200000000 | 1.000000000 | 1.000000000 | 669.200 | 0 | 0
  3. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_firewire.nm -pf Pmax=? [ F ((s1=8)&(s2=7))|((s1=7)&(s2=8)) ] -timeout 1200 -heuristic_epsilon 1e-4 -const fast=0.25,delay=1440 -ucb1constant 0.5 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  4. MCTS_BRTDP_MAXDIFF | 0.500 | 1440 | 0.25 | 0.071 | 0.012 | 0.006 | 12.000 | 877.400000000 | 1.000000000 | 1.000000000 | 674.600 | 0 | 0
  5. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_firewire.nm -pf Pmax=? [ F ((s1=8)&(s2=7))|((s1=7)&(s2=8)) ] -timeout 1200 -heuristic_epsilon 1e-4 -const fast=0.25,delay=1440 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  6. MCTS_BRTDP_MAXDIFF | 1.000 | 1440 | 0.25 | 0.065 | 0.004 | 0.004 | 16.000 | 762.800000000 | 1.000000000 | 1.000000000 | 603.200 | 0 | 0
  7. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_firewire.nm -pf Pmax=? [ F ((s1=8)&(s2=7))|((s1=7)&(s2=8)) ] -timeout 1200 -heuristic_epsilon 1e-4 -const fast=0.25,delay=1440 -ucb1constant 5 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  8. MCTS_BRTDP_MAXDIFF | 5.000 | 1440 | 0.25 | 0.072 | 0.013 | 0.011 | 13.400 | 802.200000000 | 1.000000000 | 1.000000000 | 678.800 | 0 | 0
  9. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_firewire.nm -pf Pmax=? [ F ((s1=8)&(s2=7))|((s1=7)&(s2=8)) ] -timeout 1200 -heuristic_epsilon 1e-4 -const fast=0.25,delay=1440 -ucb1constant 0.5 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  10. MCTS_BRTDP_VCB_MAXDIFF | 0.500 | 1440 | 0.25 | 0.111 | 0.181 | 0.049 | 2265.200 | 859.200000000 | 1.000000000 | 1.000000000 | 736.600 | 0 | 0
  11. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_firewire.nm -pf Pmax=? [ F ((s1=8)&(s2=7))|((s1=7)&(s2=8)) ] -timeout 1200 -heuristic_epsilon 1e-4 -const fast=0.25,delay=1440 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  12. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 1440 | 0.25 | 0.067 | 0.008 | 0.006 | 18.000 | 829.800000000 | 1.000000000 | 1.000000000 | 640.000 | 0 | 0
  13. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_firewire.nm -pf Pmax=? [ F ((s1=8)&(s2=7))|((s1=7)&(s2=8)) ] -timeout 1200 -heuristic_epsilon 1e-4 -const fast=0.25,delay=1440 -ucb1constant 5 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  14. MCTS_BRTDP_VCB_MAXDIFF | 5.000 | 1440 | 0.25 | 0.067 | 0.010 | 0.006 | 17.000 | 691.400000000 | 1.000000000 | 1.000000000 | 612.200 | 0 | 0
  15. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_firewire.nm -pf Pmax=? [ F ((s1=8)&(s2=7))|((s1=7)&(s2=8)) ] -timeout 1200 -heuristic_epsilon 1e-4 -const fast=0.25,delay=1440
  16. VI | None | 1440 | 0.25 | 0.000 | 0.000 | -1.00000000 | 0 | 5
  17. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_firewire.nm -pf Pmax=? [ F ((s1=8)&(s2=7))|((s1=7)&(s2=8)) ] -timeout 1200 -heuristic_epsilon 1e-4 -const fast=0.75,delay=1440 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  18. BRTDP_MAXDIFF | None | 1440 | 0.75 | 0.067 | 0.004 | 0.007 | 15.400 | 852.200000000 | 1.000000000 | 1.000000000 | 626.200 | 0 | 0
  19. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_firewire.nm -pf Pmax=? [ F ((s1=8)&(s2=7))|((s1=7)&(s2=8)) ] -timeout 1200 -heuristic_epsilon 1e-4 -const fast=0.75,delay=1440 -ucb1constant 0.5 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  20. MCTS_BRTDP_MAXDIFF | 0.500 | 1440 | 0.75 | 0.064 | 0.007 | 0.003 | 11.200 | 741.000000000 | 1.000000000 | 1.000000000 | 617.600 | 0 | 0
  21. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_firewire.nm -pf Pmax=? [ F ((s1=8)&(s2=7))|((s1=7)&(s2=8)) ] -timeout 1200 -heuristic_epsilon 1e-4 -const fast=0.75,delay=1440 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  22. MCTS_BRTDP_MAXDIFF | 1.000 | 1440 | 0.75 | 0.065 | 0.007 | 0.005 | 14.800 | 732.000000000 | 1.000000000 | 1.000000000 | 654.400 | 0 | 0
  23. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_firewire.nm -pf Pmax=? [ F ((s1=8)&(s2=7))|((s1=7)&(s2=8)) ] -timeout 1200 -heuristic_epsilon 1e-4 -const fast=0.75,delay=1440 -ucb1constant 5 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  24. MCTS_BRTDP_MAXDIFF | 5.000 | 1440 | 0.75 | 0.070 | 0.010 | 0.008 | 14.000 | 678.400000000 | 1.000000000 | 1.000000000 | 632.600 | 0 | 0
  25. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_firewire.nm -pf Pmax=? [ F ((s1=8)&(s2=7))|((s1=7)&(s2=8)) ] -timeout 1200 -heuristic_epsilon 1e-4 -const fast=0.75,delay=1440 -ucb1constant 0.5 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  26. MCTS_BRTDP_VCB_MAXDIFF | 0.500 | 1440 | 0.75 | 0.075 | 0.011 | 0.013 | 18.600 | 884.000000000 | 1.000000000 | 1.000000000 | 632.600 | 0 | 0
  27. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_firewire.nm -pf Pmax=? [ F ((s1=8)&(s2=7))|((s1=7)&(s2=8)) ] -timeout 1200 -heuristic_epsilon 1e-4 -const fast=0.75,delay=1440 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  28. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 1440 | 0.75 | 0.068 | 0.009 | 0.007 | 8.600 | 693.600000000 | 1.000000000 | 1.000000000 | 605.200 | 0 | 0
  29. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_firewire.nm -pf Pmax=? [ F ((s1=8)&(s2=7))|((s1=7)&(s2=8)) ] -timeout 1200 -heuristic_epsilon 1e-4 -const fast=0.75,delay=1440 -ucb1constant 5 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  30. MCTS_BRTDP_VCB_MAXDIFF | 5.000 | 1440 | 0.75 | 0.066 | 0.012 | 0.007 | 9.800 | 669.800000000 | 1.000000000 | 1.000000000 | 597.400 | 0 | 0
  31. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_firewire.nm -pf Pmax=? [ F ((s1=8)&(s2=7))|((s1=7)&(s2=8)) ] -timeout 1200 -heuristic_epsilon 1e-4 -const fast=0.75,delay=1440
  32. VI | None | 1440 | 0.75 | 0.000 | 0.000 | -1.00000000 | 0 | 5
Add Comment
Please, Sign In to add comment
Public Pastes
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!