Introduction
This page shows the outputs produced by the execution of marcie on Philosophers/000200 (P/T). We provide:
- A short summary,
- the execution chart (evolution of CPU and memory over the execution),
- the sequence of actions to be executed by the VM,
- the results of these actions.
About the Execution
Execution Summary | |||
Memory (MB) | CPU (s) | End | |
42.58 | 0.35 | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
export BK_INPUT=Philosophers-PT-000200
export BK_EXAMINATION=CTLFireability
export BK_TOOL=marcie
export BK_RESULT_DIR=/tmp
export BK_LOG_FILE=/tmp/BenchKit_head_log_file.1662
export BIN_DIR=/home/mcc/BenchKit/bin
cd /home/mcc/BenchKit/INPUTS/Philosophers-PT-000200
echo =====================================================================
echo ' Generated by BenchKit 1.0'
echo ' Executing tool marcie:'
echo ' Test is Philosophers-PT-000200, examination is CTLFireability'
echo =====================================================================
echo
echo --------------------
echo 'content from stdout:'
echo
bash /home/mcc/BenchKit/BenchKit_head.sh
Execution Outputs of marcie for Philosophers/000200 (P/T)
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
execution on node 3: quadhexa-2.u-paris10.fr (runId=136968525300187_n_3)
=====================================================================
runnning marcie on Philosophers-PT-000200 (CTLFireability)
We got on stdout:
Probing ssh
Waiting ssh to respond
Ssh up and responding
=====================================================================
Generated by BenchKit 1.0
Executing tool marcie:
Test is Philosophers-PT-000200, examination is CTLFireability
=====================================================================
--------------------
content from stdout:
START 1369714695
Marcie rev. 1103M (build: rohrch on 2013-02-17)
A model checker for Generalized Stochastic Petri nets
authors: Alex Tovchigrechko (IDD package and CTL model checking)
Martin Schwarick (Symbolic numerical analysis and CSL model checking)
Christian Rohr (Simulative and approximative numerical model checking)
marcie@informatik.tu-cottbus.de
called as: marcie --net-file=model.pnml --mem=4 --mcc-file=CTLFireability.txt
constant oo registered with value < INFINITY >
parse successfull!
(NrP: 1000 NrTr: 1000)
net check time: 0m0sec
CANNOT_COMPUTE
STOP 1369714695
--------------------
content from stderr:
check if there are places and transitions
ok
check if there are transitions without pre-places
ok
check if at least one transition is enabled in m0
ok
check if there are transitions that can never fire
ok
mcc/mcc_parse.cc:759: Exception: parse error ctl p_1845_fireability_x: A F ((FF2b_120? | FF2b_72? | FF2b_97? | FF2b_172? | FF2b_112? | FF2b_29? | FF2b_181? | FF2b_143? | FF2b_126? | FF2b_47? | FF2b_146? | FF2b_188? | FF2b_88? | FF2b_37? | FF2b_31? | FF2b_139? | FF2b_154? | FF2b_161? | FF2b_198? | FF2b_135? | FF2b_175? | FF2b_148? | FF2b_83? | FF2b_23? | FF2b_171? | FF2b_9? | FF2b_20? | FF2b_103? | FF2b_33? | FF2b_141? | FF2b_4? | FF2b_165? | FF2b_128? | FF2b_58? | FF2b_63? | FF2b_124? | FF2b_24? | FF2b_44? | FF2b_158? | FF2b_32? | FF2b_48? | FF2b_57? | FF2b_178? | FF2b_68? | FF2b_74? | FF2b_121? | FF2b_67? | FF2b_133? | FF2b_182? | FF2b_96? | FF2b_100? | FF2b_164? | FF2b_122? | FF2b_123? | FF2b_27? | FF2b_12? | FF2b_34? | FF2b_153? | FF2b_54? | FF2b_184? | FF2b_38? | FF2b_17? | FF2b_40? | FF2b_81? | FF2b_102? | FF2b_152? | FF2b_84? | FF2b_108? | FF2b_159? | FF2b_82? | FF2b_6? | FF2b_65? | FF2b_173? | FF2b_19? | FF2b_71? | FF2b_52? | FF2b_163? | FF2b_138? | FF2b_1? | FF2b_125? | FF2b_174? | FF2b_3? | FF2b_43? | FF2b_137? | FF2b_185? | FF2b_2? | FF2b_170? | FF2b_190? | FF2b_187? | FF2b_80? | FF2b_111? | FF2b_21? | FF2b_118? | FF2b_166? | FF2b_131? | FF2b_26? | FF2b_98? | FF2b_5? | FF2b_195? | FF2b_62? | FF2b_117? | FF2b_41? | FF2b_35? | FF2b_49? | FF2b_36? | FF2b_78? | FF2b_51? | FF2b_56? | FF2b_191? | FF2b_79? | FF2b_114? | FF2b_160? | FF2b_16? | FF2b_132? | FF2b_127? | FF2b_157? | FF2b_147? | FF2b_45? | FF2b_59? | FF2b_149? | FF2b_142? | FF2b_7? | FF2b_104? | FF2b_86? | FF2b_130? | FF2b_95? | FF2b_90? | FF2b_50? | FF2b_60? | FF2b_66? | FF2b_8? | FF2b_113? | FF2b_109? | FF2b_144? | FF2b_28? | FF2b_119? | FF2b_115? | FF2b_199? | FF2b_107? | FF2b_180? | FF2b_129? | FF2b_169? | FF2b_92? | FF2b_94? | FF2b_162? | FF2b_176? | FF2b_186? | FF2b_14? | FF2b_25? | FF2b_155? | FF2b_156? | FF2b_145? | FF2b_53? | FF2b_196? | FF2b_10? | FF2b_183? | FF2b_18? | FF2b_46? | FF2b_197? | FF2b_177? | FF2b_22? | FF2b_30? | FF2b_61? | FF2b_42? | FF2b_179? | FF2b_106? | FF2b_89? | FF2b_69? | FF2b_194? | FF2b_140? | FF2b_55? | FF2b_167? | FF2b_73? | FF2b_105? | FF2b_91? | FF2b_11? | FF2b_101? | FF2b_189? | FF2b_70? | FF2b_39? | FF2b_136? | FF2b_200? | FF2b_116? | FF2b_134? | FF2b_150? | FF2b_168? | FF2b_193? | FF2b_99? | FF2b_151? | FF2b_85? | FF2b_76? | FF2b_64? | FF2b_87? | FF2b_77? | FF2b_75? | FF2b_13? | FF2b_93? | FF2b_15? | FF2b_110? | FF2b_192?) & X (End_70? | End_159? | End_187? | End_175? | End_161? | End_46? | End_43? | End_184? | End_152? | End_33? | End_29? | End_91? | End_116? | End_37? | End_98? | End_171? | End_87? | End_4? | End_94? | End_123? | End_64? | End_180? | End_23? | End_58? | End_181? | End_194? | End_40? | End_166? | End_111? | End_121? | End_80? | End_51? | End_200? | End_39? | End_32? | End_92? | End_153? | End_126? | End_137? | End_48? | End_151? | End_27? | End_139? | End_108? | End_146? | End_125? | End_56? | End_82? | End_21? | End_168? | End_144? | End_196? | End_24? | End_50? | End_127? | End_176? | End_149? | End_192? | End_131? | End_47? | End_150? | End_55? | End_106? | End_128? | End_79? | End_34? | End_90? | End_195? | End_16? | End_86? | End_3? | End_100? | End_67? | End_65? | End_38? | End_30? | End_170? | End_169? | End_114? | End_163? | End_69? | End_97? | End_77? | End_117? | End_42? | End_45? | End_167? | End_105? | End_17? | End_35? | End_9? | End_57? | End_115? | End_26? | End_189? | End_75? | End_147? | End_191? | End_31? | End_142? | End_84? | End_183? | End_112? | End_136? | End_103? | End_197? | End_62? | End_110? | End_15? | End_78? | End_138? | End_99? | End_155? | End_25? | End_182? | End_61? | End_134? | End_132? | End_12? | End_83? | End_41? | End_20? | End_130? | End_81? | End_74? | End_198? | End_109? | End_122? | End_185? | End_36? | End_72? | End_154? | End_129? | End_95? | End_60? | End_59? | End_118? | End_66? | End_165? | End_162? | End_53? | End_104? | End_143? | End_148? | End_135? | End_14? | End_179? | End_89? | End_160? | End_49? | End_88? | End_19? | End_5? | End_7? | End_164? | End_141? | End_178? | End_174? | End_120? | End_68? | End_102? | End_173? | End_158? | End_85? | End_13? | End_63? | End_107? | End_157? | End_96? | End_133? | End_2? | End_93? | End_8? | End_199? | End_188? | End_119? | End_1? | End_172? | End_124? | End_177? | End_22? | End_10? | End_18? | End_156? | End_193? | End_101? | End_6? | End_73? | End_190? | End_145? | End_71? | End_54? | End_28? | End_113? | End_52? | End_44? | End_11? | End_76? | End_140? | End_186?))
ctl p_1886_fireability_and: E F ((FF2b_120? | FF2b_72? | FF2b_97? | FF2b_172? | FF2b_112? | FF2b_29? | FF2b_181? | FF2b_143? | FF2b_126? | FF2b_47? | FF2b_146? | FF2b_188? | FF2b_88? | FF2b_37? | FF2b_31? | FF2b_139? | FF2b_154? | FF2b_161? | FF2b_198? | FF2b_135? | FF2b_175? | FF2b_148? | FF2b_83? | FF2b_23? | FF2b_171? | FF2b_9? | FF2b_20? | FF2b_103? | FF2b_33? | FF2b_141? | FF2b_4? | FF2b_165? | FF2b_128? | FF2b_58? | FF2b_63? | FF2b_124? | FF2b_24? | FF2b_44? | FF2b_158? | FF2b_32? | FF2b_48? | FF2b_57? | FF2b_178? | FF2b_68? | FF2b_74? | FF2b_121? | FF2b_67? | FF2b_133? | FF2b_182? | FF2b_96? | FF2b_100? | FF2b_164? | FF2b_122? | FF2b_123? | FF2b_27? | FF2b_12? | FF2b_34? | FF2b_153? | FF2b_54? | FF2b_184? | FF2b_38? | FF2b_17? | FF2b_40? | FF2b_81? | FF2b_102? | FF2b_152? | FF2b_84? | FF2b_108? | FF2b_159? | FF2b_82? | FF2b_6? | FF2b_65? | FF2b_173? | FF2b_19? | FF2b_71? | FF2b_52? | FF2b_163? | FF2b_138? | FF2b_1? | FF2b_125? | FF2b_174? | FF2b_3? | FF2b_43? | FF2b_137? | FF2b_185? | FF2b_2? | FF2b_170? | FF2b_190? | FF2b_187? | FF2b_80? | FF2b_111? | FF2b_21? | FF2b_118? | FF2b_166? | FF2b_131? | FF2b_26? | FF2b_98? | FF2b_5? | FF2b_195? | FF2b_62? | FF2b_117? | FF2b_41? | FF2b_35? | FF2b_49? | FF2b_36? | FF2b_78? | FF2b_51? | FF2b_56? | FF2b_191? | FF2b_79? | FF2b_114? | FF2b_160? | FF2b_16? | FF2b_132? | FF2b_127? | FF2b_157? | FF2b_147? | FF2b_45? | FF2b_59? | FF2b_149? | FF2b_142? | FF2b_7? | FF2b_104? | FF2b_86? | FF2b_130? | FF2b_95? | FF2b_90? | FF2b_50? | FF2b_60? | FF2b_66? | FF2b_8? | FF2b_113? | FF2b_109? | FF2b_144? | FF2b_28? | FF2b_119? | FF2b_115? | FF2b_199? | FF2b_107? | FF2b_180? | FF2b_129? | FF2b_169? | FF2b_92? | FF2b_94? | FF2b_162? | FF2b_176? | FF2b_186? | FF2b_14? | FF2b_25? | FF2b_155? | FF2b_156? | FF2b_145? | FF2b_53? | FF2b_196? | FF2b_10? | FF2b_183? | FF2b_18? | FF2b_46? | FF2b_197? | FF2b_177? | FF2b_22? | FF2b_30? | FF2b_61? | FF2b_42? | FF2b_179? | FF2b_106? | FF2b_89? | FF2b_69? | FF2b_194? | FF2b_140? | FF2b_55? | FF2b_167? | FF2b_73? | FF2b_105? | FF2b_91? | FF2b_11? | FF2b_101? | FF2b_189? | FF2b_70? | FF2b_39? | FF2b_136? | FF2b_200? | FF2b_116? | FF2b_134? | FF2b_150? | FF2b_168? | FF2b_193? | FF2b_99? | FF2b_151? | FF2b_85? | FF2b_76? | FF2b_64? | FF2b_87? | FF2b_77? | FF2b_75? | FF2b_13? | FF2b_93? | FF2b_15? | FF2b_110? | FF2b_192?) & (FF2a_29? | FF2a_190? | FF2a_149? | FF2a_2? | FF2a_116? | FF2a_114? | FF2a_66? | FF2a_12? | FF2a_167? | FF2a_194? | FF2a_49? | FF2a_117? | FF2a_136? | FF2a_95? | FF2a_80? | FF2a_165? | FF2a_26? | FF2a_34? | FF2a_127? | FF2a_30? | FF2a_67? | FF2a_184? | FF2a_94? | FF2a_16? | FF2a_191? | FF2a_130? | FF2a_87? | FF2a_13? | FF2a_17? | FF2a_4? | FF2a_137? | FF2a_192? | FF2a_7? | FF2a_14? | FF2a_92? | FF2a_142? | FF2a_60? | FF2a_56? | FF2a_111? | FF2a_91? | FF2a_38? | FF2a_55? | FF2a_146? | FF2a_199? | FF2a_169? | FF2a_42? | FF2a_183? | FF2a_159? | FF2a_73? | FF2a_131? | FF2a_50? | FF2a_170? | FF2a_21? | FF2a_152? | FF2a_198? | FF2a_84? | FF2a_9? | FF2a_10? | FF2a_135? | FF2a_113? | FF2a_68? | FF2a_128? | FF2a_27? | FF2a_88? | FF2a_182? | FF2a_97? | FF2a_78? | FF2a_143? | FF2a_120? | FF2a_144? | FF2a_71? | FF2a_54? | FF2a_119? | FF2a_28? | FF2a_15? | FF2a_162? | FF2a_76? | FF2a_154? | FF2a_61? | FF2a_138? | FF2a_20? | FF2a_103? | FF2a_8? | FF2a_176? | FF2a_3? | FF2a_175? | FF2a_178? | FF2a_31? | FF2a_195? | FF2a_82? | FF2a_189? | FF2a_51? | FF2a_33? | FF2a_145? | FF2a_118? | FF2a_140? | FF2a_47? | FF2a_22? | FF2a_153? | FF2a_133? | FF2a_110? | FF2a_129? | FF2a_100? | FF2a_48? | FF2a_163? | FF2a_46? | FF2a_24? | FF2a_107? | FF2a_89? | FF2a_23? | FF2a_77? | FF2a_35? | FF2a_37? | FF2a_157? | FF2a_93? | FF2a_53? | FF2a_90? | FF2a_98? | FF2a_156? | FF2a_141? | FF2a_158? | FF2a_19? | FF2a_58? | FF2a_39? | FF2a_62? | FF2a_44? | FF2a_59? | FF2a_32? | FF2a_112? | FF2a_6? | FF2a_177? | FF2a_121? | FF2a_104? | FF2a_196? | FF2a_57? | FF2a_81? | FF2a_108? | FF2a_139? | FF2a_161? | FF2a_105? | FF2a_186? | FF2a_106? | FF2a_187? | FF2a_150? | FF2a_148? | FF2a_122? | FF2a_166? | FF2a_64? | FF2a_45? | FF2a_160? | FF2a_5? | FF2a_18? | FF2a_40? | FF2a_151? | FF2a_11? | FF2a_193? | FF2a_174? | FF2a_101? | FF2a_115? | FF2a_83? | FF2a_41? | FF2a_75? | FF2a_72? | FF2a_197? | FF2a_74? | FF2a_109? | FF2a_126? | FF2a_173? | FF2a_79? | FF2a_36? | FF2a_179? | FF2a_172? | FF2a_185? | FF2a_65? | FF2a_181? | FF2a_124? | FF2a_43? | FF2a_70? | FF2a_168? | FF2a_164? | FF2a_134? | FF2a_85? | FF2a_102? | FF2a_96? | FF2a_52? | FF2a_180? | FF2a_99? | FF2a_171? | FF2a_86? | FF2a_188? | FF2a_147? | FF2a_69? | FF2a_1? | FF2a_25? | FF2a_125? | FF2a_155? | FF2a_132? | FF2a_123? | FF2a_200? | FF2a_63?))
ctl p_1887_fireability_or: A F ((FF2b_120? | FF2b_72? | FF2b_97? | FF2b_172? | FF2b_112? | FF2b_29? | FF2b_181? | FF2b_143? | FF2b_126? | FF2b_47? | FF2b_146? | FF2b_188? | FF2b_88? | FF2b_37? | FF2b_31? | FF2b_139? | FF2b_154? | FF2b_161? | FF2b_198? | FF2b_135? | FF2b_175? | FF2b_148? | FF2b_83? | FF2b_23? | FF2b_171? | FF2b_9? | FF2b_20? | FF2b_103? | FF2b_33? | FF2b_141? | FF2b_4? | FF2b_165? | FF2b_128? | FF2b_58? | FF2b_63? | FF2b_124? | FF2b_24? | FF2b_44? | FF2b_158? | FF2b_32? | FF2b_48? | FF2b_57? | FF2b_178? | FF2b_68? | FF2b_74? | FF2b_121? | FF2b_67? | FF2b_133? | FF2b_182? | FF2b_96? | FF2b_100? | FF2b_164? | FF2b_122? | FF2b_123? | FF2b_27? | FF2b_12? | FF2b_34? | FF2b_153? | FF2b_54? | FF2b_184? | FF2b_38? | FF2b_17? | FF2b_40? | FF2b_81? | FF2b_102? | FF2b_152? | FF2b_84? | FF2b_108? | FF2b_159? | FF2b_82? | FF2b_6? | FF2b_65? | FF2b_173? | FF2b_19? | FF2b_71? | FF2b_52? | FF2b_163? | FF2b_138? | FF2b_1? | FF2b_125? | FF2b_174? | FF2b_3? | FF2b_43? | FF2b_137? | FF2b_185? | FF2b_2? | FF2b_170? | FF2b_190? | FF2b_187? | FF2b_80? | FF2b_111? | FF2b_21? | FF2b_118? | FF2b_166? | FF2b_131? | FF2b_26? | FF2b_98? | FF2b_5? | FF2b_195? | FF2b_62? | FF2b_117? | FF2b_41? | FF2b_35? | FF2b_49? | FF2b_36? | FF2b_78? | FF2b_51? | FF2b_56? | FF2b_191? | FF2b_79? | FF2b_114? | FF2b_160? | FF2b_16? | FF2b_132? | FF2b_127? | FF2b_157? | FF2b_147? | FF2b_45? | FF2b_59? | FF2b_149? | FF2b_142? | FF2b_7? | FF2b_104? | FF2b_86? | FF2b_130? | FF2b_95? | FF2b_90? | FF2b_50? | FF2b_60? | FF2b_66? | FF2b_8? | FF2b_113? | FF2b_109? | FF2b_144? | FF2b_28? | FF2b_119? | FF2b_115? | FF2b_199? | FF2b_107? | FF2b_180? | FF2b_129? | FF2b_169? | FF2b_92? | FF2b_94? | FF2b_162? | FF2b_176? | FF2b_186? | FF2b_14? | FF2b_25? | FF2b_155? | FF2b_156? | FF2b_145? | FF2b_53? | FF2b_196? | FF2b_10? | FF2b_183? | FF2b_18? | FF2b_46? | FF2b_197? | FF2b_177? | FF2b_22? | FF2b_30? | FF2b_61? | FF2b_42? | FF2b_179? | FF2b_106? | FF2b_89? | FF2b_69? | FF2b_194? | FF2b_140? | FF2b_55? | FF2b_167? | FF2b_73? | FF2b_105? | FF2b_91? | FF2b_11? | FF2b_101? | FF2b_189? | FF2b_70? | FF2b_39? | FF2b_136? | FF2b_200? | FF2b_116? | FF2b_134? | FF2b_150? | FF2b_168? | FF2b_193? | FF2b_99? | FF2b_151? | FF2b_85? | FF2b_76? | FF2b_64? | FF2b_87? | FF2b_77? | FF2b_75? | FF2b_13? | FF2b_93? | FF2b_15? | FF2b_110? | FF2b_192?) | (FF2a_29? | FF2a_190? | FF2a_149? | FF2a_2? | FF2a_116? | FF2a_114? | FF2a_66? | FF2a_12? | FF2a_167? | FF2a_194? | FF2a_49? | FF2a_117? | FF2a_136? | FF2a_95? | FF2a_80? | FF2a_165? | FF2a_26? | FF2a_34? | FF2a_127? | FF2a_30? | FF2a_67? | FF2a_184? | FF2a_94? | FF2a_16? | FF2a_191? | FF2a_130? | FF2a_87? | FF2a_13? | FF2a_17? | FF2a_4? | FF2a_137? | FF2a_192? | FF2a_7? | FF2a_14? | FF2a_92? | FF2a_142? | FF2a_60? | FF2a_56? | FF2a_111? | FF2a_91? | FF2a_38? | FF2a_55? | FF2a_146? | FF2a_199? | FF2a_169? | FF2a_42? | FF2a_183? | FF2a_159? | FF2a_73? | FF2a_131? | FF2a_50? | FF2a_170? | FF2a_21? | FF2a_152? | FF2a_198? | FF2a_84? | FF2a_9? | FF2a_10? | FF2a_135? | FF2a_113? | FF2a_68? | FF2a_128? | FF2a_27? | FF2a_88? | FF2a_182? | FF2a_97? | FF2a_78? | FF2a_143? | FF2a_120? | FF2a_144? | FF2a_71? | FF2a_54? | FF2a_119? | FF2a_28? | FF2a_15? | FF2a_162? | FF2a_76? | FF2a_154? | FF2a_61? | FF2a_138? | FF2a_20? | FF2a_103? | FF2a_8? | FF2a_176? | FF2a_3? | FF2a_175? | FF2a_178? | FF2a_31? | FF2a_195? | FF2a_82? | FF2a_189? | FF2a_51? | FF2a_33? | FF2a_145? | FF2a_118? | FF2a_140? | FF2a_47? | FF2a_22? | FF2a_153? | FF2a_133? | FF2a_110? | FF2a_129? | FF2a_100? | FF2a_48? | FF2a_163? | FF2a_46? | FF2a_24? | FF2a_107? | FF2a_89? | FF2a_23? | FF2a_77? | FF2a_35? | FF2a_37? | FF2a_157? | FF2a_93? | FF2a_53? | FF2a_90? | FF2a_98? | FF2a_156? | FF2a_141? | FF2a_158? | FF2a_19? | FF2a_58? | FF2a_39? | FF2a_62? | FF2a_44? | FF2a_59? | FF2a_32? | FF2a_112? | FF2a_6? | FF2a_177? | FF2a_121? | FF2a_104? | FF2a_196? | FF2a_57? | FF2a_81? | FF2a_108? | FF2a_139? | FF2a_161? | FF2a_105? | FF2a_186? | FF2a_106? | FF2a_187? | FF2a_150? | FF2a_148? | FF2a_122? | FF2a_166? | FF2a_64? | FF2a_45? | FF2a_160? | FF2a_5? | FF2a_18? | FF2a_40? | FF2a_151? | FF2a_11? | FF2a_193? | FF2a_174? | FF2a_101? | FF2a_115? | FF2a_83? | FF2a_41? | FF2a_75? | FF2a_72? | FF2a_197? | FF2a_74? | FF2a_109? | FF2a_126? | FF2a_173? | FF2a_79? | FF2a_36? | FF2a_179? | FF2a_172? | FF2a_185? | FF2a_65? | FF2a_181? | FF2a_124? | FF2a_43? | FF2a_70? | FF2a_168? | FF2a_164? | FF2a_134? | FF2a_85? | FF2a_102? | FF2a_96? | FF2a_52? | FF2a_180? | FF2a_99? | FF2a_171? | FF2a_86? | FF2a_188? | FF2a_147? | FF2a_69? | FF2a_1? | FF2a_25? | FF2a_125? | FF2a_155? | FF2a_132? | FF2a_123? | FF2a_200? | FF2a_63?))
ctl p_1888_fireability_and_notx: A G ((FF2b_120? | FF2b_72? | FF2b_97? | FF2b_172? | FF2b_112? | FF2b_29? | FF2b_181? | FF2b_143? | FF2b_126? | FF2b_47? | FF2b_146? | FF2b_188? | FF2b_88? | FF2b_37? | FF2b_31? | FF2b_139? | FF2b_154? | FF2b_161? | FF2b_198? | FF2b_135? | FF2b_175? | FF2b_148? | FF2b_83? | FF2b_23? | FF2b_171? | FF2b_9? | FF2b_20? | FF2b_103? | FF2b_33? | FF2b_141? | FF2b_4? | FF2b_165? | FF2b_128? | FF2b_58? | FF2b_63? | FF2b_124? | FF2b_24? | FF2b_44? | FF2b_158? | FF2b_32? | FF2b_48? | FF2b_57? | FF2b_178? | FF2b_68? | FF2b_74? | FF2b_121? | FF2b_67? | FF2b_133? | FF2b_182? | FF2b_96? | FF2b_100? | FF2b_164? | FF2b_122? | FF2b_123? | FF2b_27? | FF2b_12? | FF2b_34? | FF2b_153? | FF2b_54? | FF2b_184? | FF2b_38? | FF2b_17? | FF2b_40? | FF2b_81? | FF2b_102? | FF2b_152? | FF2b_84? | FF2b_108? | FF2b_159? | FF2b_82? | FF2b_6? | FF2b_65? | FF2b_173? | FF2b_19? | FF2b_71? | FF2b_52? | FF2b_163? | FF2b_138? | FF2b_1? | FF2b_125? | FF2b_174? | FF2b_3? | FF2b_43? | FF2b_137? | FF2b_185? | FF2b_2? | FF2b_170? | FF2b_190? | FF2b_187? | FF2b_80? | FF2b_111? | FF2b_21? | FF2b_118? | FF2b_166? | FF2b_131? | FF2b_26? | FF2b_98? | FF2b_5? | FF2b_195? | FF2b_62? | FF2b_117? | FF2b_41? | FF2b_35? | FF2b_49? | FF2b_36? | FF2b_78? | FF2b_51? | FF2b_56? | FF2b_191? | FF2b_79? | FF2b_114? | FF2b_160? | FF2b_16? | FF2b_132? | FF2b_127? | FF2b_157? | FF2b_147? | FF2b_45? | FF2b_59? | FF2b_149? | FF2b_142? | FF2b_7? | FF2b_104? | FF2b_86? | FF2b_130? | FF2b_95? | FF2b_90? | FF2b_50? | FF2b_60? | FF2b_66? | FF2b_8? | FF2b_113? | FF2b_109? | FF2b_144? | FF2b_28? | FF2b_119? | FF2b_115? | FF2b_199? | FF2b_107? | FF2b_180? | FF2b_129? | FF2b_169? | FF2b_92? | FF2b_94? | FF2b_162? | FF2b_176? | FF2b_186? | FF2b_14? | FF2b_25? | FF2b_155? | FF2b_156? | FF2b_145? | FF2b_53? | FF2b_196? | FF2b_10? | FF2b_183? | FF2b_18? | FF2b_46? | FF2b_197? | FF2b_177? | FF2b_22? | FF2b_30? | FF2b_61? | FF2b_42? | FF2b_179? | FF2b_106? | FF2b_89? | FF2b_69? | FF2b_194? | FF2b_140? | FF2b_55? | FF2b_167? | FF2b_73? | FF2b_105? | FF2b_91? | FF2b_11? | FF2b_101? | FF2b_189? | FF2b_70? | FF2b_39? | FF2b_136? | FF2b_200? | FF2b_116? | FF2b_134? | FF2b_150? | FF2b_168? | FF2b_193? | FF2b_99? | FF2b_151? | FF2b_85? | FF2b_76? | FF2b_64? | FF2b_87? | FF2b_77? | FF2b_75? | FF2b_13? | FF2b_93? | FF2b_15? | FF2b_110? | FF2b_192?) & (FF2a_29? | FF2a_190? | FF2a_149? | FF2a_2? | FF2a_116? | FF2a_114? | FF2a_66? | FF2a_12? | FF2a_167? | FF2a_194? | FF2a_49? | FF2a_117? | FF2a_136? | FF2a_95? | FF2a_80? | FF2a_165? | FF2a_26? | FF2a_34? | FF2a_127? | FF2a_30? | FF2a_67? | FF2a_184? | FF2a_94? | FF2a_16? | FF2a_191? | FF2a_130? | FF2a_87? | FF2a_13? | FF2a_17? | FF2a_4? | FF2a_137? | FF2a_192? | FF2a_7? | FF2a_14? | FF2a_92? | FF2a_142? | FF2a_60? | FF2a_56? | FF2a_111? | FF2a_91? | FF2a_38? | FF2a_55? | FF2a_146? | FF2a_199? | FF2a_169? | FF2a_42? | FF2a_183? | FF2a_159? | FF2a_73? | FF2a_131? | FF2a_50? | FF2a_170? | FF2a_21? | FF2a_152? | FF2a_198? | FF2a_84? | FF2a_9? | FF2a_10? | FF2a_135? | FF2a_113? | FF2a_68? | FF2a_128? | FF2a_27? | FF2a_88? | FF2a_182? | FF2a_97? | FF2a_78? | FF2a_143? | FF2a_120? | FF2a_144? | FF2a_71? | FF2a_54? | FF2a_119? | FF2a_28? | FF2a_15? | FF2a_162? | FF2a_76? | FF2a_154? | FF2a_61? | FF2a_138? | FF2a_20? | FF2a_103? | FF2a_8? | FF2a_176? | FF2a_3? | FF2a_175? | FF2a_178? | FF2a_31? | FF2a_195? | FF2a_82? | FF2a_189? | FF2a_51? | FF2a_33? | FF2a_145? | FF2a_118? | FF2a_140? | FF2a_47? | FF2a_22? | FF2a_153? | FF2a_133? | FF2a_110? | FF2a_129? | FF2a_100? | FF2a_48? | FF2a_163? | FF2a_46? | FF2a_24? | FF2a_107? | FF2a_89? | FF2a_23? | FF2a_77? | FF2a_35? | FF2a_37? | FF2a_157? | FF2a_93? | FF2a_53? | FF2a_90? | FF2a_98? | FF2a_156? | FF2a_141? | FF2a_158? | FF2a_19? | FF2a_58? | FF2a_39? | FF2a_62? | FF2a_44? | FF2a_59? | FF2a_32? | FF2a_112? | FF2a_6? | FF2a_177? | FF2a_121? | FF2a_104? | FF2a_196? | FF2a_57? | FF2a_81? | FF2a_108? | FF2a_139? | FF2a_161? | FF2a_105? | FF2a_186? | FF2a_106? | FF2a_187? | FF2a_150? | FF2a_148? | FF2a_122? | FF2a_166? | FF2a_64? | FF2a_45? | FF2a_160? | FF2a_5? | FF2a_18? | FF2a_40? | FF2a_151? | FF2a_11? | FF2a_193? | FF2a_174? | FF2a_101? | FF2a_115? | FF2a_83? | FF2a_41? | FF2a_75? | FF2a_72? | FF2a_197? | FF2a_74? | FF2a_109? | FF2a_126? | FF2a_173? | FF2a_79? | FF2a_36? | FF2a_179? | FF2a_172? | FF2a_185? | FF2a_65? | FF2a_181? | FF2a_124? | FF2a_43? | FF2a_70? | FF2a_168? | FF2a_164? | FF2a_134? | FF2a_85? | FF2a_102? | FF2a_96? | FF2a_52? | FF2a_180? | FF2a_99? | FF2a_171? | FF2a_86? | FF2a_188? | FF2a_147? | FF2a_69? | FF2a_1? | FF2a_25? | FF2a_125? | FF2a_155? | FF2a_132? | FF2a_123? | FF2a_200? | FF2a_63?))
--------------------
content from /tmp/BenchKit_head_log_file.1662: