API tools faq
paste
Guest User

Untitled

a guest
Nov 20th, 2017
48
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 102.92 KB | None | 0 0
raw download clone embed print report
  1. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const err=0.1,K=10,N=1,reset=false -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  2. BRTDP_MAXDIFF | None | 1 | 10 | 46.716 | 5.060 | 5.059 | 30019525.000 | 60348058.000000000 | 0.000000000 | 0.000000000 | 81.000 | 0 | 0
  3. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const err=0.1,K=10,N=1,reset=false -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  4. MCTS_BRTDP_MAXDIFF | 1.000 | 1 | 10 | 85.400 | 2.654 | 2.654 | 18400673.500 | 61616216.500000000 | 0.000000000 | 0.000000000 | 3535.000 | 0 | 0
  5. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const err=0.1,K=10,N=1,reset=false -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  6. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 1 | 10 | 154.899 | 17.028 | 17.028 | 18400675.500 | 61639112.500000000 | 0.000000000 | 0.000000000 | 3740.500 | 0 | 0
  7. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const err=0.1,K=10,N=1,reset=false
  8. VI | None | 1 | 10 | 48.228 | 156.519 | 0.00000024 | 0 | 0
  9. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const err=0.1,K=15,N=1,reset=false -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  10. BRTDP_MAXDIFF | None | 1 | 15 | 31.098 | 0.884 | 0.884 | 27524377.000 | 55335481.000000000 | 0.000000000 | 0.000000000 | 111.000 | 0 | 0
  11. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const err=0.1,K=15,N=1,reset=false -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  12. MCTS_BRTDP_MAXDIFF | 1.000 | 1 | 15 | 77.383 | 0.682 | 0.682 | 18400684.000 | 63831063.000000000 | 0.000000000 | 0.000000000 | 3769.500 | 0 | 0
  13. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const err=0.1,K=15,N=1,reset=false -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  14. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 1 | 15 | 77.168 | 0.306 | 0.306 | 18400682.000 | 63879297.000000000 | 0.000000000 | 0.000000000 | 3845.000 | 0 | 0
  15. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const err=0.1,K=15,N=1,reset=false
  16. VI | None | 1 | 15 | 0.000 | 0.000 | -1.00000000 | 0 | 2
  17. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const err=0.1,K=20,N=1,reset=false -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  18. BRTDP_MAXDIFF | None | 1 | 20 | 32.446 | 0.051 | 0.051 | 28163869.500 | 56624247.500000000 | 0.000000000 | 0.000000000 | 141.000 | 0 | 0
  19. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const err=0.1,K=20,N=1,reset=false -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  20. MCTS_BRTDP_MAXDIFF | 1.000 | 1 | 20 | 79.215 | 0.183 | 0.183 | 18400693.500 | 64584524.500000000 | 0.000000000 | 0.000000000 | 4198.000 | 0 | 0
  21. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const err=0.1,K=20,N=1,reset=false -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  22. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 1 | 20 | 77.398 | 0.080 | 0.080 | 18400697.500 | 64915947.000000000 | 0.000000000 | 0.000000000 | 4179.000 | 0 | 0
  23. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const err=0.1,K=20,N=1,reset=false
  24. VI | None | 1 | 20 | 0.000 | 0.000 | -1.00000000 | 1 | 1
  25. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const err=0.1,K=40,N=1,reset=false -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  26. BRTDP_MAXDIFF | None | 1 | 40 | 38.410 | 1.891 | 1.891 | 28363020.500 | 57037771.000000000 | 0.000000000 | 0.000000000 | 261.000 | 0 | 0
  27. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const err=0.1,K=40,N=1,reset=false -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  28. MCTS_BRTDP_MAXDIFF | 1.000 | 1 | 40 | 37.144 | 0.797 | 0.798 | 18400764.000 | 104988.500000000 | 0.000000000 | 0.000000000 | 5687.500 | 0 | 0
  29. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const err=0.1,K=40,N=1,reset=false -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  30. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 1 | 40 | 37.701 | 1.353 | 1.354 | 18400765.000 | 105101.500000000 | 0.000000000 | 0.000000000 | 5659.000 | 0 | 0
  31. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const err=0.1,K=40,N=1,reset=false
  32. VI | None | 1 | 40 | 5.268 | 10.956 | 0.00000000 | 0 | 0
  33. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const err=0.1,K=100,N=1,reset=false -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  34. BRTDP_MAXDIFF | None | 1 | 100 | 54.234 | 2.534 | 2.533 | 28516740.500 | 57400579.000000000 | 0.000000000 | 0.000000000 | 621.000 | 0 | 0
  35. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const err=0.1,K=100,N=1,reset=false -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  36. MCTS_BRTDP_MAXDIFF | 1.000 | 1 | 100 | 38.809 | 0.108 | 0.108 | 18400986.500 | 249290.500000000 | 0.000000000 | 0.000000000 | 7094.500 | 0 | 0
  37. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const err=0.1,K=100,N=1,reset=false -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  38. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 1 | 100 | 38.094 | 0.193 | 0.193 | 18400983.000 | 244893.500000000 | 0.000000000 | 0.000000000 | 6871.000 | 0 | 0
  39. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const err=0.1,K=100,N=1,reset=false
  40. VI | None | 1 | 100 | 5.513 | 19.215 | 0.00000000 | 0 | 0
  41. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const err=0.1,K=10,N=10,reset=false -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  42. BRTDP_MAXDIFF | None | 10 | 10 | 33.588 | 0.065 | 0.064 | 27957529.500 | 56205386.500000000 | 0.000000000 | 0.000000000 | 401.500 | 0 | 0
  43. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const err=0.1,K=10,N=10,reset=false -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  44. MCTS_BRTDP_MAXDIFF | 1.000 | 10 | 10 | 76.316 | 0.823 | 0.823 | 18400674.500 | 61601905.000000000 | 0.000000000 | 0.000000000 | 4869.500 | 0 | 0
  45. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const err=0.1,K=10,N=10,reset=false -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  46. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 10 | 10 | 73.718 | 1.180 | 1.180 | 18400675.500 | 61526560.500000000 | 0.000000000 | 0.000000000 | 4319.000 | 0 | 0
  47. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const err=0.1,K=10,N=10,reset=false
  48. VI | None | 10 | 10 | 47.816 | 195.359 | 0.00000241 | 0 | 0
  49. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=10,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  50. BRTDP_MAXDIFF | None | 10 | 15 | 41.921 | 6.703 | 6.704 | 28006592.000 | 56307766.000000000 | 0.000000000 | 0.000000000 | 488.500 | 0 | 0
  51. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=10,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  52. MCTS_BRTDP_MAXDIFF | 1.000 | 10 | 15 | 80.803 | 1.331 | 1.331 | 18400680.000 | 63970450.500000000 | 0.000000000 | 0.000000000 | 4792.500 | 0 | 0
  53. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=10,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  54. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 10 | 15 | 78.709 | 0.638 | 0.638 | 18400682.000 | 64055424.500000000 | 0.000000000 | 0.000000000 | 4285.500 | 0 | 0
  55. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=10,err=0.1
  56. VI | None | 10 | 15 | 0.000 | 0.000 | -1.00000000 | 0 | 2
  57. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=10,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  58. BRTDP_MAXDIFF | None | 10 | 20 | 33.498 | 1.263 | 1.263 | 28019600.000 | 56336469.000000000 | 0.000000000 | 0.000000000 | 587.500 | 0 | 0
  59. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=10,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  60. MCTS_BRTDP_MAXDIFF | 1.000 | 10 | 20 | 82.464 | 0.530 | 0.530 | 18400694.000 | 64702786.500000000 | 0.000000000 | 0.000000000 | 5050.500 | 0 | 0
  61. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=10,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  62. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 10 | 20 | 78.515 | 2.059 | 2.059 | 18400696.500 | 64605410.500000000 | 0.000000000 | 0.000000000 | 5018.500 | 0 | 0
  63. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=10,err=0.1
  64. VI | None | 10 | 20 | 0.000 | 0.000 | -1.00000000 | 0 | 2
  65. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=10,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  66. BRTDP_MAXDIFF | None | 10 | 40 | 53.352 | 5.332 | 5.333 | 28765573.500 | 57854072.500000000 | 0.000000000 | 0.000000000 | 921.000 | 0 | 0
  67. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=10,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  68. MCTS_BRTDP_MAXDIFF | 1.000 | 10 | 40 | 38.151 | 0.217 | 0.217 | 18400756.500 | 122481.500000000 | 0.000000000 | 0.000000000 | 6551.000 | 0 | 0
  69. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=10,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  70. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 10 | 40 | 37.584 | 0.160 | 0.160 | 18400763.000 | 123261.000000000 | 0.000000000 | 0.000000000 | 6778.000 | 0 | 0
  71. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=10,err=0.1
  72. VI | None | 10 | 40 | 5.188 | 11.069 | 0.00000000 | 0 | 0
  73. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=10,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  74. BRTDP_MAXDIFF | None | 10 | 100 | 72.026 | 17.945 | 17.944 | 28547223.500 | 57493906.500000000 | 0.000000000 | 0.000000000 | 1671.000 | 0 | 0
  75. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=10,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  76. MCTS_BRTDP_MAXDIFF | 1.000 | 10 | 100 | 38.441 | 0.471 | 0.471 | 18400975.000 | 300814.500000000 | 0.000000000 | 0.000000000 | 9170.500 | 0 | 0
  77. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=10,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  78. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 10 | 100 | 38.404 | 1.147 | 1.146 | 18400983.500 | 296808.000000000 | 0.000000000 | 0.000000000 | 8886.000 | 0 | 0
  79. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=10,err=0.1
  80. VI | None | 10 | 100 | 5.335 | 19.070 | 0.00000000 | 0 | 0
  81. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=15,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  82. BRTDP_MAXDIFF | None | 15 | 10 | 35.400 | 1.965 | 1.965 | 29320970.500 | 58946280.500000000 | 0.000000000 | 0.000000000 | 478.000 | 0 | 0
  83. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=15,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  84. MCTS_BRTDP_MAXDIFF | 1.000 | 15 | 10 | 74.026 | 0.606 | 0.605 | 18400673.500 | 61662502.500000000 | 0.000000000 | 0.000000000 | 4503.000 | 0 | 0
  85. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=15,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  86. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 15 | 10 | 75.993 | 0.583 | 0.583 | 18400675.000 | 61788791.000000000 | 0.000000000 | 0.000000000 | 5346.000 | 0 | 0
  87. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=15,err=0.1
  88. VI | None | 15 | 10 | 49.043 | 158.689 | 0.00000362 | 0 | 0
  89. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=15,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  90. BRTDP_MAXDIFF | None | 15 | 15 | 39.498 | 0.114 | 0.114 | 31336594.500 | 63000921.000000000 | 0.000000000 | 0.000000000 | 540.000 | 0 | 0
  91. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=15,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  92. MCTS_BRTDP_MAXDIFF | 1.000 | 15 | 15 | 78.135 | 0.769 | 0.769 | 18400679.500 | 64279688.500000000 | 0.000000000 | 0.000000000 | 5678.500 | 0 | 0
  93. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=15,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  94. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 15 | 15 | 79.945 | 1.708 | 1.708 | 18400680.000 | 64049150.500000000 | 0.000000000 | 0.000000000 | 5688.000 | 0 | 0
  95. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=15,err=0.1
  96. VI | None | 15 | 15 | 0.000 | 0.000 | -1.00000000 | 0 | 2
  97. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=15,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  98. BRTDP_MAXDIFF | None | 15 | 20 | 35.035 | 1.264 | 1.264 | 28378843.000 | 57059638.500000000 | 0.000000000 | 0.000000000 | 631.500 | 0 | 0
  99. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=15,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  100. MCTS_BRTDP_MAXDIFF | 1.000 | 15 | 20 | 78.713 | 0.136 | 0.136 | 18400697.000 | 65013346.000000000 | 0.000000000 | 0.000000000 | 5087.000 | 0 | 0
  101. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=15,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  102. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 15 | 20 | 79.031 | 0.991 | 0.991 | 18400696.000 | 64851145.000000000 | 0.000000000 | 0.000000000 | 6090.500 | 0 | 0
  103. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=15,err=0.1
  104. VI | None | 15 | 20 | 0.000 | 0.000 | -1.00000000 | 0 | 2
  105. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=15,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  106. BRTDP_MAXDIFF | None | 15 | 40 | 45.043 | 5.644 | 5.643 | 27821181.000 | 55956082.500000000 | 0.000000000 | 0.000000000 | 955.500 | 0 | 0
  107. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=15,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  108. MCTS_BRTDP_MAXDIFF | 1.000 | 15 | 40 | 36.809 | 1.680 | 1.680 | 18400753.000 | 127539.000000000 | 0.000000000 | 0.000000000 | 6956.500 | 0 | 0
  109. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=15,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  110. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 15 | 40 | 37.261 | 0.203 | 0.203 | 18400755.000 | 124226.000000000 | 0.000000000 | 0.000000000 | 6570.000 | 0 | 0
  111. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=15,err=0.1
  112. VI | None | 15 | 40 | 5.220 | 11.192 | 0.00000000 | 0 | 0
  113. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=15,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  114. BRTDP_MAXDIFF | None | 15 | 100 | 113.966 | 62.343 | 62.343 | 28579763.000 | 57560986.000000000 | 0.000000000 | 0.000000000 | 1989.500 | 0 | 0
  115. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=15,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  116. MCTS_BRTDP_MAXDIFF | 1.000 | 15 | 100 | 36.597 | 0.842 | 0.841 | 18400984.500 | 306587.000000000 | 0.000000000 | 0.000000000 | 9188.500 | 0 | 0
  117. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=15,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  118. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 15 | 100 | 36.061 | 0.142 | 0.143 | 18400966.000 | 303349.000000000 | 0.000000000 | 0.000000000 | 9085.500 | 0 | 0
  119. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=15,err=0.1
  120. VI | None | 15 | 100 | 5.298 | 18.876 | 0.00000000 | 0 | 0
  121. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=20,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  122. BRTDP_MAXDIFF | None | 20 | 10 | 34.153 | 0.661 | 0.661 | 27797129.000 | 55881262.000000000 | 0.000000000 | 0.000000000 | 490.500 | 0 | 0
  123. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=20,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  124. MCTS_BRTDP_MAXDIFF | 1.000 | 20 | 10 | 75.946 | 0.058 | 0.059 | 18400675.000 | 61444732.000000000 | 0.000000000 | 0.000000000 | 5835.000 | 0 | 0
  125. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=20,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  126. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 20 | 10 | 74.524 | 0.383 | 0.382 | 18400674.500 | 61344345.500000000 | 0.000000000 | 0.000000000 | 5551.000 | 0 | 0
  127. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=20,err=0.1
  128. VI | None | 20 | 10 | 48.898 | 164.466 | 0.00000482 | 0 | 0
  129. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=20,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  130. BRTDP_MAXDIFF | None | 20 | 15 | 36.573 | 2.535 | 2.535 | 28324404.500 | 56943168.000000000 | 0.000000000 | 0.000000000 | 574.500 | 0 | 0
  131. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=20,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  132. MCTS_BRTDP_MAXDIFF | 1.000 | 20 | 15 | 80.711 | 1.978 | 1.978 | 18400681.500 | 63836255.500000000 | 0.000000000 | 0.000000000 | 5805.500 | 0 | 0
  133. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=20,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  134. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 20 | 15 | 76.847 | 2.561 | 2.561 | 18400683.000 | 63898259.500000000 | 0.000000000 | 0.000000000 | 5352.000 | 0 | 0
  135. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=20,err=0.1
  136. VI | None | 20 | 15 | 0.000 | 0.000 | -1.00000000 | 0 | 2
  137. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=20,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  138. BRTDP_MAXDIFF | None | 20 | 20 | 37.333 | 0.449 | 0.449 | 27834232.000 | 55962966.000000000 | 0.000000000 | 0.000000000 | 639.000 | 0 | 0
  139. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=20,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  140. MCTS_BRTDP_MAXDIFF | 1.000 | 20 | 20 | 80.435 | 0.704 | 0.703 | 18400695.500 | 64749247.000000000 | 0.000000000 | 0.000000000 | 5969.500 | 0 | 0
  141. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=20,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  142. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 20 | 20 | 79.939 | 0.077 | 0.077 | 18400698.500 | 64606067.500000000 | 0.000000000 | 0.000000000 | 6099.000 | 0 | 0
  143. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=20,err=0.1
  144. VI | None | 20 | 20 | 0.000 | 0.000 | -1.00000000 | 0 | 2
  145. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=20,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  146. BRTDP_MAXDIFF | None | 20 | 40 | 50.130 | 0.444 | 0.444 | 27937212.500 | 56183865.000000000 | 0.000000000 | 0.000000000 | 1010.000 | 0 | 0
  147. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=20,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  148. MCTS_BRTDP_MAXDIFF | 1.000 | 20 | 40 | 37.224 | 1.490 | 1.490 | 18400755.000 | 131932.000000000 | 0.000000000 | 0.000000000 | 7299.000 | 0 | 0
  149. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=20,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  150. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 20 | 40 | 36.710 | 0.221 | 0.220 | 18400759.000 | 130898.000000000 | 0.000000000 | 0.000000000 | 7155.500 | 0 | 0
  151. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=20,err=0.1
  152. VI | None | 20 | 40 | 5.232 | 11.171 | 0.00000000 | 0 | 0
  153. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=20,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  154. BRTDP_MAXDIFF | None | 20 | 100 | 164.385 | 80.416 | 80.416 | 28806215.000 | 58007942.500000000 | 0.000000000 | 0.000000000 | 2098.000 | 0 | 0
  155. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=20,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  156. MCTS_BRTDP_MAXDIFF | 1.000 | 20 | 100 | 36.806 | 0.218 | 0.218 | 18400989.500 | 308878.500000000 | 0.000000000 | 0.000000000 | 9721.000 | 0 | 0
  157. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=20,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  158. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 20 | 100 | 37.459 | 0.239 | 0.239 | 18400985.500 | 301050.500000000 | 0.000000000 | 0.000000000 | 9282.000 | 0 | 0
  159. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=20,err=0.1
  160. VI | None | 20 | 100 | 5.421 | 19.382 | 0.00000000 | 0 | 0
  161. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=30,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  162. BRTDP_MAXDIFF | None | 30 | 10 | 0.000 | -inf | -inf | 0.000 | 0.000000000 | 1.500000000 | -0.500000000 | 0.000 | 0 | 2
  163. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=30,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  164. MCTS_BRTDP_MAXDIFF | 1.000 | 30 | 10 | 76.535 | 0.651 | 0.651 | 18400674.500 | 61482946.500000000 | 0.000000000 | 0.000000000 | 6508.000 | 0 | 0
  165. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=30,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  166. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 30 | 10 | 77.201 | 0.209 | 0.209 | 18400675.000 | 61851232.000000000 | 0.000000000 | 0.000000000 | 5973.000 | 0 | 0
  167. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=30,err=0.1
  168. VI | None | 30 | 10 | 49.308 | 159.762 | 0.00000724 | 0 | 0
  169. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=30,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  170. BRTDP_MAXDIFF | None | 30 | 15 | 17.654 | 17.654 | -17.654 | 14115248.000 | 28376859.500000000 | 0.000000000 | 0.000000000 | 272.000 | 0 | 1
  171. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=30,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  172. MCTS_BRTDP_MAXDIFF | 1.000 | 30 | 15 | 79.780 | 0.202 | 0.202 | 18400680.000 | 63986665.500000000 | 0.000000000 | 0.000000000 | 5837.000 | 0 | 0
  173. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=30,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  174. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 30 | 15 | 78.679 | 0.812 | 0.812 | 18400678.500 | 64281186.500000000 | 0.000000000 | 0.000000000 | 6002.500 | 0 | 0
  175. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=30,err=0.1
  176. VI | None | 30 | 15 | 0.000 | 0.000 | -1.00000000 | 0 | 2
  177. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=30,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  178. BRTDP_MAXDIFF | None | 30 | 20 | 39.442 | 1.666 | 1.665 | 28317967.500 | 56931260.500000000 | 0.000000000 | 0.000000000 | 657.500 | 0 | 0
  179. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=30,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  180. MCTS_BRTDP_MAXDIFF | 1.000 | 30 | 20 | 78.216 | 0.591 | 0.590 | 18400698.000 | 64842767.500000000 | 0.000000000 | 0.000000000 | 6135.500 | 0 | 0
  181. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=30,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  182. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 30 | 20 | 80.243 | 2.965 | 2.965 | 18400693.500 | 64729165.000000000 | 0.000000000 | 0.000000000 | 7029.500 | 0 | 0
  183. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=30,err=0.1
  184. VI | None | 30 | 20 | 0.000 | 0.000 | -1.00000000 | 0 | 2
  185. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=30,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  186. BRTDP_MAXDIFF | None | 30 | 40 | 68.845 | 1.301 | 1.301 | 28345029.000 | 57000974.000000000 | 0.000000000 | 0.000000000 | 1042.000 | 0 | 0
  187. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=30,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  188. MCTS_BRTDP_MAXDIFF | 1.000 | 30 | 40 | 36.614 | 0.471 | 0.471 | 18400755.500 | 136586.500000000 | 0.000000000 | 0.000000000 | 7357.500 | 0 | 0
  189. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=30,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  190. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 30 | 40 | 37.761 | 0.443 | 0.443 | 18400762.500 | 138056.000000000 | 0.000000000 | 0.000000000 | 7393.500 | 0 | 0
  191. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=30,err=0.1
  192. VI | None | 30 | 40 | 5.227 | 11.260 | 0.00000000 | 0 | 0
  193. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=30,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  194. BRTDP_MAXDIFF | None | 30 | 100 | 216.999 | 16.677 | 16.677 | 28688878.000 | 57756243.500000000 | 0.000000000 | 0.000000000 | 2093.000 | 0 | 0
  195. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=30,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  196. MCTS_BRTDP_MAXDIFF | 1.000 | 30 | 100 | 38.377 | 0.605 | 0.605 | 18400984.000 | 322033.000000000 | 0.000000000 | 0.000000000 | 10226.000 | 0 | 0
  197. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=30,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  198. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 30 | 100 | 42.556 | 3.114 | 3.114 | 18400989.500 | 321793.500000000 | 0.000000000 | 0.000000000 | 10094.500 | 0 | 0
  199. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=30,err=0.1
  200. VI | None | 30 | 100 | 5.494 | 19.282 | 0.00000000 | 0 | 0
  201. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=40,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  202. BRTDP_MAXDIFF | None | 40 | 10 | 37.816 | 0.607 | 0.607 | 28766866.500 | 57834078.000000000 | 0.000000000 | 0.000100319 | 577.000 | 0 | 0
  203. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=40,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  204. MCTS_BRTDP_MAXDIFF | 1.000 | 40 | 10 | 74.055 | 0.155 | 0.155 | 18400674.500 | 61350047.000000000 | 0.000000000 | 0.000000000 | 7026.500 | 0 | 0
  205. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=40,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  206. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 40 | 10 | 75.845 | 0.285 | 0.285 | 18400677.500 | 61773384.000000000 | 0.000000000 | 0.000000000 | 6804.500 | 0 | 0
  207. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=40,err=0.1
  208. VI | None | 40 | 10 | 50.554 | 157.827 | 0.00000965 | 0 | 0
  209. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=40,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  210. BRTDP_MAXDIFF | None | 40 | 15 | 38.278 | 0.122 | 0.123 | 28146276.500 | 56588930.000000000 | 0.000000000 | 0.000000000 | 594.500 | 0 | 0
  211. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=40,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  212. MCTS_BRTDP_MAXDIFF | 1.000 | 40 | 15 | 77.416 | 0.349 | 0.349 | 18400679.500 | 64036284.000000000 | 0.000000000 | 0.000000000 | 6828.500 | 0 | 0
  213. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=40,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  214. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 40 | 15 | 78.711 | 0.990 | 0.990 | 18400684.000 | 64125864.000000000 | 0.000000000 | 0.000000000 | 6832.000 | 0 | 0
  215. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=40,err=0.1
  216. VI | None | 40 | 15 | 0.000 | 0.000 | -1.00000000 | 0 | 2
  217. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=40,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  218. BRTDP_MAXDIFF | None | 40 | 20 | 36.645 | 0.228 | 0.228 | 27722763.500 | 55742454.500000000 | 0.000000000 | 0.000000000 | 689.500 | 0 | 0
  219. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=40,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  220. MCTS_BRTDP_MAXDIFF | 1.000 | 40 | 20 | 78.185 | 0.016 | 0.016 | 18400692.000 | 64856706.500000000 | 0.000000000 | 0.000000000 | 6729.000 | 0 | 0
  221. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=40,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  222. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 40 | 20 | 79.404 | 2.082 | 2.083 | 18400695.000 | 64561404.500000000 | 0.000000000 | 0.000000000 | 7350.500 | 0 | 0
  223. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=40,err=0.1
  224. VI | None | 40 | 20 | 0.000 | 0.000 | -1.00000000 | 0 | 2
  225. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=40,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  226. BRTDP_MAXDIFF | None | 40 | 40 | 79.282 | 17.830 | 17.830 | 27760112.000 | 55834273.500000000 | 0.000000000 | 0.000000000 | 1030.000 | 0 | 0
  227. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=40,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  228. MCTS_BRTDP_MAXDIFF | 1.000 | 40 | 40 | 38.032 | 0.195 | 0.195 | 18400761.000 | 144672.500000000 | 0.000000000 | 0.000000000 | 8035.000 | 0 | 0
  229. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=40,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  230. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 40 | 40 | 37.218 | 0.584 | 0.584 | 18400757.500 | 146474.000000000 | 0.000000000 | 0.000000000 | 8190.500 | 0 | 0
  231. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=40,err=0.1
  232. VI | None | 40 | 40 | 5.295 | 11.245 | 0.00000000 | 0 | 0
  233. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=40,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  234. BRTDP_MAXDIFF | None | 40 | 100 | 313.455 | 52.888 | 52.888 | 27678101.500 | 55752817.000000000 | 0.000000000 | 0.000000000 | 2085.500 | 0 | 0
  235. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=40,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  236. MCTS_BRTDP_MAXDIFF | 1.000 | 40 | 100 | 36.660 | 0.245 | 0.245 | 18400975.000 | 319463.500000000 | 0.000000000 | 0.000000000 | 9660.000 | 0 | 0
  237. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=40,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  238. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 40 | 100 | 39.680 | 1.075 | 1.075 | 18400987.500 | 339880.500000000 | 0.000000000 | 0.000000000 | 10678.500 | 0 | 0
  239. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=40,err=0.1
  240. VI | None | 40 | 100 | 5.616 | 19.122 | 0.00000000 | 0 | 0
  241. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=50,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  242. BRTDP_MAXDIFF | None | 50 | 10 | 35.383 | 0.340 | 0.340 | 27631931.000 | 55553076.000000000 | 0.000002876 | 0.000103758 | 607.000 | 0 | 0
  243. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=50,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  244. MCTS_BRTDP_MAXDIFF | 1.000 | 50 | 10 | 77.905 | 1.605 | 1.605 | 18400675.000 | 61239306.000000000 | 0.000000000 | 0.000000000 | 7247.000 | 0 | 0
  245. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=50,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  246. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 50 | 10 | 76.309 | 1.885 | 1.886 | 18400675.000 | 61482630.000000000 | 0.000000000 | 0.000000000 | 7407.000 | 0 | 0
  247. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=50,err=0.1
  248. VI | None | 50 | 10 | 47.126 | 167.375 | 0.00001207 | 0 | 0
  249. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=50,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  250. BRTDP_MAXDIFF | None | 50 | 15 | 37.063 | 0.404 | 0.404 | 27972032.000 | 56239903.000000000 | 0.000000000 | 0.000000000 | 666.500 | 0 | 0
  251. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=50,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  252. MCTS_BRTDP_MAXDIFF | 1.000 | 50 | 15 | 79.149 | 0.665 | 0.664 | 18400684.000 | 64318601.000000000 | 0.000000000 | 0.000000000 | 7137.500 | 0 | 0
  253. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=50,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  254. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 50 | 15 | 78.948 | 0.032 | 0.032 | 18400680.000 | 64531168.000000000 | 0.000000000 | 0.000000000 | 6683.000 | 0 | 0
  255. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=50,err=0.1
  256. VI | None | 50 | 15 | 0.000 | 0.000 | -1.00000000 | 0 | 2
  257. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=50,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  258. BRTDP_MAXDIFF | None | 50 | 20 | 46.277 | 1.593 | 1.593 | 29360710.500 | 59036039.000000000 | 0.000000000 | 0.000000000 | 740.500 | 0 | 0
  259. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=50,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  260. MCTS_BRTDP_MAXDIFF | 1.000 | 50 | 20 | 79.548 | 0.607 | 0.607 | 18400697.000 | 64714739.000000000 | 0.000000000 | 0.000000000 | 7278.500 | 0 | 0
  261. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=50,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  262. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 50 | 20 | 77.249 | 0.268 | 0.268 | 18400690.500 | 64603293.500000000 | 0.000000000 | 0.000000000 | 8227.500 | 0 | 0
  263. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=50,err=0.1
  264. VI | None | 50 | 20 | 0.000 | 0.000 | -1.00000000 | 0 | 2
  265. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=50,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  266. BRTDP_MAXDIFF | None | 50 | 40 | 76.977 | 0.823 | 0.823 | 27857253.500 | 56031398.500000000 | 0.000000000 | 0.000000000 | 1065.000 | 0 | 0
  267. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=50,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  268. MCTS_BRTDP_MAXDIFF | 1.000 | 50 | 40 | 36.639 | 0.916 | 0.916 | 18400756.000 | 148596.500000000 | 0.000000000 | 0.000000000 | 8424.000 | 0 | 0
  269. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=50,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  270. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 50 | 40 | 37.996 | 0.525 | 0.524 | 18400757.000 | 145698.000000000 | 0.000000000 | 0.000000000 | 7870.000 | 0 | 0
  271. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=50,err=0.1
  272. VI | None | 50 | 40 | 5.199 | 11.227 | 0.00000000 | 0 | 0
  273. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=50,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  274. BRTDP_MAXDIFF | None | 50 | 100 | 286.113 | 89.055 | 89.055 | 27922407.500 | 56243755.500000000 | 0.000000000 | 0.000000000 | 2057.000 | 0 | 0
  275. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=50,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  276. MCTS_BRTDP_MAXDIFF | 1.000 | 50 | 100 | 41.034 | 2.216 | 2.217 | 18400988.000 | 333250.000000000 | 0.000000000 | 0.000000000 | 10099.000 | 0 | 0
  277. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=50,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  278. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 50 | 100 | 39.614 | 0.256 | 0.256 | 18400983.000 | 336651.000000000 | 0.000000000 | 0.000000000 | 10620.000 | 0 | 0
  279. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=50,err=0.1
  280. VI | None | 50 | 100 | 5.465 | 19.433 | 0.00000000 | 0 | 0
  281. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=60,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  282. BRTDP_MAXDIFF | None | 60 | 10 | 38.106 | 0.118 | 0.118 | 28480397.000 | 57257638.000000000 | 0.000001233 | 0.000102276 | 615.000 | 0 | 0
  283. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=60,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  284. MCTS_BRTDP_MAXDIFF | 1.000 | 60 | 10 | 76.535 | 0.319 | 0.320 | 18400678.000 | 61419879.500000000 | 0.000000000 | 0.000000000 | 6939.500 | 0 | 0
  285. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=60,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  286. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 60 | 10 | 74.795 | 0.030 | 0.030 | 18400675.000 | 61597610.000000000 | 0.000000000 | 0.000000000 | 7257.000 | 0 | 0
  287. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=60,err=0.1
  288. VI | None | 60 | 10 | 51.121 | 164.683 | 0.00001448 | 0 | 0
  289. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=60,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  290. BRTDP_MAXDIFF | None | 60 | 15 | 40.267 | 1.985 | 1.984 | 28957246.000 | 58220746.000000000 | 0.000000000 | 0.000000000 | 693.000 | 0 | 0
  291. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=60,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  292. MCTS_BRTDP_MAXDIFF | 1.000 | 60 | 15 | 76.732 | 0.447 | 0.447 | 18400684.000 | 63850174.000000000 | 0.000000000 | 0.000000000 | 8085.500 | 0 | 0
  293. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=60,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  294. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 60 | 15 | 78.018 | 0.328 | 0.328 | 18400680.500 | 64011149.000000000 | 0.000000000 | 0.000000000 | 7791.500 | 0 | 0
  295. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=60,err=0.1
  296. VI | None | 60 | 15 | 0.000 | 0.000 | -1.00000000 | 0 | 2
  297. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=60,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  298. BRTDP_MAXDIFF | None | 60 | 20 | 45.606 | 3.291 | 3.291 | 27937430.000 | 56174355.500000000 | 0.000000000 | 0.000000000 | 731.000 | 0 | 0
  299. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=60,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  300. MCTS_BRTDP_MAXDIFF | 1.000 | 60 | 20 | 79.727 | 0.224 | 0.223 | 18400693.000 | 64713312.000000000 | 0.000000000 | 0.000000000 | 8222.000 | 0 | 0
  301. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=60,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  302. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 60 | 20 | 78.939 | 1.042 | 1.043 | 18400701.000 | 64641154.000000000 | 0.000000000 | 0.000000000 | 8179.500 | 0 | 0
  303. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=60,err=0.1
  304. VI | None | 60 | 20 | 0.000 | 0.000 | -1.00000000 | 0 | 2
  305. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=60,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  306. BRTDP_MAXDIFF | None | 60 | 40 | 75.141 | 9.576 | 9.577 | 27302888.500 | 54917579.500000000 | 0.000000000 | 0.000000000 | 1093.500 | 0 | 0
  307. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=60,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  308. MCTS_BRTDP_MAXDIFF | 1.000 | 60 | 40 | 36.312 | 0.679 | 0.679 | 18400755.500 | 151862.000000000 | 0.000000000 | 0.000000000 | 8379.500 | 0 | 0
  309. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=60,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  310. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 60 | 40 | 37.007 | 0.456 | 0.457 | 18400758.000 | 152906.500000000 | 0.000000000 | 0.000000000 | 8550.500 | 0 | 0
  311. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=60,err=0.1
  312. VI | None | 60 | 40 | 5.274 | 11.078 | 0.00000000 | 0 | 0
  313. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=60,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  314. BRTDP_MAXDIFF | None | 60 | 100 | 356.105 | 9.048 | 9.048 | 27777577.000 | 55955109.500000000 | 0.000000000 | 0.000000000 | 2116.500 | 0 | 0
  315. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=60,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  316. MCTS_BRTDP_MAXDIFF | 1.000 | 60 | 100 | 37.256 | 0.291 | 0.291 | 18400979.500 | 329566.500000000 | 0.000000000 | 0.000000000 | 9942.000 | 0 | 0
  317. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=60,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  318. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 60 | 100 | 38.782 | 1.306 | 1.306 | 18400977.000 | 340869.500000000 | 0.000000000 | 0.000000000 | 10675.500 | 0 | 0
  319. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=60,err=0.1
  320. VI | None | 60 | 100 | 5.492 | 19.476 | 0.00000000 | 0 | 0
  321. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=80,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  322. BRTDP_MAXDIFF | None | 80 | 10 | 42.121 | 0.594 | 0.594 | 28842360.000 | 57985749.000000000 | 0.000002902 | 0.000105580 | 685.500 | 0 | 0
  323. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=80,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  324. MCTS_BRTDP_MAXDIFF | 1.000 | 80 | 10 | 77.088 | 0.587 | 0.587 | 18400675.000 | 61343854.500000000 | 0.000000000 | 0.000000000 | 8328.500 | 0 | 0
  325. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=80,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  326. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 80 | 10 | 74.467 | 0.592 | 0.592 | 18400675.000 | 61646754.000000000 | 0.000000000 | 0.000000000 | 7943.000 | 0 | 0
  327. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=80,err=0.1
  328. VI | None | 80 | 10 | 47.499 | 162.500 | 0.00001931 | 0 | 0
  329. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=80,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  330. BRTDP_MAXDIFF | None | 80 | 15 | 48.949 | 0.171 | 0.171 | 28316526.000 | 56932464.000000000 | 0.000000000 | 0.000000000 | 753.500 | 0 | 0
  331. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=80,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  332. MCTS_BRTDP_MAXDIFF | 1.000 | 80 | 15 | 77.570 | 1.874 | 1.874 | 18400682.500 | 64400343.000000000 | 0.000000000 | 0.000000000 | 8393.000 | 0 | 0
  333. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=80,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  334. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 80 | 15 | 77.610 | 0.633 | 0.633 | 18400680.000 | 64248393.500000000 | 0.000000000 | 0.000000000 | 7812.000 | 0 | 0
  335. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=80,err=0.1
  336. VI | None | 80 | 15 | 0.000 | 0.000 | -1.00000000 | 0 | 2
  337. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=80,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  338. BRTDP_MAXDIFF | None | 80 | 20 | 47.002 | 4.059 | 4.059 | 28259083.500 | 56820575.500000000 | 0.000000000 | 0.000000000 | 730.000 | 0 | 0
  339. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=80,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  340. MCTS_BRTDP_MAXDIFF | 1.000 | 80 | 20 | 76.313 | 0.395 | 0.395 | 18400693.000 | 64589510.500000000 | 0.000000000 | 0.000000000 | 7981.000 | 0 | 0
  341. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=80,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  342. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 80 | 20 | 79.596 | 1.052 | 1.052 | 18400696.500 | 64918024.000000000 | 0.000000000 | 0.000000000 | 8663.500 | 0 | 0
  343. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=80,err=0.1
  344. VI | None | 80 | 20 | 0.000 | 0.000 | -1.00000000 | 0 | 2
  345. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=80,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  346. BRTDP_MAXDIFF | None | 80 | 40 | 83.427 | 2.326 | 2.327 | 28129863.500 | 56580785.000000000 | 0.000000000 | 0.000000000 | 1118.500 | 0 | 0
  347. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=80,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  348. MCTS_BRTDP_MAXDIFF | 1.000 | 80 | 40 | 37.093 | 0.331 | 0.331 | 18400760.000 | 158694.500000000 | 0.000000000 | 0.000000000 | 8851.500 | 0 | 0
  349. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=80,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  350. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 80 | 40 | 36.468 | 0.633 | 0.633 | 18400756.500 | 158445.000000000 | 0.000000000 | 0.000000000 | 8973.000 | 0 | 0
  351. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=80,err=0.1
  352. VI | None | 80 | 40 | 5.209 | 11.166 | 0.00000000 | 0 | 0
  353. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=80,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  354. BRTDP_MAXDIFF | None | 80 | 100 | 482.499 | 14.604 | 14.604 | 28874467.500 | 58159966.500000000 | 0.000000000 | 0.000000000 | 2122.500 | 0 | 0
  355. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=80,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  356. MCTS_BRTDP_MAXDIFF | 1.000 | 80 | 100 | 39.034 | 2.388 | 2.389 | 18400989.000 | 349113.500000000 | 0.000000000 | 0.000000000 | 10714.000 | 0 | 0
  357. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=80,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  358. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 80 | 100 | 38.488 | 0.496 | 0.496 | 18400987.000 | 356005.500000000 | 0.000000000 | 0.000000000 | 11294.500 | 0 | 0
  359. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=80,err=0.1
  360. VI | None | 80 | 100 | 5.412 | 19.296 | 0.00000000 | 0 | 0
  361. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=100,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  362. BRTDP_MAXDIFF | None | 100 | 10 | 39.013 | 1.183 | 1.183 | 27470593.000 | 55229164.500000000 | 0.000009474 | 0.000111380 | 677.000 | 0 | 0
  363. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=100,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  364. MCTS_BRTDP_MAXDIFF | 1.000 | 100 | 10 | 73.642 | 0.836 | 0.837 | 18400673.500 | 61559593.000000000 | 0.000000000 | 0.000000000 | 8459.500 | 0 | 0
  365. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=100,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  366. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 100 | 10 | 78.051 | 1.259 | 1.259 | 18400675.000 | 61824588.000000000 | 0.000000000 | 0.000000000 | 8849.000 | 0 | 0
  367. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=100,err=0.1
  368. VI | None | 100 | 10 | 47.345 | 161.458 | 0.00002415 | 0 | 0
  369. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=100,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  370. BRTDP_MAXDIFF | None | 100 | 15 | 43.747 | 3.420 | 3.420 | 28244756.500 | 56788425.500000000 | 0.000000000 | 0.000000000 | 706.500 | 0 | 0
  371. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=100,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  372. MCTS_BRTDP_MAXDIFF | 1.000 | 100 | 15 | 78.541 | 0.207 | 0.207 | 18400687.000 | 63896901.500000000 | 0.000000000 | 0.000000000 | 7796.000 | 0 | 0
  373. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=100,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  374. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 100 | 15 | 77.523 | 3.627 | 3.627 | 18400679.000 | 63770644.000000000 | 0.000000000 | 0.000000000 | 7996.500 | 0 | 0
  375. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=100,err=0.1
  376. VI | None | 100 | 15 | 0.000 | 0.000 | -1.00000000 | 0 | 2
  377. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=100,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  378. BRTDP_MAXDIFF | None | 100 | 20 | 46.311 | 2.779 | 2.779 | 28853279.500 | 58016508.000000000 | 0.000000000 | 0.000000000 | 843.500 | 0 | 0
  379. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=100,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  380. MCTS_BRTDP_MAXDIFF | 1.000 | 100 | 20 | 77.907 | 0.068 | 0.068 | 18400694.500 | 64648293.500000000 | 0.000000000 | 0.000000000 | 9215.500 | 0 | 0
  381. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=100,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  382. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 100 | 20 | 77.257 | 0.771 | 0.770 | 18400696.000 | 64639879.000000000 | 0.000000000 | 0.000000000 | 9523.000 | 0 | 0
  383. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=100,err=0.1
  384. VI | None | 100 | 20 | 0.000 | 0.000 | -1.00000000 | 0 | 2
  385. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=100,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  386. BRTDP_MAXDIFF | None | 100 | 40 | 98.621 | 7.898 | 7.898 | 29499616.500 | 59334724.500000000 | 0.000000000 | 0.000000000 | 1152.500 | 0 | 0
  387. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=100,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  388. MCTS_BRTDP_MAXDIFF | 1.000 | 100 | 40 | 37.863 | 0.319 | 0.319 | 18400754.000 | 159601.500000000 | 0.000000000 | 0.000000000 | 8848.000 | 0 | 0
  389. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=100,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  390. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 100 | 40 | 37.742 | 0.184 | 0.184 | 18400762.500 | 162829.000000000 | 0.000000000 | 0.000000000 | 9141.500 | 0 | 0
  391. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=100,err=0.1
  392. VI | None | 100 | 40 | 5.096 | 11.181 | 0.00000000 | 0 | 0
  393. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=100,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  394. BRTDP_MAXDIFF | None | 100 | 100 | 536.111 | 111.024 | 111.024 | 27845321.500 | 56094442.500000000 | 0.000000000 | 0.000000000 | 2180.000 | 0 | 0
  395. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=100,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  396. MCTS_BRTDP_MAXDIFF | 1.000 | 100 | 100 | 37.233 | 0.476 | 0.476 | 18400988.000 | 353290.000000000 | 0.000000000 | 0.000000000 | 10880.500 | 0 | 0
  397. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=100,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  398. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 100 | 100 | 38.252 | 1.264 | 1.264 | 18400988.000 | 345778.000000000 | 0.000000000 | 0.000000000 | 10665.000 | 0 | 0
  399. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=100,err=0.1
  400. VI | None | 100 | 100 | 5.231 | 19.095 | 0.00000000 | 0 | 0
  401. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=140,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  402. BRTDP_MAXDIFF | None | 140 | 10 | 19.329 | 19.329 | -19.329 | 13465209.500 | 27070517.000000000 | 0.000024413 | 0.000124413 | 353.500 | 0 | 1
  403. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=140,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  404. MCTS_BRTDP_MAXDIFF | 1.000 | 140 | 10 | 76.119 | 0.200 | 0.200 | 18400677.500 | 61527922.500000000 | 0.000000000 | 0.000000000 | 8645.000 | 0 | 0
  405. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=140,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  406. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 140 | 10 | 75.266 | 0.715 | 0.715 | 18400675.000 | 61555586.000000000 | 0.000000000 | 0.000000000 | 8646.000 | 0 | 0
  407. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=140,err=0.1
  408. VI | None | 140 | 10 | 46.642 | 159.711 | 0.00003383 | 0 | 0
  409. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=140,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  410. BRTDP_MAXDIFF | None | 140 | 15 | 45.826 | 3.637 | 3.637 | 27740803.000 | 55772898.500000000 | 0.000000000 | 0.000000000 | 906.000 | 0 | 0
  411. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=140,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  412. MCTS_BRTDP_MAXDIFF | 1.000 | 140 | 15 | 79.587 | 0.666 | 0.666 | 18400678.500 | 64185638.500000000 | 0.000000000 | 0.000000000 | 9317.500 | 0 | 0
  413. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=140,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  414. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 140 | 15 | 76.909 | 0.088 | 0.088 | 18400679.500 | 63754990.500000000 | 0.000000000 | 0.000000000 | 8365.000 | 0 | 0
  415. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=140,err=0.1
  416. VI | None | 140 | 15 | 0.000 | 0.000 | -1.00000000 | 0 | 2
  417. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=140,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  418. BRTDP_MAXDIFF | None | 140 | 20 | 48.506 | 0.034 | 0.034 | 30865962.000 | 62052814.500000000 | 0.000000000 | 0.000000000 | 898.500 | 0 | 0
  419. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=140,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  420. MCTS_BRTDP_MAXDIFF | 1.000 | 140 | 20 | 79.038 | 1.668 | 1.668 | 18400701.500 | 64443381.000000000 | 0.000000000 | 0.000000000 | 10211.000 | 0 | 0
  421. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=140,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  422. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 140 | 20 | 78.898 | 2.910 | 2.910 | 18400699.000 | 64804385.000000000 | 0.000000000 | 0.000000000 | 9108.000 | 0 | 0
  423. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=140,err=0.1
  424. VI | None | 140 | 20 | 0.000 | 0.000 | -1.00000000 | 0 | 2
  425. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=140,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  426. BRTDP_MAXDIFF | None | 140 | 40 | 87.291 | 12.625 | 12.625 | 29051317.000 | 58418306.000000000 | 0.000000000 | 0.000000000 | 1278.500 | 0 | 0
  427. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=140,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  428. MCTS_BRTDP_MAXDIFF | 1.000 | 140 | 40 | 37.498 | 0.575 | 0.575 | 18400761.500 | 165619.500000000 | 0.000000000 | 0.000000000 | 9051.500 | 0 | 0
  429. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=140,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  430. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 140 | 40 | 37.004 | 1.593 | 1.594 | 18400762.500 | 171064.000000000 | 0.000000000 | 0.000000000 | 9729.000 | 0 | 0
  431. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=140,err=0.1
  432. VI | None | 140 | 40 | 5.325 | 11.407 | 0.00000000 | 0 | 0
  433. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=140,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  434. BRTDP_MAXDIFF | None | 140 | 100 | 546.236 | 30.245 | 30.245 | 27834967.500 | 56035419.500000000 | 0.000000000 | 0.000000000 | 2421.000 | 0 | 0
  435. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=140,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  436. MCTS_BRTDP_MAXDIFF | 1.000 | 140 | 100 | 39.813 | 1.782 | 1.782 | 18400988.500 | 364093.500000000 | 0.000000000 | 0.000000000 | 11497.000 | 0 | 0
  437. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=140,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  438. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 140 | 100 | 38.151 | 0.086 | 0.086 | 18400986.500 | 364316.500000000 | 0.000000000 | 0.000000000 | 11422.500 | 0 | 0
  439. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=140,err=0.1
  440. VI | None | 140 | 100 | 5.287 | 19.122 | 0.00000000 | 0 | 0
  441. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=180,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  442. BRTDP_MAXDIFF | None | 180 | 10 | 40.132 | 0.887 | 0.888 | 28401168.000 | 57095799.500000000 | 0.000020348 | 0.000130723 | 710.000 | 0 | 0
  443. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=180,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  444. MCTS_BRTDP_MAXDIFF | 1.000 | 180 | 10 | 77.663 | 1.412 | 1.412 | 18400676.500 | 61747269.000000000 | 0.000000000 | 0.000000000 | 8782.500 | 0 | 0
  445. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=180,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  446. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 180 | 10 | 77.564 | 0.771 | 0.772 | 18400675.500 | 61860620.000000000 | 0.000000000 | 0.000000000 | 9812.500 | 0 | 0
  447. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=180,err=0.1
  448. VI | None | 180 | 10 | 46.147 | 164.321 | 0.00004352 | 0 | 0
  449. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=180,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  450. BRTDP_MAXDIFF | None | 180 | 15 | 22.625 | 22.625 | -22.625 | 13936584.000 | 28020493.500000000 | 0.000000564 | 0.000100564 | 453.500 | 0 | 1
  451. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=180,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  452. MCTS_BRTDP_MAXDIFF | 1.000 | 180 | 15 | 78.998 | 0.680 | 0.680 | 18400685.500 | 64524474.500000000 | 0.000000000 | 0.000000000 | 9356.000 | 0 | 0
  453. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=180,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  454. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 180 | 15 | 77.430 | 1.582 | 1.581 | 18400682.000 | 64078972.000000000 | 0.000000000 | 0.000000000 | 10074.000 | 0 | 0
  455. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=180,err=0.1
  456. VI | None | 180 | 15 | 0.000 | 0.000 | -1.00000000 | 0 | 2
  457. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=180,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  458. BRTDP_MAXDIFF | None | 180 | 20 | 50.875 | 6.955 | 6.955 | 27694149.500 | 55683314.000000000 | 0.000000000 | 0.000000000 | 980.000 | 0 | 0
  459. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=180,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  460. MCTS_BRTDP_MAXDIFF | 1.000 | 180 | 20 | 80.648 | 0.088 | 0.089 | 18400701.500 | 64411036.500000000 | 0.000000000 | 0.000000000 | 10145.000 | 0 | 0
  461. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=180,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  462. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 180 | 20 | 78.544 | 0.242 | 0.242 | 18400696.500 | 64143473.000000000 | 0.000000000 | 0.000000000 | 10441.000 | 0 | 0
  463. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=180,err=0.1
  464. VI | None | 180 | 20 | 0.000 | 0.000 | -1.00000000 | 0 | 2
  465. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=180,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  466. BRTDP_MAXDIFF | None | 180 | 40 | 96.299 | 9.660 | 9.660 | 28606807.500 | 57530789.000000000 | 0.000000000 | 0.000000000 | 1146.500 | 0 | 0
  467. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=180,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  468. MCTS_BRTDP_MAXDIFF | 1.000 | 180 | 40 | 37.539 | 0.435 | 0.435 | 18400758.500 | 179067.500000000 | 0.000000000 | 0.000000000 | 9917.000 | 0 | 0
  469. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=180,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  470. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 180 | 40 | 37.559 | 1.099 | 1.099 | 18400752.500 | 178565.000000000 | 0.000000000 | 0.000000000 | 9872.500 | 0 | 0
  471. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=180,err=0.1
  472. VI | None | 180 | 40 | 5.389 | 11.471 | 0.00000000 | 0 | 0
  473. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=180,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  474. BRTDP_MAXDIFF | None | 180 | 100 | 583.738 | 29.161 | 29.160 | 29242440.000 | 58863756.500000000 | 0.000000000 | 0.000000000 | 2190.000 | 0 | 0
  475. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=180,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  476. MCTS_BRTDP_MAXDIFF | 1.000 | 180 | 100 | 41.727 | 2.788 | 2.788 | 18400986.500 | 371340.500000000 | 0.000000000 | 0.000000000 | 11644.000 | 0 | 0
  477. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=180,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  478. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 180 | 100 | 37.797 | 0.547 | 0.547 | 18400983.000 | 371530.000000000 | 0.000000000 | 0.000000000 | 11989.500 | 0 | 0
  479. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=180,err=0.1
  480. VI | None | 180 | 100 | 5.559 | 19.654 | 0.00000000 | 0 | 0
  481. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=240,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  482. BRTDP_MAXDIFF | None | 240 | 10 | 44.086 | 1.637 | 1.637 | 27656647.500 | 55602763.500000000 | 0.000041698 | 0.000148081 | 726.500 | 0 | 0
  483. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=240,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  484. MCTS_BRTDP_MAXDIFF | 1.000 | 240 | 10 | 75.310 | 1.008 | 1.007 | 18400676.500 | 61706840.500000000 | 0.000000000 | 0.000000000 | 9737.500 | 0 | 0
  485. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=240,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  486. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 240 | 10 | 74.581 | 1.367 | 1.367 | 18400676.000 | 61578658.000000000 | 0.000000000 | 0.000000000 | 9521.500 | 0 | 0
  487. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=240,err=0.1
  488. VI | None | 240 | 10 | 47.682 | 163.564 | 0.00005808 | 0 | 0
  489. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=240,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  490. BRTDP_MAXDIFF | None | 240 | 15 | 43.568 | 0.019 | 0.019 | 27503012.500 | 55299034.000000000 | 0.000000000 | 0.000101108 | 913.000 | 0 | 0
  491. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=240,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  492. MCTS_BRTDP_MAXDIFF | 1.000 | 240 | 15 | 78.724 | 0.260 | 0.260 | 18400678.500 | 63607045.500000000 | 0.000000000 | 0.000000000 | 10348.000 | 0 | 0
  493. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=240,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  494. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 240 | 15 | 77.268 | 1.001 | 1.001 | 18400681.000 | 64437203.000000000 | 0.000000000 | 0.000000000 | 9133.500 | 0 | 0
  495. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=240,err=0.1
  496. VI | None | 240 | 15 | 0.000 | 0.000 | -1.00000000 | 0 | 2
  497. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=240,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  498. BRTDP_MAXDIFF | None | 240 | 20 | 57.878 | 0.033 | 0.033 | 28753068.500 | 57816048.000000000 | 0.000000000 | 0.000000000 | 973.000 | 0 | 0
  499. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=240,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  500. MCTS_BRTDP_MAXDIFF | 1.000 | 240 | 20 | 78.551 | 3.439 | 3.439 | 18400695.500 | 64686749.500000000 | 0.000000000 | 0.000000000 | 9783.000 | 0 | 0
  501. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=240,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  502. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 240 | 20 | 80.367 | 0.296 | 0.296 | 18400694.500 | 64738609.000000000 | 0.000000000 | 0.000000000 | 10079.000 | 0 | 0
  503. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=240,err=0.1
  504. VI | None | 240 | 20 | 0.000 | 0.000 | -1.00000000 | 0 | 2
  505. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=240,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  506. BRTDP_MAXDIFF | None | 240 | 40 | 131.431 | 12.452 | 12.452 | 28364936.500 | 57055464.000000000 | 0.000000000 | 0.000000000 | 1174.500 | 0 | 0
  507. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=240,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  508. MCTS_BRTDP_MAXDIFF | 1.000 | 240 | 40 | 37.522 | 0.594 | 0.595 | 18400760.000 | 187262.500000000 | 0.000000000 | 0.000000000 | 10324.500 | 0 | 0
  509. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=240,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  510. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 240 | 40 | 36.254 | 0.459 | 0.460 | 18400757.500 | 182989.000000000 | 0.000000000 | 0.000000000 | 9906.000 | 0 | 0
  511. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=240,err=0.1
  512. VI | None | 240 | 40 | 5.292 | 11.553 | 0.00000000 | 0 | 0
  513. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=240,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  514. BRTDP_MAXDIFF | None | 240 | 100 | 712.387 | 36.690 | 36.691 | 29273653.000 | 58973504.000000000 | 0.000000000 | 0.000000000 | 2445.500 | 0 | 0
  515. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=240,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  516. MCTS_BRTDP_MAXDIFF | 1.000 | 240 | 100 | 36.636 | 0.341 | 0.341 | 18400979.500 | 383360.000000000 | 0.000000000 | 0.000000000 | 12573.000 | 0 | 0
  517. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=240,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  518. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 240 | 100 | 37.194 | 1.047 | 1.047 | 18400989.500 | 383353.000000000 | 0.000000000 | 0.000000000 | 12732.500 | 0 | 0
  519. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=240,err=0.1
  520. VI | None | 240 | 100 | 5.446 | 19.355 | 0.00000000 | 0 | 0
  521. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=300,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  522. BRTDP_MAXDIFF | None | 300 | 10 | 43.748 | 2.255 | 2.255 | 26498560.500 | 53275362.500000000 | 0.000054075 | 0.000159738 | 738.000 | 0 | 0
  523. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=300,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  524. MCTS_BRTDP_MAXDIFF | 1.000 | 300 | 10 | 76.736 | 1.732 | 1.732 | 18400677.000 | 61691992.500000000 | 0.000000000 | 0.000000000 | 11981.000 | 0 | 0
  525. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=300,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  526. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 300 | 10 | 77.382 | 2.799 | 2.798 | 18400677.500 | 61099339.000000000 | 0.000000000 | 0.000000000 | 10940.500 | 0 | 0
  527. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=10,reset=false,N=300,err=0.1
  528. VI | None | 300 | 10 | 47.103 | 158.886 | 0.00007267 | 0 | 0
  529. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=300,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  530. BRTDP_MAXDIFF | None | 300 | 15 | 52.053 | 0.541 | 0.541 | 30899845.000 | 62126898.000000000 | 0.000000000 | 0.000000000 | 941.500 | 0 | 0
  531. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=300,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  532. MCTS_BRTDP_MAXDIFF | 1.000 | 300 | 15 | 78.168 | 1.921 | 1.921 | 18400682.000 | 64079825.500000000 | 0.000000000 | 0.000000000 | 10634.500 | 0 | 0
  533. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=300,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  534. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 300 | 15 | 77.882 | 1.767 | 1.767 | 18400678.500 | 64199538.000000000 | 0.000000000 | 0.000000000 | 9712.000 | 0 | 0
  535. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=15,reset=false,N=300,err=0.1
  536. VI | None | 300 | 15 | 0.000 | 0.000 | -1.00000000 | 0 | 2
  537. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=300,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  538. BRTDP_MAXDIFF | None | 300 | 20 | 52.603 | 8.403 | 8.403 | 28223793.500 | 56752948.500000000 | 0.000000000 | 0.000000000 | 1033.000 | 0 | 0
  539. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=300,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  540. MCTS_BRTDP_MAXDIFF | 1.000 | 300 | 20 | 79.862 | 0.111 | 0.111 | 18400693.500 | 65193490.000000000 | 0.000000000 | 0.000000000 | 9636.500 | 0 | 0
  541. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=300,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  542. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 300 | 20 | 79.698 | 0.783 | 0.783 | 18400694.500 | 64601379.000000000 | 0.000000000 | 0.000000000 | 9925.000 | 0 | 0
  543. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=20,reset=false,N=300,err=0.1
  544. VI | None | 300 | 20 | 0.000 | 0.000 | -1.00000000 | 0 | 2
  545. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=300,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  546. BRTDP_MAXDIFF | None | 300 | 40 | 122.962 | 20.263 | 20.264 | 29130826.500 | 58596259.500000000 | 0.000000000 | 0.000000000 | 1199.000 | 0 | 0
  547. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=300,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  548. MCTS_BRTDP_MAXDIFF | 1.000 | 300 | 40 | 37.971 | 1.273 | 1.273 | 18400754.000 | 189299.500000000 | 0.000000000 | 0.000000000 | 10777.000 | 0 | 0
  549. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=300,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  550. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 300 | 40 | 37.758 | 0.593 | 0.593 | 18400758.500 | 194618.500000000 | 0.000000000 | 0.000000000 | 10838.500 | 0 | 0
  551. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=40,reset=false,N=300,err=0.1
  552. VI | None | 300 | 40 | 5.179 | 11.716 | 0.00000000 | 0 | 0
  553. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=300,err=0.1 -heuristic BRTDP -next_state MAX_DIFF -heuristic_verbose
  554. BRTDP_MAXDIFF | None | 300 | 100 | 651.355 | 32.968 | 32.968 | 28494663.500 | 57409211.500000000 | 0.000000000 | 0.000000000 | 2241.500 | 0 | 0
  555. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=300,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -next_state MAX_DIFF
  556. MCTS_BRTDP_MAXDIFF | 1.000 | 300 | 100 | 37.511 | 0.288 | 0.288 | 18400977.500 | 376892.000000000 | 0.000000000 | 0.000000000 | 12105.500 | 0 | 0
  557. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=300,err=0.1 -ucb1constant 1 -heuristic MCTS_BRTDP -heuristic_verbose -mctsheuristic VCB -next_state MAX_DIFF
  558. MCTS_BRTDP_VCB_MAXDIFF | 1.000 | 300 | 100 | 38.362 | 1.535 | 1.534 | 18400982.500 | 398522.500000000 | 0.000000000 | 0.000000000 | 13195.500 | 0 | 0
  559. ../../../prism/bin/prism -ex ../models/badforbrtdp/branch_zeroconf.nm -pf Pmax=?[ F (l=4 & ip=1) ] -timeout 900 -heuristic_epsilon 1e-4 -const K=100,reset=false,N=300,err=0.1
  560. VI | None | 300 | 100 | 5.454 | 18.918 | 0.00000000 | 0 | 0
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!