sds.default-abs.ap-sample

Benchmark
Model: (polling)
Parameter(s)N = 6
Invocation (default-abs.ap-sample)
	$ARTIFACT_DIR/bin/sds $ARTIFACT_DIR/benchmarks/ctmc/polling/polling.6.prism  approximate --sampling SAMPLE_TARGET  --precision 0.001
default engine and absolute (default) error criterion
Execution
Walltime (MC-Time):74.89081335067749s (NA)
Return code:0
Note(s):Tool does not support file export.
Log
(6,0,0,0,0,0,0,0): 0.157076 (+ 0.00083195)
(2,0,0,0,0,0,0,0): 0.157076 (+ 0.00083195)
(1,0,0,0,0,0,0,0): 0.157076 (+ 0.00083195)
(5,0,0,0,0,0,0,0): 0.157076 (+ 0.00083195)
(4,0,0,0,0,0,0,0): 0.157070 (+ 0.00083195)
(3,0,0,0,0,0,0,0): 0.157070 (+ 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)
(2,1,0,1,0,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)
(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)
(2,1,0,1,1,0,0,0): 0.000173568 (+ 0.00083195)
(6,1,1,0,0,0,0,1): 0.000173568 (+ 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)
(4,1,0,0,0,1,1,0): 0.000173568 (+ 0.00083195)
(5,1,0,0,0,0,1,1): 0.000173568 (+ 0.00083195)
(1,1,1,0,1,0,0,0): 0.000117443 (+ 0.00083195)
(5,1,1,0,0,0,1,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)
(2,0,0,1,1,0,0,0): 0.000109575 (+ 0.00083195)
(3,0,0,0,1,1,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)
(3,1,0,0,1,0,0,1): 7.61580e-05 (+ 0.00083195)
(5,1,0,1,0,0,1,0): 7.61580e-05 (+ 0.00083195)
(2,1,0,1,0,0,1,0): 7.61580e-05 (+ 0.00083195)
(4,1,1,0,0,1,0,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)
(2,1,0,1,1,1,0,0): 7.58467e-05 (+ 0.00083195)
(6,1,1,1,0,0,0,1): 7.58467e-05 (+ 0.00083195)
(4,1,0,0,0,1,1,1): 7.58467e-05 (+ 0.00083195)
(1,1,1,1,1,0,0,0): 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)
(1,0,1,0,1,0,0,0): 5.62564e-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)
(5,0,1,0,0,0,1,0): 5.62564e-05 (+ 0.00083195)
(3,0,0,0,1,0,1,0): 5.62564e-05 (+ 0.00083195)
(6,0,0,1,0,0,0,1): 5.62564e-05 (+ 0.00083195)
(3,1,1,0,1,0,0,0): 4.62496e-05 (+ 0.00083195)
(4,1,0,1,0,1,0,0): 4.62496e-05 (+ 0.00083195)
(6,1,0,0,0,1,0,1): 4.62496e-05 (+ 0.00083195)
(1,1,1,0,0,0,1,0): 4.62496e-05 (+ 0.00083195)
(2,1,0,1,0,0,0,1): 4.62496e-05 (+ 0.00083195)
(5,1,0,0,1,0,1,0): 4.62496e-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)
(5,1,0,1,0,0,1,1): 4.54344e-05 (+ 0.00083195)
(6,1,1,0,1,0,0,1): 4.54344e-05 (+ 0.00083195)
(4,1,1,0,0,1,1,0): 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)
(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)
(4,0,0,0,0,0,1,1): 4.35539e-05 (+ 0.00083195)
(2,0,0,0,1,1,0,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)
(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)
(3,0,0,0,1,1,1,0): 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)
(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)
(6,1,0,1,1,0,0,1): 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)
(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)
(6,1,0,0,0,0,1,1): 2.89608e-05 (+ 0.00083195)
(5,0,0,1,0,0,1,0): 2.80542e-05 (+ 0.00083195)
(2,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)
(6,0,1,0,1,0,0,0): 1.93635e-05 (+ 0.00083195)
(1,0,0,1,0,1,0,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)
(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)
(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)
(6,1,1,1,0,1,0,1): 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)
(2,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)
(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)
(5,0,1,1,0,0,1,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)
(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)
(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)
(3,0,0,0,0,0,1,1): 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)
(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)
(2,1,0,1,1,1,1,1): 1.32914e-05 (+ 0.00083195)
(3,1,1,0,1,1,1,1): 1.32914e-05 (+ 0.00083195)
(4,1,1,1,0,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)
(5,1,0,0,0,1,1,1): 1.28070e-05 (+ 0.00083195)
(1,1,1,1,0,0,0,1): 1.28070e-05 (+ 0.00083195)
(2,1,1,1,1,0,0,0): 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)
(2,1,0,1,1,0,1,1): 1.24755e-05 (+ 0.00083195)
(4,1,1,1,0,1,1,0): 1.24755e-05 (+ 0.00083195)
(1,1,1,1,0,1,1,0): 1.24755e-05 (+ 0.00083195)
(6,1,1,0,1,1,0,1): 1.24755e-05 (+ 0.00083195)
(5,1,0,1,1,0,1,1): 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)
(2,1,0,1,0,0,1,1): 1.24358e-05 (+ 0.00083195)
(5,1,0,1,1,0,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)
(1,1,1,0,0,1,1,0): 1.24358e-05 (+ 0.00083195)
(1,0,1,0,1,1,0,0): 1.10014e-05 (+ 0.00083195)
(2,0,0,1,0,1,1,0): 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)
(3,0,0,0,1,0,1,1): 1.10014e-05 (+ 0.00083195)
(6,0,0,1,1,0,0,1): 1.10014e-05 (+ 0.00083195)
(4,0,0,1,0,1,0,0): 1.01586e-05 (+ 0.00083195)
(6,0,0,0,0,1,0,1): 1.01586e-05 (+ 0.00083195)
(5,0,0,0,1,0,1,0): 1.01586e-05 (+ 0.00083195)
(1,0,1,0,0,0,1,0): 1.01586e-05 (+ 0.00083195)
(3,0,1,0,1,0,0,0): 1.01586e-05 (+ 0.00083195)
(2,0,0,1,0,0,0,1): 1.01586e-05 (+ 0.00083195)
(4,1,1,1,0,1,0,1): 9.20753e-06 (+ 0.00083195)
(2,1,0,1,0,1,1,1): 9.20753e-06 (+ 0.00083195)
(3,1,1,0,1,0,1,1): 9.20753e-06 (+ 0.00083195)
(5,1,1,1,1,0,1,0): 9.20753e-06 (+ 0.00083195)
(1,1,1,0,1,1,1,0): 9.20753e-06 (+ 0.00083195)
(6,1,0,1,1,1,0,1): 9.20753e-06 (+ 0.00083195)
(4,1,0,0,1,1,0,1): 8.61444e-06 (+ 0.00083195)
(3,1,0,1,1,0,1,0): 8.61444e-06 (+ 0.00083195)
(5,1,1,0,0,1,1,0): 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)
(6,1,0,1,0,0,1,1): 8.61444e-06 (+ 0.00083195)
(6,0,1,1,1,0,0,0): 8.41211e-06 (+ 0.00083195)
(5,0,1,1,0,0,0,1): 8.41211e-06 (+ 0.00083195)
(4,0,1,0,0,0,1,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)
(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)
(6,1,1,1,0,0,1,1): 7.71628e-06 (+ 0.00083195)
(2,1,1,1,1,1,0,0): 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)
(3,0,1,0,0,1,0,0): 6.63602e-06 (+ 0.00083195)
(5,0,0,0,1,0,0,1): 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)
(1,0,1,1,0,0,1,0): 5.91418e-06 (+ 0.00083195)
(3,0,1,0,1,1,0,0): 5.91418e-06 (+ 0.00083195)
(6,0,1,0,0,1,0,1): 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)
(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)
(6,1,0,0,1,0,1,1): 5.69475e-06 (+ 0.00083195)
(5,1,0,1,0,1,1,0): 5.69475e-06 (+ 0.00083195)
(3,1,0,1,1,0,0,1): 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)
(6,1,1,0,1,0,1,1): 5.30515e-06 (+ 0.00083195)
(1,1,1,1,0,1,0,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)
(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)
(2,1,1,1,1,1,1,0): 4.89046e-06 (+ 0.00083195)
(6,1,1,1,1,0,1,1): 4.89046e-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)
(2,0,0,1,1,1,0,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)
(5,1,1,1,0,1,1,0): 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)
(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)
(5,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)
(2,0,0,1,0,1,0,1): 3.69573e-06 (+ 0.00083195)
(5,1,0,0,1,1,1,0): 3.57450e-06 (+ 0.00083195)
(6,1,0,0,0,1,1,1): 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)
(3,1,1,1,1,0,0,0): 3.57450e-06 (+ 0.00083195)
(2,1,1,1,0,0,0,1): 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)
(6,1,1,0,0,1,1,1): 3.23525e-06 (+ 0.00083195)
(1,1,1,1,0,0,1,1): 3.23525e-06 (+ 0.00083195)
(5,1,0,0,1,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)
(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)
(6,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)
(1,0,1,1,1,1,1,0): 3.11183e-06 (+ 0.00083195)
(4,0,1,1,0,1,1,1): 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)
(3,1,1,1,1,1,1,0): 3.06492e-06 (+ 0.00083195)
(6,1,1,1,0,1,1,1): 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)
(6,0,1,0,1,1,0,1): 2.54449e-06 (+ 0.00083195)
(2,0,0,1,1,0,1,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)
(3,0,1,0,1,1,0,1): 2.54449e-06 (+ 0.00083195)
(5,0,0,1,1,0,1,1): 2.54449e-06 (+ 0.00083195)
(6,0,0,1,0,1,0,0): 2.06116e-06 (+ 0.00083195)
(3,0,1,0,0,0,1,0): 2.06116e-06 (+ 0.00083195)
(1,0,0,0,1,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)
(2,1,1,1,1,0,1,1): 1.92983e-06 (+ 0.00083195)
(4,1,1,1,1,1,1,0): 1.92983e-06 (+ 0.00083195)
(3,1,1,1,1,1,0,1): 1.92983e-06 (+ 0.00083195)
(5,1,0,1,1,1,1,1): 1.92983e-06 (+ 0.00083195)
(1,1,1,1,0,1,1,1): 1.92983e-06 (+ 0.00083195)
(4,0,0,1,0,0,1,1): 1.06220e-06 (+ 0.00083195)
(6,0,1,1,0,1,0,0): 1.06220e-06 (+ 0.00083195)
(3,0,1,0,0,1,1,0): 1.06220e-06 (+ 0.00083195)
(5,0,1,0,1,0,0,1): 1.06220e-06 (+ 0.00083195)
(2,0,0,0,1,1,0,1): 1.06220e-06 (+ 0.00083195)
(1,0,0,1,1,0,1,0): 1.06220e-06 (+ 0.00083195)
(1,0,1,0,0,1,1,0): 9.93825e-07 (+ 0.00083195)
(3,0,1,0,1,0,0,1): 9.93825e-07 (+ 0.00083195)
(5,0,0,1,1,0,1,0): 9.93825e-07 (+ 0.00083195)
(2,0,0,1,0,0,1,1): 9.93825e-07 (+ 0.00083195)
(4,0,1,1,0,1,0,0): 9.93825e-07 (+ 0.00083195)
(6,0,0,0,1,1,0,1): 9.93825e-07 (+ 0.00083195)
(5,0,1,1,1,0,1,0): 9.30464e-07 (+ 0.00083195)
(3,0,1,0,1,0,1,1): 9.30464e-07 (+ 0.00083195)
(1,0,1,0,1,1,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)
(2,0,0,1,0,1,1,1): 9.30464e-07 (+ 0.00083195)
(3,1,1,1,1,0,1,1): 8.41157e-07 (+ 0.00083195)
(5,1,1,1,1,1,1,0): 8.41157e-07 (+ 0.00083195)
(1,1,1,0,1,1,1,1): 8.41157e-07 (+ 0.00083195)
(6,1,0,1,1,1,1,1): 8.41157e-07 (+ 0.00083195)
(4,1,1,1,1,1,0,1): 8.41157e-07 (+ 0.00083195)
(2,1,1,1,0,1,1,1): 8.41157e-07 (+ 0.00083195)
(4,1,0,1,1,1,0,1): 7.11497e-07 (+ 0.00083195)
(2,1,1,1,0,1,0,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)
(6,1,0,1,0,1,1,1): 7.11497e-07 (+ 0.00083195)
(5,1,1,0,1,1,1,0): 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)
(5,0,0,1,1,0,0,0): 4.66522e-07 (+ 0.00083195)
(2,0,0,0,0,0,1,1): 4.66522e-07 (+ 0.00083195)
(4,0,1,1,0,0,0,0): 4.66522e-07 (+ 0.00083195)
(3,0,1,0,0,0,0,1): 4.66522e-07 (+ 0.00083195)
(4,0,1,1,0,0,1,1): 8.12533e-08 (+ 0.00083195)
(6,0,1,1,1,1,0,0): 8.12533e-08 (+ 0.00083195)
(2,0,0,0,1,1,1,1): 8.12533e-08 (+ 0.00083195)
(5,0,1,1,1,0,0,1): 8.12533e-08 (+ 0.00083195)
(3,0,1,0,0,1,1,1): 8.12533e-08 (+ 0.00083195)
(1,0,0,1,1,1,1,0): 8.12533e-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)
(1,1,1,0,0,1,1,1): 2.91064e-08 (+ 0.00083195)
(6,1,0,0,1,1,1,1): 2.91064e-08 (+ 0.00083195)
(3,1,1,1,1,0,0,1): 2.91064e-08 (+ 0.00083195)
(3,0,1,0,0,1,0,1): 2.33994e-09 (+ 0.00083195)
(4,0,1,1,0,0,1,0): 2.33994e-09 (+ 0.00083195)
(5,0,0,1,1,0,0,1): 2.33994e-09 (+ 0.00083195)
(2,0,0,0,1,0,1,1): 2.33994e-09 (+ 0.00083195)
(6,0,1,0,1,1,0,0): 2.33994e-09 (+ 0.00083195)
(1,0,0,1,0,1,1,0): 2.33994e-09 (+ 0.00083195)
(3,0,1,0,0,0,1,1): 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)
(1,0,0,0,1,1,1,0): 1.82185e-09 (+ 0.00083195)
(6,0,0,1,1,1,0,0): 1.82185e-09 (+ 0.00083195)
(4,0,1,1,0,0,0,1): 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,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)
(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)
(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,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)
(5,0,0,0,1,1,0,0): 0.00000 (+ 0.00083195)
(4,0,1,0,1,1,0,0): 0.00000 (+ 0.00083195)
(5,0,1,0,0,1,0,0): 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)
(5,0,0,0,0,1,1,1): 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)
(5,0,0,1,0,1,1,0): 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)
(5,0,0,0,0,1,0,1): 0.00000 (+ 0.00083195)
(4,0,1,1,1,1,1,0): 0.00000 (+ 0.00083195)
(5,0,1,1,0,1,1,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)
(6,0,1,0,0,0,1,0): 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)
(3,0,0,1,0,1,1,0): 0.00000 (+ 0.00083195)
(4,0,0,0,1,1,1,0): 0.00000 (+ 0.00083195)
(1,0,1,0,0,1,0,1): 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)
(6,0,1,1,0,1,1,1): 0.00000 (+ 0.00083195)
(4,0,0,1,1,0,0,0): 0.00000 (+ 0.00083195)
(5,0,0,1,0,1,0,0): 0.00000 (+ 0.00083195)
(3,0,0,1,1,1,0,0): 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)
(2,0,1,0,1,0,1,0): 0.00000 (+ 0.00083195)
(3,0,0,1,1,0,1,0): 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)
(1,0,1,0,1,0,0,1): 0.00000 (+ 0.00083195)
(1,0,0,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,1,0,1,1,1): 0.00000 (+ 0.00083195)
(6,0,1,1,1,0,1,1): 0.00000 (+ 0.00083195)
(1,0,1,1,1,0,0,1): 0.00000 (+ 0.00083195)
(4,0,0,0,1,0,0,1): 0.00000 (+ 0.00083195)
(1,0,1,0,0,1,1,1): 0.00000 (+ 0.00083195)
(2,0,1,0,0,1,1,0): 0.00000 (+ 0.00083195)
(4,0,1,1,1,0,1,0): 0.00000 (+ 0.00083195)
(5,0,1,1,1,1,1,0): 0.00000 (+ 0.00083195)
(6,0,1,1,0,1,1,0): 0.00000 (+ 0.00083195)
(1,0,1,0,1,1,0,1): 0.00000 (+ 0.00083195)
(2,0,1,0,1,1,0,0): 0.00000 (+ 0.00083195)
(4,0,1,0,1,1,1,0): 0.00000 (+ 0.00083195)
(6,0,1,0,0,0,1,1): 0.00000 (+ 0.00083195)
(3,0,0,1,1,1,0,1): 0.00000 (+ 0.00083195)
(4,0,1,0,1,1,0,1): 0.00000 (+ 0.00083195)
(5,0,1,0,0,1,0,1): 0.00000 (+ 0.00083195)
(1,0,0,1,1,0,0,1): 0.00000 (+ 0.00083195)
(5,0,0,0,1,1,0,1): 0.00000 (+ 0.00083195)
(6,0,0,0,1,0,1,1): 0.00000 (+ 0.00083195)
(6,0,1,1,1,1,1,1): 0.00000 (+ 0.00083195)
(1,0,1,1,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,1): 0.00000 (+ 0.00083195)
(5,0,0,1,0,1,1,1): 0.00000 (+ 0.00083195)
(1,0,0,0,1,0,1,1): 0.00000 (+ 0.00083195)
(4,0,0,1,1,1,0,0): 0.00000 (+ 0.00083195)
(3,0,1,1,0,1,0,0): 0.00000 (+ 0.00083195)
(2,0,1,1,1,1,0,0): 0.00000 (+ 0.00083195)
(5,0,1,0,1,1,0,1): 0.00000 (+ 0.00083195)
(6,0,1,0,1,0,1,1): 0.00000 (+ 0.00083195)
(6,0,0,1,0,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)
(2,0,1,1,1,0,0,0): 0.00000 (+ 0.00083195)
(6,0,1,1,1,0,1,0): 0.00000 (+ 0.00083195)
(1,0,1,1,1,1,0,1): 0.00000 (+ 0.00083195)
(1,0,1,1,1,0,1,1): 0.00000 (+ 0.00083195)
(2,0,1,1,1,0,0,1): 0.00000 (+ 0.00083195)
(3,0,1,1,1,0,0,1): 0.00000 (+ 0.00083195)
(4,0,1,0,1,0,0,1): 0.00000 (+ 0.00083195)
(1,0,0,0,1,1,0,1): 0.00000 (+ 0.00083195)
(4,0,0,1,1,1,1,1): 0.00000 (+ 0.00083195)
(6,0,1,1,0,0,1,1): 0.00000 (+ 0.00083195)
(5,0,1,1,1,1,0,0): 0.00000 (+ 0.00083195)
(3,0,1,1,1,0,0,0): 0.00000 (+ 0.00083195)
(3,0,1,1,1,0,1,0): 0.00000 (+ 0.00083195)
(3,0,1,1,0,0,1,1): 0.00000 (+ 0.00083195)
(4,0,1,0,1,0,1,1): 0.00000 (+ 0.00083195)
(5,0,1,0,0,1,1,1): 0.00000 (+ 0.00083195)
(1,0,1,0,1,0,1,1): 0.00000 (+ 0.00083195)
(1,0,1,1,0,1,0,1): 0.00000 (+ 0.00083195)
(4,0,0,1,1,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)
(4,0,1,1,1,1,0,0): 0.00000 (+ 0.00083195)
(5,0,1,1,0,1,0,0): 0.00000 (+ 0.00083195)
(3,0,0,1,0,0,0,1): 0.00000 (+ 0.00083195)
(3,0,0,1,1,0,0,1): 0.00000 (+ 0.00083195)
(4,0,0,1,1,0,1,1): 0.00000 (+ 0.00083195)
(6,0,0,1,1,0,1,0): 0.00000 (+ 0.00083195)
(1,0,0,1,0,0,1,1): 0.00000 (+ 0.00083195)
(5,0,0,1,1,1,1,0): 0.00000 (+ 0.00083195)
(1,0,0,1,1,0,1,1): 0.00000 (+ 0.00083195)
(1,0,0,1,1,1,0,1): 0.00000 (+ 0.00083195)
(2,0,1,0,0,0,0,1): 0.00000 (+ 0.00083195)
(3,0,1,1,1,1,0,0): 0.00000 (+ 0.00083195)
(1,0,1,1,0,0,1,1): 0.00000 (+ 0.00083195)
(5,0,1,0,1,1,1,1): 0.00000 (+ 0.00083195)
(3,0,1,1,0,0,0,0): 0.00000 (+ 0.00083195)
(4,0,1,0,1,0,0,0): 0.00000 (+ 0.00083195)
(5,0,0,1,1,1,0,0): 0.00000 (+ 0.00083195)
(1,0,0,0,0,1,1,1): 0.00000 (+ 0.00083195)
(6,0,0,1,1,1,1,0): 0.00000 (+ 0.00083195)
(5,0,1,1,1,1,0,1): 0.00000 (+ 0.00083195)
(2,0,1,1,1,0,1,0): 0.00000 (+ 0.00083195)
(3,0,0,1,1,1,1,1): 0.00000 (+ 0.00083195)
(2,0,1,0,0,1,0,1): 0.00000 (+ 0.00083195)
(2,0,1,0,1,1,0,1): 0.00000 (+ 0.00083195)
(5,0,1,1,0,1,0,1): 0.00000 (+ 0.00083195)
(2,0,1,0,1,0,0,1): 0.00000 (+ 0.00083195)
(3,0,0,1,1,0,1,1): 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,1,0,1,1,1,0): 0.00000 (+ 0.00083195)
(4,0,0,1,1,1,1,0): 0.00000 (+ 0.00083195)
(4,0,1,1,1,0,0,0): 0.00000 (+ 0.00083195)
(2,0,1,1,0,0,0,1): 0.00000 (+ 0.00083195)
(2,0,1,1,0,1,0,1): 0.00000 (+ 0.00083195)
(3,0,1,1,0,0,0,1): 0.00000 (+ 0.00083195)
(6,0,1,0,0,1,1,0): 0.00000 (+ 0.00083195)
(2,0,1,0,0,1,1,1): 0.00000 (+ 0.00083195)
(3,0,0,1,0,1,1,1): 0.00000 (+ 0.00083195)
(1,0,1,0,0,0,1,1): 0.00000 (+ 0.00083195)
(4,0,0,1,1,0,0,1): 0.00000 (+ 0.00083195)
(2,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,0,1,1,1,1,1): 0.00000 (+ 0.00083195)
(4,0,1,1,1,1,0,1): 0.00000 (+ 0.00083195)
(2,0,1,1,1,0,1,1): 0.00000 (+ 0.00083195)
(6,0,0,0,0,1,1,1): 0.00000 (+ 0.00083195)
(3,0,1,1,1,1,1,0): 0.00000 (+ 0.00083195)
(5,0,1,0,1,1,1,0): 0.00000 (+ 0.00083195)
(1,0,1,0,1,1,1,1): 0.00000 (+ 0.00083195)
(5,0,0,0,1,1,1,0): 0.00000 (+ 0.00083195)
(3,0,1,1,0,1,1,0): 0.00000 (+ 0.00083195)
(4,0,0,1,1,0,1,0): 0.00000 (+ 0.00083195)
(6,0,0,1,0,1,1,1): 0.00000 (+ 0.00083195)
(2,0,1,1,0,1,1,1): 0.00000 (+ 0.00083195)
(1,0,0,1,0,1,1,1): 0.00000 (+ 0.00083195)
(1,0,0,1,1,1,1,1): 0.00000 (+ 0.00083195)
(5,0,0,0,1,1,1,1): 0.00000 (+ 0.00083195)
(3,0,1,1,0,1,1,1): 0.00000 (+ 0.00083195)
(5,0,1,1,1,1,1,1): 0.00000 (+ 0.00083195)
(2,0,1,0,1,1,1,1): 0.00000 (+ 0.00083195)
(4,0,1,0,1,1,1,1): 0.00000 (+ 0.00083195)
(6,0,1,0,0,1,1,1): 0.00000 (+ 0.00083195)
(3,0,1,1,1,1,0,1): 0.00000 (+ 0.00083195)
(3,0,1,1,0,1,0,1): 0.00000 (+ 0.00083195)
(3,0,1,1,1,1,1,1): 0.00000 (+ 0.00083195)
(4,0,1,1,1,0,0,1): 0.00000 (+ 0.00083195)
(2,0,1,1,1,1,0,1): 0.00000 (+ 0.00083195)
(2,0,1,1,1,1,1,1): 0.00000 (+ 0.00083195)
(4,0,1,1,1,0,1,1): 0.00000 (+ 0.00083195)
(3,0,1,1,1,0,1,1): 0.00000 (+ 0.00083195)
(6,0,1,1,1,1,1,0): 0.00000 (+ 0.00083195)
(6,0,0,0,1,1,1,1): 0.00000 (+ 0.00083195)
(1,0,0,0,1,1,1,1): 0.00000 (+ 0.00083195)
(2,0,1,0,1,0,1,1): 0.00000 (+ 0.00083195)
(6,0,0,1,1,1,1,1): 0.00000 (+ 0.00083195)
(2,0,1,1,0,0,1,1): 0.00000 (+ 0.00083195)
(6,0,1,0,1,1,1,1): 0.00000 (+ 0.00083195)
(2,0,1,0,0,0,1,1): 0.00000 (+ 0.00083195)
(6,0,0,0,1,1,1,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_TARGET --precision 0.001
Sep 13, 2024 10:50:04 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:
    5689 loops (1122/sec), 894447 sampling steps, 5608 aborted
    loop condition 0.31491, exit probability 0.0000 in initial state
    576 explored states, 576 states in BSSCs (0 absorbing)
    43 component updates, 0 transient state updates
    Bounds: =1.0000@[0.31491](43)
Sep 13, 2024 10:50:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    5725 loops (7/sec), 894447 sampling steps, 5608 aborted
    loop condition 0.31491, exit probability 0.0000 in initial state
    576 explored states, 576 states in BSSCs (0 absorbing)
    79 component updates, 0 transient state updates
    Bounds: =1.0000@[0.31491](79)
Sep 13, 2024 10:50:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    5761 loops (7/sec), 894447 sampling steps, 5608 aborted
    loop condition 0.31491, exit probability 0.0000 in initial state
    576 explored states, 576 states in BSSCs (0 absorbing)
    115 component updates, 0 transient state updates
    Bounds: =1.0000@[0.31491](115)
Sep 13, 2024 10:50:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    5799 loops (7/sec), 894447 sampling steps, 5608 aborted
    loop condition 0.31491, exit probability 0.0000 in initial state
    576 explored states, 576 states in BSSCs (0 absorbing)
    153 component updates, 0 transient state updates
    Bounds: =1.0000@[0.31491](153)
Sep 13, 2024 10:50:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    5837 loops (7/sec), 894447 sampling steps, 5608 aborted
    loop condition 0.31491, exit probability 0.0000 in initial state
    576 explored states, 576 states in BSSCs (0 absorbing)
    191 component updates, 0 transient state updates
    Bounds: =1.0000@[0.31491](191)
Sep 13, 2024 10:50:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    5876 loops (7/sec), 894447 sampling steps, 5608 aborted
    loop condition 0.31491, exit probability 0.0000 in initial state
    576 explored states, 576 states in BSSCs (0 absorbing)
    230 component updates, 0 transient state updates
    Bounds: =1.0000@[0.31491](230)
Sep 13, 2024 10:50:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    5916 loops (7/sec), 894447 sampling steps, 5608 aborted
    loop condition 0.31491, exit probability 0.0000 in initial state
    576 explored states, 576 states in BSSCs (0 absorbing)
    270 component updates, 0 transient state updates
    Bounds: =1.0000@[0.31491](270)
Sep 13, 2024 10:50:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    5957 loops (8/sec), 894447 sampling steps, 5608 aborted
    loop condition 0.31491, exit probability 0.0000 in initial state
    576 explored states, 576 states in BSSCs (0 absorbing)
    311 component updates, 0 transient state updates
    Bounds: =1.0000@[0.31491](311)
Sep 13, 2024 10:50:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    5998 loops (8/sec), 894447 sampling steps, 5608 aborted
    loop condition 0.31491, exit probability 0.0000 in initial state
    576 explored states, 576 states in BSSCs (0 absorbing)
    352 component updates, 0 transient state updates
    Bounds: =1.0000@[0.31491](352)
Sep 13, 2024 10:50:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    6039 loops (8/sec), 894447 sampling steps, 5608 aborted
    loop condition 0.31491, exit probability 0.0000 in initial state
    576 explored states, 576 states in BSSCs (0 absorbing)
    393 component updates, 0 transient state updates
    Bounds: =1.0000@[0.31491](393)
Sep 13, 2024 10:50:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    6079 loops (7/sec), 894447 sampling steps, 5608 aborted
    loop condition 0.31491, exit probability 0.0000 in initial state
    576 explored states, 576 states in BSSCs (0 absorbing)
    433 component updates, 0 transient state updates
    Bounds: =1.0000@[0.31491](433)
Sep 13, 2024 10:51:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    6116 loops (7/sec), 894447 sampling steps, 5608 aborted
    loop condition 0.31491, exit probability 0.0000 in initial state
    576 explored states, 576 states in BSSCs (0 absorbing)
    470 component updates, 0 transient state updates
    Bounds: =1.0000@[0.31491](470)
Sep 13, 2024 10:51:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    6155 loops (7/sec), 894447 sampling steps, 5608 aborted
    loop condition 0.31491, exit probability 0.0000 in initial state
    576 explored states, 576 states in BSSCs (0 absorbing)
    509 component updates, 0 transient state updates
    Bounds: =1.0000@[0.31491](509)
Sep 13, 2024 10:51:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    6195 loops (7/sec), 894447 sampling steps, 5608 aborted
    loop condition 0.31491, exit probability 0.0000 in initial state
    576 explored states, 576 states in BSSCs (0 absorbing)
    549 component updates, 0 transient state updates
    Bounds: =1.0000@[0.31491](549)
Sep 13, 2024 10:51:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
    6270 loops (20/sec), 894447 sampling steps, 5608 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)