sds.default-abs.ap-naive

Benchmark
Model: (polling)
Parameter(s)N = 6
Invocation (default-abs.ap-naive)
	$ARTIFACT_DIR/bin/sds $ARTIFACT_DIR/benchmarks/ctmc/polling/polling.6.prism  approximate --sampling SAMPLE_NAIVE  --precision 0.001
default engine and absolute (default) error criterion
Execution
Walltime (MC-Time):69.93332815170288s (NA)
Return code:0
Note(s):Tool does not support file export.
Log
(1,0,0,0,0,0,0,0): 0.157076 (+ 0.00083195)
(6,0,0,0,0,0,0,0): 0.157076 (+ 0.00083195)
(3,0,0,0,0,0,0,0): 0.157076 (+ 0.00083195)
(2,0,0,0,0,0,0,0): 0.157076 (+ 0.00083195)
(4,0,0,0,0,0,0,0): 0.157076 (+ 0.00083195)
(5,0,0,0,0,0,0,0): 0.157076 (+ 0.00083195)
(6,0,0,0,0,0,0,1): 0.000963580 (+ 0.00083195)
(5,0,0,0,0,0,1,0): 0.000963580 (+ 0.00083195)
(1,0,1,0,0,0,0,0): 0.000963580 (+ 0.00083195)
(3,0,0,0,1,0,0,0): 0.000963580 (+ 0.00083195)
(4,0,0,0,0,1,0,0): 0.000963580 (+ 0.00083195)
(2,0,0,1,0,0,0,0): 0.000963580 (+ 0.00083195)
(3,1,0,0,1,0,0,0): 0.000953362 (+ 0.00083195)
(6,1,0,0,0,0,0,1): 0.000953362 (+ 0.00083195)
(1,1,1,0,0,0,0,0): 0.000953362 (+ 0.00083195)
(5,1,0,0,0,0,1,0): 0.000953362 (+ 0.00083195)
(2,1,0,1,0,0,0,0): 0.000953362 (+ 0.00083195)
(4,1,0,0,0,1,0,0): 0.000953362 (+ 0.00083195)
(6,0,1,0,0,0,0,0): 0.000644038 (+ 0.00083195)
(3,0,0,0,0,1,0,0): 0.000644038 (+ 0.00083195)
(2,0,0,0,1,0,0,0): 0.000644038 (+ 0.00083195)
(4,0,0,0,0,0,1,0): 0.000644038 (+ 0.00083195)
(5,0,0,0,0,0,0,1): 0.000644038 (+ 0.00083195)
(1,0,0,1,0,0,0,0): 0.000644038 (+ 0.00083195)
(3,0,0,0,0,0,1,0): 0.000400308 (+ 0.00083195)
(1,0,0,0,1,0,0,0): 0.000400308 (+ 0.00083195)
(6,0,0,1,0,0,0,0): 0.000400308 (+ 0.00083195)
(5,0,1,0,0,0,0,0): 0.000400308 (+ 0.00083195)
(4,0,0,0,0,0,0,1): 0.000400308 (+ 0.00083195)
(2,0,0,0,0,1,0,0): 0.000400308 (+ 0.00083195)
(1,0,0,0,0,1,0,0): 0.000214693 (+ 0.00083195)
(3,0,0,0,0,0,0,1): 0.000214693 (+ 0.00083195)
(4,0,1,0,0,0,0,0): 0.000214693 (+ 0.00083195)
(5,0,0,1,0,0,0,0): 0.000214693 (+ 0.00083195)
(2,0,0,0,0,0,1,0): 0.000214693 (+ 0.00083195)
(6,0,0,0,1,0,0,0): 0.000214693 (+ 0.00083195)
(1,1,1,1,0,0,0,0): 0.000173568 (+ 0.00083195)
(3,1,0,0,1,1,0,0): 0.000173568 (+ 0.00083195)
(6,1,1,0,0,0,0,1): 0.000173568 (+ 0.00083195)
(4,1,0,0,0,1,1,0): 0.000173568 (+ 0.00083195)
(2,1,0,1,1,0,0,0): 0.000173568 (+ 0.00083195)
(5,1,0,0,0,0,1,1): 0.000173568 (+ 0.00083195)
(5,1,1,0,0,0,1,0): 0.000117443 (+ 0.00083195)
(1,1,1,0,1,0,0,0): 0.000117443 (+ 0.00083195)
(3,1,0,0,1,0,1,0): 0.000117443 (+ 0.00083195)
(4,1,0,0,0,1,0,1): 0.000117443 (+ 0.00083195)
(2,1,0,1,0,1,0,0): 0.000117443 (+ 0.00083195)
(6,1,0,1,0,0,0,1): 0.000117443 (+ 0.00083195)
(1,0,1,1,0,0,0,0): 0.000109575 (+ 0.00083195)
(3,0,0,0,1,1,0,0): 0.000109575 (+ 0.00083195)
(2,0,0,1,1,0,0,0): 0.000109575 (+ 0.00083195)
(4,0,0,0,0,1,1,0): 0.000109575 (+ 0.00083195)
(6,0,1,0,0,0,0,1): 0.000109575 (+ 0.00083195)
(5,0,0,0,0,0,1,1): 0.000109575 (+ 0.00083195)
(5,1,0,1,0,0,1,0): 7.61580e-05 (+ 0.00083195)
(3,1,0,0,1,0,0,1): 7.61580e-05 (+ 0.00083195)
(4,1,1,0,0,1,0,0): 7.61580e-05 (+ 0.00083195)
(2,1,0,1,0,0,1,0): 7.61580e-05 (+ 0.00083195)
(6,1,0,0,1,0,0,1): 7.61580e-05 (+ 0.00083195)
(1,1,1,0,0,1,0,0): 7.61580e-05 (+ 0.00083195)
(3,1,0,0,1,1,1,0): 7.58467e-05 (+ 0.00083195)
(5,1,1,0,0,0,1,1): 7.58467e-05 (+ 0.00083195)
(6,1,1,1,0,0,0,1): 7.58467e-05 (+ 0.00083195)
(2,1,0,1,1,1,0,0): 7.58467e-05 (+ 0.00083195)
(1,1,1,1,1,0,0,0): 7.58467e-05 (+ 0.00083195)
(4,1,0,0,0,1,1,1): 7.58467e-05 (+ 0.00083195)
(2,0,0,0,0,0,0,1): 6.73519e-05 (+ 0.00083195)
(3,0,1,0,0,0,0,0): 6.73519e-05 (+ 0.00083195)
(5,0,0,0,1,0,0,0): 6.73519e-05 (+ 0.00083195)
(4,0,0,1,0,0,0,0): 6.73519e-05 (+ 0.00083195)
(6,0,0,0,0,1,0,0): 6.73519e-05 (+ 0.00083195)
(1,0,0,0,0,0,1,0): 6.73519e-05 (+ 0.00083195)
(2,0,0,1,0,1,0,0): 5.62564e-05 (+ 0.00083195)
(4,0,0,0,0,1,0,1): 5.62564e-05 (+ 0.00083195)
(1,0,1,0,1,0,0,0): 5.62564e-05 (+ 0.00083195)
(5,0,1,0,0,0,1,0): 5.62564e-05 (+ 0.00083195)
(6,0,0,1,0,0,0,1): 5.62564e-05 (+ 0.00083195)
(3,0,0,0,1,0,1,0): 5.62564e-05 (+ 0.00083195)
(6,1,0,0,0,1,0,1): 4.62496e-05 (+ 0.00083195)
(3,1,1,0,1,0,0,0): 4.62496e-05 (+ 0.00083195)
(1,1,1,0,0,0,1,0): 4.62496e-05 (+ 0.00083195)
(4,1,0,1,0,1,0,0): 4.62496e-05 (+ 0.00083195)
(5,1,0,0,1,0,1,0): 4.62496e-05 (+ 0.00083195)
(2,1,0,1,0,0,0,1): 4.62496e-05 (+ 0.00083195)
(6,1,1,0,1,0,0,1): 4.54344e-05 (+ 0.00083195)
(5,1,0,1,0,0,1,1): 4.54344e-05 (+ 0.00083195)
(4,1,1,0,0,1,1,0): 4.54344e-05 (+ 0.00083195)
(1,1,1,1,0,1,0,0): 4.54344e-05 (+ 0.00083195)
(3,1,0,0,1,1,0,1): 4.54344e-05 (+ 0.00083195)
(2,1,0,1,1,0,1,0): 4.54344e-05 (+ 0.00083195)
(1,0,0,1,1,0,0,0): 4.35539e-05 (+ 0.00083195)
(2,0,0,0,1,1,0,0): 4.35539e-05 (+ 0.00083195)
(4,0,0,0,0,0,1,1): 4.35539e-05 (+ 0.00083195)
(6,0,1,1,0,0,0,0): 4.35539e-05 (+ 0.00083195)
(3,0,0,0,0,1,1,0): 4.35539e-05 (+ 0.00083195)
(5,0,1,0,0,0,0,1): 4.35539e-05 (+ 0.00083195)
(1,0,1,1,1,0,0,0): 4.06311e-05 (+ 0.00083195)
(4,0,0,0,0,1,1,1): 4.06311e-05 (+ 0.00083195)
(3,0,0,0,1,1,1,0): 4.06311e-05 (+ 0.00083195)
(2,0,0,1,1,1,0,0): 4.06311e-05 (+ 0.00083195)
(5,0,1,0,0,0,1,1): 4.06311e-05 (+ 0.00083195)
(6,0,1,1,0,0,0,1): 4.06311e-05 (+ 0.00083195)
(5,1,1,1,0,0,1,1): 3.54687e-05 (+ 0.00083195)
(3,1,0,0,1,1,1,1): 3.54687e-05 (+ 0.00083195)
(6,1,1,1,1,0,0,1): 3.54687e-05 (+ 0.00083195)
(1,1,1,1,1,1,0,0): 3.54687e-05 (+ 0.00083195)
(2,1,0,1,1,1,1,0): 3.54687e-05 (+ 0.00083195)
(4,1,1,0,0,1,1,1): 3.54687e-05 (+ 0.00083195)
(4,1,1,0,0,1,0,1): 3.49514e-05 (+ 0.00083195)
(2,1,0,1,0,1,1,0): 3.49514e-05 (+ 0.00083195)
(5,1,1,1,0,0,1,0): 3.49514e-05 (+ 0.00083195)
(6,1,0,1,1,0,0,1): 3.49514e-05 (+ 0.00083195)
(3,1,0,0,1,0,1,1): 3.49514e-05 (+ 0.00083195)
(1,1,1,0,1,1,0,0): 3.49514e-05 (+ 0.00083195)
(1,1,1,0,0,0,0,1): 2.89608e-05 (+ 0.00083195)
(2,1,1,1,0,0,0,0): 2.89608e-05 (+ 0.00083195)
(5,1,0,0,0,1,1,0): 2.89608e-05 (+ 0.00083195)
(6,1,0,0,0,0,1,1): 2.89608e-05 (+ 0.00083195)
(3,1,0,1,1,0,0,0): 2.89608e-05 (+ 0.00083195)
(4,1,0,0,1,1,0,0): 2.89608e-05 (+ 0.00083195)
(2,0,0,1,0,0,1,0): 2.80542e-05 (+ 0.00083195)
(5,0,0,1,0,0,1,0): 2.80542e-05 (+ 0.00083195)
(4,0,1,0,0,1,0,0): 2.80542e-05 (+ 0.00083195)
(1,0,1,0,0,1,0,0): 2.80542e-05 (+ 0.00083195)
(6,0,0,0,1,0,0,1): 2.80542e-05 (+ 0.00083195)
(3,0,0,0,1,0,0,1): 2.80542e-05 (+ 0.00083195)
(5,1,0,0,1,0,1,1): 2.51507e-05 (+ 0.00083195)
(1,1,1,1,0,0,1,0): 2.51507e-05 (+ 0.00083195)
(4,1,0,1,0,1,1,0): 2.51507e-05 (+ 0.00083195)
(3,1,1,0,1,1,0,0): 2.51507e-05 (+ 0.00083195)
(6,1,1,0,0,1,0,1): 2.51507e-05 (+ 0.00083195)
(2,1,0,1,1,0,0,1): 2.51507e-05 (+ 0.00083195)
(2,0,0,0,1,0,1,0): 1.93635e-05 (+ 0.00083195)
(3,0,0,0,0,1,0,1): 1.93635e-05 (+ 0.00083195)
(4,0,1,0,0,0,1,0): 1.93635e-05 (+ 0.00083195)
(1,0,0,1,0,1,0,0): 1.93635e-05 (+ 0.00083195)
(6,0,1,0,1,0,0,0): 1.93635e-05 (+ 0.00083195)
(5,0,0,1,0,0,0,1): 1.93635e-05 (+ 0.00083195)
(4,1,0,1,0,1,1,1): 1.83496e-05 (+ 0.00083195)
(3,1,1,0,1,1,1,0): 1.83496e-05 (+ 0.00083195)
(5,1,1,0,1,0,1,1): 1.83496e-05 (+ 0.00083195)
(6,1,1,1,0,1,0,1): 1.83496e-05 (+ 0.00083195)
(2,1,0,1,1,1,0,1): 1.83496e-05 (+ 0.00083195)
(1,1,1,1,1,0,1,0): 1.83496e-05 (+ 0.00083195)
(1,1,1,0,1,0,1,0): 1.70537e-05 (+ 0.00083195)
(6,1,0,1,0,1,0,1): 1.70537e-05 (+ 0.00083195)
(5,1,1,0,1,0,1,0): 1.70537e-05 (+ 0.00083195)
(2,1,0,1,0,1,0,1): 1.70537e-05 (+ 0.00083195)
(4,1,0,1,0,1,0,1): 1.70537e-05 (+ 0.00083195)
(3,1,1,0,1,0,1,0): 1.70537e-05 (+ 0.00083195)
(3,0,0,0,1,1,0,1): 1.66393e-05 (+ 0.00083195)
(2,0,0,1,1,0,1,0): 1.66393e-05 (+ 0.00083195)
(4,0,1,0,0,1,1,0): 1.66393e-05 (+ 0.00083195)
(1,0,1,1,0,1,0,0): 1.66393e-05 (+ 0.00083195)
(5,0,0,1,0,0,1,1): 1.66393e-05 (+ 0.00083195)
(6,0,1,0,1,0,0,1): 1.66393e-05 (+ 0.00083195)
(6,0,1,1,1,0,0,1): 1.48256e-05 (+ 0.00083195)
(3,0,0,0,1,1,1,1): 1.48256e-05 (+ 0.00083195)
(2,0,0,1,1,1,1,0): 1.48256e-05 (+ 0.00083195)
(5,0,1,1,0,0,1,1): 1.48256e-05 (+ 0.00083195)
(4,0,1,0,0,1,1,1): 1.48256e-05 (+ 0.00083195)
(1,0,1,1,1,1,0,0): 1.48256e-05 (+ 0.00083195)
(3,0,0,0,0,0,1,1): 1.42642e-05 (+ 0.00083195)
(6,0,0,1,1,0,0,0): 1.42642e-05 (+ 0.00083195)
(5,0,1,1,0,0,0,0): 1.42642e-05 (+ 0.00083195)
(2,0,0,0,0,1,1,0): 1.42642e-05 (+ 0.00083195)
(4,0,1,0,0,0,0,1): 1.42642e-05 (+ 0.00083195)
(1,0,0,0,1,1,0,0): 1.42642e-05 (+ 0.00083195)
(2,1,0,1,1,1,1,1): 1.32914e-05 (+ 0.00083195)
(6,1,1,1,1,1,0,1): 1.32914e-05 (+ 0.00083195)
(5,1,1,1,1,0,1,1): 1.32914e-05 (+ 0.00083195)
(4,1,1,1,0,1,1,1): 1.32914e-05 (+ 0.00083195)
(3,1,1,0,1,1,1,1): 1.32914e-05 (+ 0.00083195)
(1,1,1,1,1,1,1,0): 1.32914e-05 (+ 0.00083195)
(6,1,1,0,0,0,1,1): 1.28070e-05 (+ 0.00083195)
(2,1,1,1,1,0,0,0): 1.28070e-05 (+ 0.00083195)
(5,1,0,0,0,1,1,1): 1.28070e-05 (+ 0.00083195)
(4,1,0,0,1,1,1,0): 1.28070e-05 (+ 0.00083195)
(3,1,0,1,1,1,0,0): 1.28070e-05 (+ 0.00083195)
(1,1,1,1,0,0,0,1): 1.28070e-05 (+ 0.00083195)
(2,1,0,1,1,0,1,1): 1.24755e-05 (+ 0.00083195)
(6,1,1,0,1,1,0,1): 1.24755e-05 (+ 0.00083195)
(4,1,1,1,0,1,1,0): 1.24755e-05 (+ 0.00083195)
(5,1,0,1,1,0,1,1): 1.24755e-05 (+ 0.00083195)
(1,1,1,1,0,1,1,0): 1.24755e-05 (+ 0.00083195)
(3,1,1,0,1,1,0,1): 1.24755e-05 (+ 0.00083195)
(6,1,0,0,1,1,0,1): 1.24358e-05 (+ 0.00083195)
(5,1,0,1,1,0,1,0): 1.24358e-05 (+ 0.00083195)
(2,1,0,1,0,0,1,1): 1.24358e-05 (+ 0.00083195)
(1,1,1,0,0,1,1,0): 1.24358e-05 (+ 0.00083195)
(3,1,1,0,1,0,0,1): 1.24358e-05 (+ 0.00083195)
(4,1,1,1,0,1,0,0): 1.24358e-05 (+ 0.00083195)
(2,0,0,1,0,1,1,0): 1.10014e-05 (+ 0.00083195)
(1,0,1,0,1,1,0,0): 1.10014e-05 (+ 0.00083195)
(3,0,0,0,1,0,1,1): 1.10014e-05 (+ 0.00083195)
(5,0,1,1,0,0,1,0): 1.10014e-05 (+ 0.00083195)
(4,0,1,0,0,1,0,1): 1.10014e-05 (+ 0.00083195)
(6,0,0,1,1,0,0,1): 1.10014e-05 (+ 0.00083195)
(6,0,0,0,0,1,0,1): 1.01586e-05 (+ 0.00083195)
(3,0,1,0,1,0,0,0): 1.01586e-05 (+ 0.00083195)
(4,0,0,1,0,1,0,0): 1.01586e-05 (+ 0.00083195)
(1,0,1,0,0,0,1,0): 1.01586e-05 (+ 0.00083195)
(5,0,0,0,1,0,1,0): 1.01586e-05 (+ 0.00083195)
(2,0,0,1,0,0,0,1): 1.01586e-05 (+ 0.00083195)
(2,1,0,1,0,1,1,1): 9.20753e-06 (+ 0.00083195)
(4,1,1,1,0,1,0,1): 9.20753e-06 (+ 0.00083195)
(3,1,1,0,1,0,1,1): 9.20753e-06 (+ 0.00083195)
(1,1,1,0,1,1,1,0): 9.20753e-06 (+ 0.00083195)
(5,1,1,1,1,0,1,0): 9.20753e-06 (+ 0.00083195)
(6,1,0,1,1,1,0,1): 9.20753e-06 (+ 0.00083195)
(3,1,0,1,1,0,1,0): 8.61444e-06 (+ 0.00083195)
(4,1,0,0,1,1,0,1): 8.61444e-06 (+ 0.00083195)
(1,1,1,0,1,0,0,1): 8.61444e-06 (+ 0.00083195)
(2,1,1,1,0,1,0,0): 8.61444e-06 (+ 0.00083195)
(5,1,1,0,0,1,1,0): 8.61444e-06 (+ 0.00083195)
(6,1,0,1,0,0,1,1): 8.61444e-06 (+ 0.00083195)
(5,0,1,1,0,0,0,1): 8.41211e-06 (+ 0.00083195)
(2,0,0,0,1,1,1,0): 8.41211e-06 (+ 0.00083195)
(1,0,0,1,1,1,0,0): 8.41211e-06 (+ 0.00083195)
(6,0,1,1,1,0,0,0): 8.41211e-06 (+ 0.00083195)
(4,0,1,0,0,0,1,1): 8.41211e-06 (+ 0.00083195)
(3,0,0,0,0,1,1,1): 8.41211e-06 (+ 0.00083195)
(1,1,1,1,1,0,0,1): 7.71628e-06 (+ 0.00083195)
(4,1,0,0,1,1,1,1): 7.71628e-06 (+ 0.00083195)
(5,1,1,0,0,1,1,1): 7.71628e-06 (+ 0.00083195)
(2,1,1,1,1,1,0,0): 7.71628e-06 (+ 0.00083195)
(6,1,1,1,0,0,1,1): 7.71628e-06 (+ 0.00083195)
(3,1,0,1,1,1,1,0): 7.71628e-06 (+ 0.00083195)
(6,0,1,0,0,1,0,0): 6.63602e-06 (+ 0.00083195)
(2,0,0,0,1,0,0,1): 6.63602e-06 (+ 0.00083195)
(5,0,0,0,1,0,0,1): 6.63602e-06 (+ 0.00083195)
(3,0,1,0,0,1,0,0): 6.63602e-06 (+ 0.00083195)
(4,0,0,1,0,0,1,0): 6.63602e-06 (+ 0.00083195)
(1,0,0,1,0,0,1,0): 6.63602e-06 (+ 0.00083195)
(5,0,0,0,1,0,1,1): 5.91418e-06 (+ 0.00083195)
(6,0,1,0,0,1,0,1): 5.91418e-06 (+ 0.00083195)
(3,0,1,0,1,1,0,0): 5.91418e-06 (+ 0.00083195)
(1,0,1,1,0,0,1,0): 5.91418e-06 (+ 0.00083195)
(4,0,0,1,0,1,1,0): 5.91418e-06 (+ 0.00083195)
(2,0,0,1,1,0,0,1): 5.91418e-06 (+ 0.00083195)
(6,1,0,0,1,0,1,1): 5.69475e-06 (+ 0.00083195)
(4,1,1,0,1,1,0,0): 5.69475e-06 (+ 0.00083195)
(2,1,1,1,0,0,1,0): 5.69475e-06 (+ 0.00083195)
(3,1,0,1,1,0,0,1): 5.69475e-06 (+ 0.00083195)
(5,1,0,1,0,1,1,0): 5.69475e-06 (+ 0.00083195)
(1,1,1,0,0,1,0,1): 5.69475e-06 (+ 0.00083195)
(5,1,0,1,0,1,1,1): 5.30515e-06 (+ 0.00083195)
(4,1,1,0,1,1,1,0): 5.30515e-06 (+ 0.00083195)
(3,1,0,1,1,1,0,1): 5.30515e-06 (+ 0.00083195)
(2,1,1,1,1,0,1,0): 5.30515e-06 (+ 0.00083195)
(1,1,1,1,0,1,0,1): 5.30515e-06 (+ 0.00083195)
(6,1,1,0,1,0,1,1): 5.30515e-06 (+ 0.00083195)
(5,1,1,1,0,1,1,1): 4.89046e-06 (+ 0.00083195)
(3,1,0,1,1,1,1,1): 4.89046e-06 (+ 0.00083195)
(2,1,1,1,1,1,1,0): 4.89046e-06 (+ 0.00083195)
(4,1,1,0,1,1,1,1): 4.89046e-06 (+ 0.00083195)
(1,1,1,1,1,1,0,1): 4.89046e-06 (+ 0.00083195)
(6,1,1,1,1,0,1,1): 4.89046e-06 (+ 0.00083195)
(2,0,0,1,1,1,0,1): 4.17630e-06 (+ 0.00083195)
(1,0,1,1,1,0,1,0): 4.17630e-06 (+ 0.00083195)
(4,0,0,1,0,1,1,1): 4.17630e-06 (+ 0.00083195)
(6,0,1,1,0,1,0,1): 4.17630e-06 (+ 0.00083195)
(3,0,1,0,1,1,1,0): 4.17630e-06 (+ 0.00083195)
(5,0,1,0,1,0,1,1): 4.17630e-06 (+ 0.00083195)
(6,1,0,1,1,0,1,1): 3.78214e-06 (+ 0.00083195)
(1,1,1,0,1,1,0,1): 3.78214e-06 (+ 0.00083195)
(2,1,1,1,0,1,1,0): 3.78214e-06 (+ 0.00083195)
(3,1,0,1,1,0,1,1): 3.78214e-06 (+ 0.00083195)
(4,1,1,0,1,1,0,1): 3.78214e-06 (+ 0.00083195)
(5,1,1,1,0,1,1,0): 3.78214e-06 (+ 0.00083195)
(6,0,0,1,0,1,0,1): 3.69573e-06 (+ 0.00083195)
(3,0,1,0,1,0,1,0): 3.69573e-06 (+ 0.00083195)
(4,0,0,1,0,1,0,1): 3.69573e-06 (+ 0.00083195)
(1,0,1,0,1,0,1,0): 3.69573e-06 (+ 0.00083195)
(5,0,1,0,1,0,1,0): 3.69573e-06 (+ 0.00083195)
(2,0,0,1,0,1,0,1): 3.69573e-06 (+ 0.00083195)
(6,1,0,0,0,1,1,1): 3.57450e-06 (+ 0.00083195)
(5,1,0,0,1,1,1,0): 3.57450e-06 (+ 0.00083195)
(4,1,0,1,1,1,0,0): 3.57450e-06 (+ 0.00083195)
(1,1,1,0,0,0,1,1): 3.57450e-06 (+ 0.00083195)
(2,1,1,1,0,0,0,1): 3.57450e-06 (+ 0.00083195)
(3,1,1,1,1,0,0,0): 3.57450e-06 (+ 0.00083195)
(3,1,1,1,1,1,0,0): 3.23525e-06 (+ 0.00083195)
(2,1,1,1,1,0,0,1): 3.23525e-06 (+ 0.00083195)
(4,1,0,1,1,1,1,0): 3.23525e-06 (+ 0.00083195)
(5,1,0,0,1,1,1,1): 3.23525e-06 (+ 0.00083195)
(1,1,1,1,0,0,1,1): 3.23525e-06 (+ 0.00083195)
(6,1,1,0,0,1,1,1): 3.23525e-06 (+ 0.00083195)
(5,1,1,1,1,1,1,1): 3.22229e-06 (+ 0.00083195)
(4,1,1,1,1,1,1,1): 3.22229e-06 (+ 0.00083195)
(6,1,1,1,1,1,1,1): 3.22229e-06 (+ 0.00083195)
(1,1,1,1,1,1,1,1): 3.22229e-06 (+ 0.00083195)
(3,1,1,1,1,1,1,1): 3.22229e-06 (+ 0.00083195)
(2,1,1,1,1,1,1,1): 3.22229e-06 (+ 0.00083195)
(3,0,1,0,1,1,1,1): 3.11183e-06 (+ 0.00083195)
(5,0,1,1,1,0,1,1): 3.11183e-06 (+ 0.00083195)
(4,0,1,1,0,1,1,1): 3.11183e-06 (+ 0.00083195)
(1,0,1,1,1,1,1,0): 3.11183e-06 (+ 0.00083195)
(6,0,1,1,1,1,0,1): 3.11183e-06 (+ 0.00083195)
(2,0,0,1,1,1,1,1): 3.11183e-06 (+ 0.00083195)
(6,1,1,1,0,1,1,1): 3.06492e-06 (+ 0.00083195)
(3,1,1,1,1,1,1,0): 3.06492e-06 (+ 0.00083195)
(2,1,1,1,1,1,0,1): 3.06492e-06 (+ 0.00083195)
(4,1,0,1,1,1,1,1): 3.06492e-06 (+ 0.00083195)
(5,1,1,0,1,1,1,1): 3.06492e-06 (+ 0.00083195)
(1,1,1,1,1,0,1,1): 3.06492e-06 (+ 0.00083195)
(2,0,0,1,1,0,1,1): 2.54449e-06 (+ 0.00083195)
(6,0,1,0,1,1,0,1): 2.54449e-06 (+ 0.00083195)
(4,0,1,1,0,1,1,0): 2.54449e-06 (+ 0.00083195)
(1,0,1,1,0,1,1,0): 2.54449e-06 (+ 0.00083195)
(5,0,0,1,1,0,1,1): 2.54449e-06 (+ 0.00083195)
(3,0,1,0,1,1,0,1): 2.54449e-06 (+ 0.00083195)
(6,0,0,1,0,1,0,0): 2.06116e-06 (+ 0.00083195)
(1,0,0,0,1,0,1,0): 2.06116e-06 (+ 0.00083195)
(3,0,1,0,0,0,1,0): 2.06116e-06 (+ 0.00083195)
(2,0,0,0,0,1,0,1): 2.06116e-06 (+ 0.00083195)
(5,0,1,0,1,0,0,0): 2.06116e-06 (+ 0.00083195)
(4,0,0,1,0,0,0,1): 2.06116e-06 (+ 0.00083195)
(6,1,1,0,1,1,1,1): 1.92983e-06 (+ 0.00083195)
(3,1,1,1,1,1,0,1): 1.92983e-06 (+ 0.00083195)
(2,1,1,1,1,0,1,1): 1.92983e-06 (+ 0.00083195)
(5,1,0,1,1,1,1,1): 1.92983e-06 (+ 0.00083195)
(4,1,1,1,1,1,1,0): 1.92983e-06 (+ 0.00083195)
(1,1,1,1,0,1,1,1): 1.92983e-06 (+ 0.00083195)
(1,0,0,1,1,0,1,0): 1.06220e-06 (+ 0.00083195)
(3,0,1,0,0,1,1,0): 1.06220e-06 (+ 0.00083195)
(2,0,0,0,1,1,0,1): 1.06220e-06 (+ 0.00083195)
(6,0,1,1,0,1,0,0): 1.06220e-06 (+ 0.00083195)
(4,0,0,1,0,0,1,1): 1.06220e-06 (+ 0.00083195)
(5,0,1,0,1,0,0,1): 1.06220e-06 (+ 0.00083195)
(6,0,0,0,1,1,0,1): 9.93825e-07 (+ 0.00083195)
(5,0,0,1,1,0,1,0): 9.93825e-07 (+ 0.00083195)
(1,0,1,0,0,1,1,0): 9.93825e-07 (+ 0.00083195)
(2,0,0,1,0,0,1,1): 9.93825e-07 (+ 0.00083195)
(3,0,1,0,1,0,0,1): 9.93825e-07 (+ 0.00083195)
(4,0,1,1,0,1,0,0): 9.93825e-07 (+ 0.00083195)
(1,0,1,0,1,1,1,0): 9.30464e-07 (+ 0.00083195)
(2,0,0,1,0,1,1,1): 9.30464e-07 (+ 0.00083195)
(5,0,1,1,1,0,1,0): 9.30464e-07 (+ 0.00083195)
(4,0,1,1,0,1,0,1): 9.30464e-07 (+ 0.00083195)
(6,0,0,1,1,1,0,1): 9.30464e-07 (+ 0.00083195)
(3,0,1,0,1,0,1,1): 9.30464e-07 (+ 0.00083195)
(6,1,0,1,1,1,1,1): 8.41157e-07 (+ 0.00083195)
(3,1,1,1,1,0,1,1): 8.41157e-07 (+ 0.00083195)
(2,1,1,1,0,1,1,1): 8.41157e-07 (+ 0.00083195)
(5,1,1,1,1,1,1,0): 8.41157e-07 (+ 0.00083195)
(4,1,1,1,1,1,0,1): 8.41157e-07 (+ 0.00083195)
(1,1,1,0,1,1,1,1): 8.41157e-07 (+ 0.00083195)
(6,1,0,1,0,1,1,1): 7.11497e-07 (+ 0.00083195)
(3,1,1,1,1,0,1,0): 7.11497e-07 (+ 0.00083195)
(1,1,1,0,1,0,1,1): 7.11497e-07 (+ 0.00083195)
(5,1,1,0,1,1,1,0): 7.11497e-07 (+ 0.00083195)
(2,1,1,1,0,1,0,1): 7.11497e-07 (+ 0.00083195)
(4,1,0,1,1,1,0,1): 7.11497e-07 (+ 0.00083195)
(6,0,0,0,1,1,0,0): 4.66522e-07 (+ 0.00083195)
(1,0,0,0,0,1,1,0): 4.66522e-07 (+ 0.00083195)
(2,0,0,0,0,0,1,1): 4.66522e-07 (+ 0.00083195)
(3,0,1,0,0,0,0,1): 4.66522e-07 (+ 0.00083195)
(5,0,0,1,1,0,0,0): 4.66522e-07 (+ 0.00083195)
(4,0,1,1,0,0,0,0): 4.66522e-07 (+ 0.00083195)
(1,0,0,1,1,1,1,0): 8.12533e-08 (+ 0.00083195)
(2,0,0,0,1,1,1,1): 8.12533e-08 (+ 0.00083195)
(3,0,1,0,0,1,1,1): 8.12533e-08 (+ 0.00083195)
(6,0,1,1,1,1,0,0): 8.12533e-08 (+ 0.00083195)
(5,0,1,1,1,0,0,1): 8.12533e-08 (+ 0.00083195)
(4,0,1,1,0,0,1,1): 8.12533e-08 (+ 0.00083195)
(6,1,0,0,1,1,1,1): 2.91064e-08 (+ 0.00083195)
(1,1,1,0,0,1,1,1): 2.91064e-08 (+ 0.00083195)
(2,1,1,1,0,0,1,1): 2.91064e-08 (+ 0.00083195)
(5,1,0,1,1,1,1,0): 2.91064e-08 (+ 0.00083195)
(4,1,1,1,1,1,0,0): 2.91064e-08 (+ 0.00083195)
(3,1,1,1,1,0,0,1): 2.91064e-08 (+ 0.00083195)
(1,0,0,1,0,1,1,0): 2.33994e-09 (+ 0.00083195)
(4,0,1,1,0,0,1,0): 2.33994e-09 (+ 0.00083195)
(2,0,0,0,1,0,1,1): 2.33994e-09 (+ 0.00083195)
(3,0,1,0,0,1,0,1): 2.33994e-09 (+ 0.00083195)
(6,0,1,0,1,1,0,0): 2.33994e-09 (+ 0.00083195)
(5,0,0,1,1,0,0,1): 2.33994e-09 (+ 0.00083195)
(1,0,0,0,1,1,1,0): 1.82185e-09 (+ 0.00083195)
(5,0,1,1,1,0,0,0): 1.82185e-09 (+ 0.00083195)
(2,0,0,0,0,1,1,1): 1.82185e-09 (+ 0.00083195)
(3,0,1,0,0,0,1,1): 1.82185e-09 (+ 0.00083195)
(4,0,1,1,0,0,0,1): 1.82185e-09 (+ 0.00083195)
(6,0,0,1,1,1,0,0): 1.82185e-09 (+ 0.00083195)
(1,0,0,0,0,0,0,1): 0.00000 (+ 0.00083195)
(2,0,1,0,0,0,0,0): 0.00000 (+ 0.00083195)
(3,0,0,1,0,0,0,0): 0.00000 (+ 0.00083195)
(4,0,0,0,1,0,0,0): 0.00000 (+ 0.00083195)
(5,0,0,0,0,1,0,0): 0.00000 (+ 0.00083195)
(6,0,0,0,0,0,1,0): 0.00000 (+ 0.00083195)
(6,0,0,0,0,1,1,0): 0.00000 (+ 0.00083195)
(1,0,0,0,0,1,0,1): 0.00000 (+ 0.00083195)
(2,0,1,0,0,1,0,0): 0.00000 (+ 0.00083195)
(3,0,0,1,0,1,0,0): 0.00000 (+ 0.00083195)
(4,0,0,0,1,1,0,0): 0.00000 (+ 0.00083195)
(6,0,0,0,0,0,1,1): 0.00000 (+ 0.00083195)
(1,0,1,0,0,0,0,1): 0.00000 (+ 0.00083195)
(2,0,1,0,0,0,1,0): 0.00000 (+ 0.00083195)
(3,0,0,1,0,0,1,0): 0.00000 (+ 0.00083195)
(4,0,0,0,1,0,1,0): 0.00000 (+ 0.00083195)
(5,0,0,0,0,1,1,0): 0.00000 (+ 0.00083195)
(1,0,0,0,1,1,1,1): 0.00000 (+ 0.00083195)
(2,0,1,0,1,1,1,0): 0.00000 (+ 0.00083195)
(3,0,0,1,1,1,1,0): 0.00000 (+ 0.00083195)
(4,0,0,0,1,1,1,0): 0.00000 (+ 0.00083195)
(1,0,0,1,0,1,0,1): 0.00000 (+ 0.00083195)
(2,0,1,1,0,1,0,0): 0.00000 (+ 0.00083195)
(3,0,0,1,0,1,1,0): 0.00000 (+ 0.00083195)
(5,0,1,0,0,1,1,1): 0.00000 (+ 0.00083195)
(1,0,0,1,1,0,0,1): 0.00000 (+ 0.00083195)
(2,0,1,1,1,0,0,0): 0.00000 (+ 0.00083195)
(3,0,0,1,1,0,1,0): 0.00000 (+ 0.00083195)
(1,0,0,0,0,0,1,1): 0.00000 (+ 0.00083195)
(6,0,0,0,1,0,1,0): 0.00000 (+ 0.00083195)
(1,0,0,0,1,0,0,1): 0.00000 (+ 0.00083195)
(2,0,1,0,1,0,0,0): 0.00000 (+ 0.00083195)
(3,0,0,1,1,0,0,0): 0.00000 (+ 0.00083195)
(4,0,1,1,1,0,1,0): 0.00000 (+ 0.00083195)
(6,0,1,0,0,0,1,0): 0.00000 (+ 0.00083195)
(2,0,1,1,0,0,1,1): 0.00000 (+ 0.00083195)
(3,0,0,1,0,1,1,1): 0.00000 (+ 0.00083195)
(4,0,0,0,1,1,1,1): 0.00000 (+ 0.00083195)
(5,0,0,0,0,1,1,1): 0.00000 (+ 0.00083195)
(6,0,0,0,0,1,1,1): 0.00000 (+ 0.00083195)
(1,0,0,0,1,1,0,1): 0.00000 (+ 0.00083195)
(2,0,1,0,1,1,0,0): 0.00000 (+ 0.00083195)
(3,0,0,1,1,1,0,0): 0.00000 (+ 0.00083195)
(4,0,0,1,1,1,1,0): 0.00000 (+ 0.00083195)
(5,0,1,0,0,1,0,0): 0.00000 (+ 0.00083195)
(5,0,1,1,0,1,0,0): 0.00000 (+ 0.00083195)
(6,0,1,1,0,0,1,0): 0.00000 (+ 0.00083195)
(1,0,1,1,0,0,0,1): 0.00000 (+ 0.00083195)
(2,0,1,1,0,0,0,1): 0.00000 (+ 0.00083195)
(6,0,0,1,0,0,1,0): 0.00000 (+ 0.00083195)
(1,0,0,1,0,0,0,1): 0.00000 (+ 0.00083195)
(2,0,1,1,0,0,0,0): 0.00000 (+ 0.00083195)
(4,0,1,0,1,1,1,1): 0.00000 (+ 0.00083195)
(6,0,1,0,0,0,1,1): 0.00000 (+ 0.00083195)
(2,0,1,0,0,0,1,1): 0.00000 (+ 0.00083195)
(3,0,0,1,0,0,1,1): 0.00000 (+ 0.00083195)
(4,0,0,0,1,0,1,1): 0.00000 (+ 0.00083195)
(6,0,0,0,1,0,1,1): 0.00000 (+ 0.00083195)
(1,0,0,1,1,1,0,1): 0.00000 (+ 0.00083195)
(2,0,1,1,1,1,0,0): 0.00000 (+ 0.00083195)
(2,0,1,0,1,0,1,0): 0.00000 (+ 0.00083195)
(6,0,1,1,1,0,1,0): 0.00000 (+ 0.00083195)
(1,0,1,1,1,0,0,1): 0.00000 (+ 0.00083195)
(3,0,0,1,1,0,0,1): 0.00000 (+ 0.00083195)
(4,0,0,0,1,0,0,1): 0.00000 (+ 0.00083195)
(5,0,0,0,0,1,0,1): 0.00000 (+ 0.00083195)
(2,0,1,0,0,1,0,1): 0.00000 (+ 0.00083195)
(3,0,0,1,0,1,0,1): 0.00000 (+ 0.00083195)
(4,0,0,0,1,1,0,1): 0.00000 (+ 0.00083195)
(6,0,1,1,0,0,1,1): 0.00000 (+ 0.00083195)
(6,0,1,0,1,0,1,1): 0.00000 (+ 0.00083195)
(1,0,1,0,1,0,0,1): 0.00000 (+ 0.00083195)
(3,0,0,1,1,1,0,1): 0.00000 (+ 0.00083195)
(3,0,1,1,0,0,0,1): 0.00000 (+ 0.00083195)
(4,0,1,0,1,0,0,1): 0.00000 (+ 0.00083195)
(5,0,1,0,0,1,0,1): 0.00000 (+ 0.00083195)
(5,0,0,1,0,1,0,0): 0.00000 (+ 0.00083195)
(3,0,1,1,1,1,0,1): 0.00000 (+ 0.00083195)
(3,0,0,1,0,0,0,1): 0.00000 (+ 0.00083195)
(3,0,1,1,0,1,1,0): 0.00000 (+ 0.00083195)
(4,0,1,0,1,1,1,0): 0.00000 (+ 0.00083195)
(6,0,1,1,0,1,1,1): 0.00000 (+ 0.00083195)
(1,0,1,1,0,1,0,1): 0.00000 (+ 0.00083195)
(4,0,0,1,1,0,0,0): 0.00000 (+ 0.00083195)
(5,0,0,1,1,1,1,0): 0.00000 (+ 0.00083195)
(6,0,0,1,1,0,1,0): 0.00000 (+ 0.00083195)
(2,0,1,1,1,0,0,1): 0.00000 (+ 0.00083195)
(4,0,0,1,1,0,1,0): 0.00000 (+ 0.00083195)
(5,0,0,1,0,1,1,0): 0.00000 (+ 0.00083195)
(3,0,1,1,1,1,0,0): 0.00000 (+ 0.00083195)
(4,0,1,0,1,1,0,1): 0.00000 (+ 0.00083195)
(1,0,1,0,1,0,1,1): 0.00000 (+ 0.00083195)
(5,0,0,0,1,1,1,1): 0.00000 (+ 0.00083195)
(5,0,0,1,0,1,1,1): 0.00000 (+ 0.00083195)
(5,0,1,0,1,1,0,0): 0.00000 (+ 0.00083195)
(6,0,1,0,1,0,1,0): 0.00000 (+ 0.00083195)
(4,0,0,1,1,0,0,1): 0.00000 (+ 0.00083195)
(5,0,0,1,0,1,0,1): 0.00000 (+ 0.00083195)
(6,0,0,1,0,0,1,1): 0.00000 (+ 0.00083195)
(5,0,1,1,1,1,0,1): 0.00000 (+ 0.00083195)
(6,0,1,1,1,0,1,1): 0.00000 (+ 0.00083195)
(1,0,1,1,1,1,0,1): 0.00000 (+ 0.00083195)
(2,0,1,1,1,1,1,0): 0.00000 (+ 0.00083195)
(5,0,0,0,1,1,0,0): 0.00000 (+ 0.00083195)
(6,0,1,0,0,1,1,0): 0.00000 (+ 0.00083195)
(1,0,1,0,0,0,1,1): 0.00000 (+ 0.00083195)
(2,0,1,1,0,0,1,0): 0.00000 (+ 0.00083195)
(3,0,1,1,0,0,1,0): 0.00000 (+ 0.00083195)
(4,0,1,0,1,0,1,0): 0.00000 (+ 0.00083195)
(5,0,1,0,0,1,1,0): 0.00000 (+ 0.00083195)
(5,0,1,0,1,1,1,0): 0.00000 (+ 0.00083195)
(1,0,1,0,0,1,1,1): 0.00000 (+ 0.00083195)
(2,0,1,0,1,1,1,1): 0.00000 (+ 0.00083195)
(3,0,0,1,1,1,1,1): 0.00000 (+ 0.00083195)
(3,0,1,1,1,1,1,1): 0.00000 (+ 0.00083195)
(2,0,1,1,1,1,0,1): 0.00000 (+ 0.00083195)
(1,0,1,0,1,1,0,1): 0.00000 (+ 0.00083195)
(3,0,1,1,1,0,0,0): 0.00000 (+ 0.00083195)
(1,0,1,1,1,0,1,1): 0.00000 (+ 0.00083195)
(2,0,1,1,1,0,1,0): 0.00000 (+ 0.00083195)
(1,0,1,0,0,1,0,1): 0.00000 (+ 0.00083195)
(5,0,0,1,1,1,0,1): 0.00000 (+ 0.00083195)
(6,0,0,1,1,0,1,1): 0.00000 (+ 0.00083195)
(1,0,0,1,1,1,1,1): 0.00000 (+ 0.00083195)
(4,0,1,0,1,0,0,0): 0.00000 (+ 0.00083195)
(2,0,1,0,1,1,0,1): 0.00000 (+ 0.00083195)
(6,0,0,1,0,1,1,1): 0.00000 (+ 0.00083195)
(5,0,0,0,1,1,0,1): 0.00000 (+ 0.00083195)
(4,0,0,1,1,1,0,0): 0.00000 (+ 0.00083195)
(4,0,1,0,1,0,1,1): 0.00000 (+ 0.00083195)
(4,0,0,1,1,0,1,1): 0.00000 (+ 0.00083195)
(6,0,0,1,0,1,1,0): 0.00000 (+ 0.00083195)
(4,0,1,0,1,1,0,0): 0.00000 (+ 0.00083195)
(5,0,1,1,0,1,1,0): 0.00000 (+ 0.00083195)
(2,0,1,1,0,1,0,1): 0.00000 (+ 0.00083195)
(4,0,0,1,1,1,1,1): 0.00000 (+ 0.00083195)
(5,0,1,1,0,1,1,1): 0.00000 (+ 0.00083195)
(3,0,1,1,0,0,1,1): 0.00000 (+ 0.00083195)
(3,0,0,1,1,0,1,1): 0.00000 (+ 0.00083195)
(6,0,1,0,0,1,1,1): 0.00000 (+ 0.00083195)
(6,0,1,1,0,1,1,0): 0.00000 (+ 0.00083195)
(1,0,1,1,0,1,1,1): 0.00000 (+ 0.00083195)
(2,0,1,1,0,1,1,0): 0.00000 (+ 0.00083195)
(6,0,0,0,1,1,1,0): 0.00000 (+ 0.00083195)
(3,0,1,1,0,1,0,0): 0.00000 (+ 0.00083195)
(4,0,1,1,1,1,0,0): 0.00000 (+ 0.00083195)
(1,0,0,0,1,0,1,1): 0.00000 (+ 0.00083195)
(2,0,1,0,1,0,1,1): 0.00000 (+ 0.00083195)
(5,0,1,0,1,1,0,1): 0.00000 (+ 0.00083195)
(1,0,0,0,0,1,1,1): 0.00000 (+ 0.00083195)
(2,0,1,0,0,1,1,0): 0.00000 (+ 0.00083195)
(2,0,1,1,0,1,1,1): 0.00000 (+ 0.00083195)
(5,0,0,0,1,1,1,0): 0.00000 (+ 0.00083195)
(1,0,0,1,0,0,1,1): 0.00000 (+ 0.00083195)
(1,0,0,1,1,0,1,1): 0.00000 (+ 0.00083195)
(2,0,1,1,1,0,1,1): 0.00000 (+ 0.00083195)
(5,0,1,1,1,1,1,1): 0.00000 (+ 0.00083195)
(2,0,1,1,1,1,1,1): 0.00000 (+ 0.00083195)
(5,0,0,1,1,1,1,1): 0.00000 (+ 0.00083195)
(1,0,0,1,0,1,1,1): 0.00000 (+ 0.00083195)
(6,0,1,1,1,1,1,0): 0.00000 (+ 0.00083195)
(2,0,1,0,1,0,0,1): 0.00000 (+ 0.00083195)
(4,0,1,1,1,0,0,1): 0.00000 (+ 0.00083195)
(3,0,1,1,1,1,1,0): 0.00000 (+ 0.00083195)
(4,0,1,1,1,1,1,1): 0.00000 (+ 0.00083195)
(5,0,1,1,0,1,0,1): 0.00000 (+ 0.00083195)
(1,0,1,1,0,0,1,1): 0.00000 (+ 0.00083195)
(5,0,1,1,1,1,1,0): 0.00000 (+ 0.00083195)
(4,0,0,1,1,1,0,1): 0.00000 (+ 0.00083195)
(3,0,1,1,0,1,1,1): 0.00000 (+ 0.00083195)
(4,0,1,1,1,1,1,0): 0.00000 (+ 0.00083195)
(1,0,1,1,1,1,1,1): 0.00000 (+ 0.00083195)
(2,0,1,0,0,0,0,1): 0.00000 (+ 0.00083195)
(6,0,1,1,1,1,1,1): 0.00000 (+ 0.00083195)
(5,0,1,0,1,1,1,1): 0.00000 (+ 0.00083195)
(3,0,1,1,1,0,1,0): 0.00000 (+ 0.00083195)
(5,0,0,1,1,1,0,0): 0.00000 (+ 0.00083195)
(6,0,0,1,1,1,1,0): 0.00000 (+ 0.00083195)
(6,0,0,1,1,1,1,1): 0.00000 (+ 0.00083195)
(5,0,1,1,1,1,0,0): 0.00000 (+ 0.00083195)
(6,0,0,0,1,1,1,1): 0.00000 (+ 0.00083195)
(2,0,1,0,0,1,1,1): 0.00000 (+ 0.00083195)
(4,0,1,1,1,0,1,1): 0.00000 (+ 0.00083195)
(6,0,1,0,1,1,1,1): 0.00000 (+ 0.00083195)
(3,0,1,1,1,0,0,1): 0.00000 (+ 0.00083195)
(1,0,1,0,1,1,1,1): 0.00000 (+ 0.00083195)
(4,0,1,1,1,1,0,1): 0.00000 (+ 0.00083195)
(3,0,1,1,1,0,1,1): 0.00000 (+ 0.00083195)
(3,0,1,1,0,0,0,0): 0.00000 (+ 0.00083195)
(3,0,1,1,0,1,0,1): 0.00000 (+ 0.00083195)
(6,0,1,0,1,1,1,0): 0.00000 (+ 0.00083195)
(4,0,1,1,1,0,0,0): 0.00000 (+ 0.00083195)
STDERR
Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:50:03 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/polling/polling.6.prism approximate --sampling SAMPLE_NAIVE --precision 0.001
Sep 13, 2024 10:50:03 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 1, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:50:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    3407 loops (672/sec), 527399 sampling steps, 3320 aborted
    loop condition 0.31491, exit probability 0.0000 in initial state
    576 explored states, 576 states in BSSCs (0 absorbing)
    47 component updates, 0 transient state updates
    Bounds: =1.0000@[0.31491](47)
Sep 13, 2024 10:50:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    3448 loops (8/sec), 527399 sampling steps, 3320 aborted
    loop condition 0.31491, exit probability 0.0000 in initial state
    576 explored states, 576 states in BSSCs (0 absorbing)
    88 component updates, 0 transient state updates
    Bounds: =1.0000@[0.31491](88)
Sep 13, 2024 10:50:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    3490 loops (8/sec), 527399 sampling steps, 3320 aborted
    loop condition 0.31491, exit probability 0.0000 in initial state
    576 explored states, 576 states in BSSCs (0 absorbing)
    130 component updates, 0 transient state updates
    Bounds: =1.0000@[0.31491](130)
Sep 13, 2024 10:50:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    3532 loops (8/sec), 527399 sampling steps, 3320 aborted
    loop condition 0.31491, exit probability 0.0000 in initial state
    576 explored states, 576 states in BSSCs (0 absorbing)
    172 component updates, 0 transient state updates
    Bounds: =1.0000@[0.31491](172)
Sep 13, 2024 10:50:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    3574 loops (8/sec), 527399 sampling steps, 3320 aborted
    loop condition 0.31491, exit probability 0.0000 in initial state
    576 explored states, 576 states in BSSCs (0 absorbing)
    214 component updates, 0 transient state updates
    Bounds: =1.0000@[0.31491](214)
Sep 13, 2024 10:50:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    3616 loops (8/sec), 527399 sampling steps, 3320 aborted
    loop condition 0.31491, exit probability 0.0000 in initial state
    576 explored states, 576 states in BSSCs (0 absorbing)
    256 component updates, 0 transient state updates
    Bounds: =1.0000@[0.31491](256)
Sep 13, 2024 10:50:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    3658 loops (8/sec), 527399 sampling steps, 3320 aborted
    loop condition 0.31491, exit probability 0.0000 in initial state
    576 explored states, 576 states in BSSCs (0 absorbing)
    298 component updates, 0 transient state updates
    Bounds: =1.0000@[0.31491](298)
Sep 13, 2024 10:50:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    3700 loops (8/sec), 527399 sampling steps, 3320 aborted
    loop condition 0.31491, exit probability 0.0000 in initial state
    576 explored states, 576 states in BSSCs (0 absorbing)
    340 component updates, 0 transient state updates
    Bounds: =1.0000@[0.31491](340)
Sep 13, 2024 10:50:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    3742 loops (8/sec), 527399 sampling steps, 3320 aborted
    loop condition 0.31491, exit probability 0.0000 in initial state
    576 explored states, 576 states in BSSCs (0 absorbing)
    382 component updates, 0 transient state updates
    Bounds: =1.0000@[0.31491](382)
Sep 13, 2024 10:50:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    3784 loops (8/sec), 527399 sampling steps, 3320 aborted
    loop condition 0.31491, exit probability 0.0000 in initial state
    576 explored states, 576 states in BSSCs (0 absorbing)
    424 component updates, 0 transient state updates
    Bounds: =1.0000@[0.31491](424)
Sep 13, 2024 10:50:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    3826 loops (8/sec), 527399 sampling steps, 3320 aborted
    loop condition 0.31491, exit probability 0.0000 in initial state
    576 explored states, 576 states in BSSCs (0 absorbing)
    466 component updates, 0 transient state updates
    Bounds: =1.0000@[0.31491](466)
Sep 13, 2024 10:51:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    3867 loops (8/sec), 527399 sampling steps, 3320 aborted
    loop condition 0.31491, exit probability 0.0000 in initial state
    576 explored states, 576 states in BSSCs (0 absorbing)
    507 component updates, 0 transient state updates
    Bounds: =1.0000@[0.31491](507)
Sep 13, 2024 10:51:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    3908 loops (8/sec), 527399 sampling steps, 3320 aborted
    loop condition 0.31491, exit probability 0.0000 in initial state
    576 explored states, 576 states in BSSCs (0 absorbing)
    548 component updates, 0 transient state updates
    Bounds: =1.0000@[0.31491](548)
Sep 13, 2024 10:51:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    3984 loops (21/sec), 527399 sampling steps, 3320 aborted
    loop condition 0.00083195, exit probability 0.0000 in initial state
    576 explored states, 576 states in BSSCs (0 absorbing)
    624 component updates, 0 transient state updates
    Bounds: =1.0000@[0.00083](624)