fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r225-ebro-152732379600135
Last Updated
June 26, 2018

About the Execution of ITS-Tools.L for CSRepetitions-PT-10

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15753.840 1221491.00 2291374.00 448.90 TF?T?FFF???????? normal

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
......................
/home/mcc/execution
total 6.4M
-rw-r--r-- 1 mcc users 147K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 353K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 343K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 1.1M May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 71K May 26 09:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 174K May 26 09:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 154K May 26 09:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 427K May 26 09:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 146K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 339K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 110 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 348 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 302K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 901K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 32K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 60K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 3 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 2.0M May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool itstoolsl
Input is CSRepetitions-PT-10, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r225-ebro-152732379600135
=====================================================================


--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME CSRepetitions-PT-10-LTLCardinality-00
FORMULA_NAME CSRepetitions-PT-10-LTLCardinality-01
FORMULA_NAME CSRepetitions-PT-10-LTLCardinality-02
FORMULA_NAME CSRepetitions-PT-10-LTLCardinality-03
FORMULA_NAME CSRepetitions-PT-10-LTLCardinality-04
FORMULA_NAME CSRepetitions-PT-10-LTLCardinality-05
FORMULA_NAME CSRepetitions-PT-10-LTLCardinality-06
FORMULA_NAME CSRepetitions-PT-10-LTLCardinality-07
FORMULA_NAME CSRepetitions-PT-10-LTLCardinality-08
FORMULA_NAME CSRepetitions-PT-10-LTLCardinality-09
FORMULA_NAME CSRepetitions-PT-10-LTLCardinality-10
FORMULA_NAME CSRepetitions-PT-10-LTLCardinality-11
FORMULA_NAME CSRepetitions-PT-10-LTLCardinality-12
FORMULA_NAME CSRepetitions-PT-10-LTLCardinality-13
FORMULA_NAME CSRepetitions-PT-10-LTLCardinality-14
FORMULA_NAME CSRepetitions-PT-10-LTLCardinality-15

=== Now, execution of the tool begins

BK_START 1527625324846

Using solver Z3 to compute partial order matrices.
Built C files in :
/home/mcc/execution
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201805241334/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /home/mcc/execution/LTLCardinality.pnml.gal, -t, CGAL, -LTL, /home/mcc/execution/LTLCardinality.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]

its-ltl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201805241334/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLCardinality.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLCardinality.ltl -c -stutter-deadlock
Read 16 LTL properties
Checking formula 0 : !((F((X("((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((Client_Waiting_76+Client_Waiting_74)+Client_Waiting_67)+Client_Waiting_81)+Client_Waiting_36)+Client_Waiting_25)+Client_Waiting_47)+Client_Waiting_11)+Client_Waiting_64)+Client_Waiting_42)+Client_Waiting_50)+Client_Waiting_8)+Client_Waiting_87)+Client_Waiting_39)+Client_Waiting_53)+Client_Waiting_22)+Client_Waiting_68)+Client_Waiting_26)+Client_Waiting_3)+Client_Waiting_75)+Client_Waiting_31)+Client_Waiting_44)+Client_Waiting_49)+Client_Waiting_54)+Client_Waiting_21)+Client_Waiting_90)+Client_Waiting_59)+Client_Waiting_16)+Client_Waiting_41)+Client_Waiting_6)+Client_Waiting_78)+Client_Waiting_88)+Client_Waiting_23)+Client_Waiting_69)+Client_Waiting_96)+Client_Waiting_98)+Client_Waiting_34)+Client_Waiting_62)+Client_Waiting_13)+Client_Waiting_52)+Client_Waiting_77)+Client_Waiting_85)+Client_Waiting_70)+Client_Waiting_24)+Client_Waiting_1)+Client_Waiting_60)+Client_Waiting_46)+Client_Waiting_65)+Client_Waiting_37)+Client_Waiting_51)+Client_Waiting_95)+Client_Waiting_32)+Client_Waiting_18)+Client_Waiting_2)+Client_Waiting_91)+Client_Waiting_86)+Client_Waiting_71)+Client_Waiting_43)+Client_Waiting_80)+Client_Waiting_4)+Client_Waiting_94)+Client_Waiting_15)+Client_Waiting_57)+Client_Waiting_99)+Client_Waiting_97)+Client_Waiting_72)+Client_Waiting_12)+Client_Waiting_79)+Client_Waiting_29)+Client_Waiting_35)+Client_Waiting_83)+Client_Waiting_17)+Client_Waiting_40)+Client_Waiting_100)+Client_Waiting_7)+Client_Waiting_58)+Client_Waiting_30)+Client_Waiting_93)+Client_Waiting_45)+Client_Waiting_9)+Client_Waiting_63)+Client_Waiting_20)+Client_Waiting_89)+Client_Waiting_10)+Client_Waiting_48)+Client_Waiting_84)+Client_Waiting_73)+Client_Waiting_27)+Client_Waiting_82)+Client_Waiting_66)+Client_Waiting_38)+Client_Waiting_33)+Client_Waiting_19)+Client_Waiting_61)+Client_Waiting_14)+Client_Waiting_92)+Client_Waiting_5)+Client_Waiting_55)+Client_Waiting_56)+Client_Waiting_28)<=RequestBufferSlots)"))U(F("((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((Server_Anwering_64_1+Server_Anwering_43_6)+Server_Anwering_91_2)+Server_Anwering_39_9)+Server_Anwering_15_10)+Server_Anwering_8_6)+Server_Anwering_34_6)+Server_Anwering_53_7)+Server_Anwering_46_7)+Server_Anwering_87_1)+Server_Anwering_11_9)+Server_Anwering_25_7)+Server_Anwering_50_6)+Server_Anwering_27_7)+Server_Anwering_38_3)+Server_Anwering_22_2)+Server_Anwering_25_9)+Server_Anwering_1_6)+Server_Anwering_64_4)+Server_Anwering_94_1)+Server_Anwering_64_8)+Server_Anwering_91_3)+Server_Anwering_44_9)+Server_Anwering_70_5)+Server_Anwering_72_2)+Server_Anwering_66_1)+Server_Anwering_37_4)+Server_Anwering_82_2)+Server_Anwering_81_8)+Server_Anwering_73_1)+Server_Anwering_1_2)+Server_Anwering_25_8)+Server_Anwering_48_6)+Server_Anwering_7_10)+Server_Anwering_83_4)+Server_Anwering_1_3)+Server_Anwering_10_3)+Server_Anwering_64_3)+Server_Anwering_98_5)+Server_Anwering_15_2)+Server_Anwering_55_3)+Server_Anwering_62_7)+Server_Anwering_34_7)+Server_Anwering_45_5)+Server_Anwering_37_10)+Server_Anwering_19_4)+Server_Anwering_55_4)+Server_Anwering_100_9)+Server_Anwering_27_1)+Server_Anwering_40_10)+Server_Anwering_91_5)+Server_Anwering_50_10)+Server_Anwering_53_9)+Server_Anwering_85_10)+Server_Anwering_8_4)+Server_Anwering_53_8)+Server_Anwering_19_1)+Server_Anwering_26_10)+Server_Anwering_58_9)+Server_Anwering_2_1)+Server_Anwering_74_4)+Server_Anwering_29_8)+Server_Anwering_80_1)+Server_Anwering_64_10)+Server_Anwering_51_10)+Server_Anwering_62_6)+Server_Anwering_97_7)+Server_Anwering_91_4)+Server_Anwering_52_5)+Server_Anwering_67_8)+Server_Anwering_90_7)+Server_Anwering_18_8)+Server_Anwering_89_6)+Server_Anwering_63_10)+Server_Anwering_99_9)+Server_Anwering_19_6)+Server_Anwering_72_7)+Server_Anwering_18_1)+Server_Anwering_48_2)+Server_Anwering_100_2)+Server_Anwering_87_9)+Server_Anwering_97_8)+Server_Anwering_57_8)+Server_Anwering_45_2)+Server_Anwering_62_5)+Server_Anwering_46_3)+Server_Anwering_25_5)+Server_Anwering_15_9)+Server_Anwering_59_1)+Server_Anwering_43_2)+Server_Anwering_82_10)+Server_Anwering_73_3)+Server_Anwering_61_6)+Server_Anwering_72_9)+Server_Anwering_72_5)+Server_Anwering_99_3)+Server_Anwering_26_6)+Server_Anwering_45_1)+Server_Anwering_53_5)+Server_Anwering_96_6)+Server_Anwering_29_2)+Server_Anwering_36_8)+Server_Anwering_1_4)+Server_Anwering_16_7)+Server_Anwering_71_6)+Server_Anwering_28_3)+Server_Anwering_96_9)+Server_Anwering_100_5)+Server_Anwering_79_7)+Server_Anwering_75_8)+Server_Anwering_45_7)+Server_Anwering_2_9)+Server_Anwering_99_6)+Server_Anwering_54_2)+Server_Anwering_69_7)+Server_Anwering_82_8)+Server_Anwering_8_5)+Server_Anwering_88_8)+Server_Anwering_54_8)+Server_Anwering_20_10)+Server_Anwering_5_1)+Server_Anwering_11_1)+Server_Anwering_54_10)+Server_Anwering_12_1)+Server_Anwering_91_10)+Server_Anwering_68_9)+Server_Anwering_52_1)+Server_Anwering_7_8)+Server_Anwering_78_6)+Server_Anwering_36_1)+Server_Anwering_73_2)+Server_Anwering_34_5)+Server_Anwering_68_6)+Server_Anwering_80_3)+Server_Anwering_19_3)+Server_Anwering_36_2)+Server_Anwering_44_5)+Server_Anwering_9_6)+Server_Anwering_16_5)+Server_Anwering_42_4)+Server_Anwering_9_4)+Server_Anwering_32_10)+Server_Anwering_69_2)+Server_Anwering_81_10)+Server_Anwering_18_6)+Server_Anwering_28_8)+Server_Anwering_98_7)+Server_Anwering_65_8)+Server_Anwering_100_7)+Server_Anwering_81_3)+Server_Anwering_54_7)+Server_Anwering_67_1)+Server_Anwering_37_8)+Server_Anwering_61_9)+Server_Anwering_72_10)+Server_Anwering_33_9)+Server_Anwering_56_8)+Server_Anwering_11_3)+Server_Anwering_21_2)+Server_Anwering_53_1)+Server_Anwering_56_4)+Server_Anwering_95_1)+Server_Anwering_71_7)+Server_Anwering_90_4)+Server_Anwering_35_7)+Server_Anwering_90_3)+Server_Anwering_62_2)+Server_Anwering_49_4)+Server_Anwering_35_5)+Server_Anwering_40_6)+Server_Anwering_7_2)+Server_Anwering_12_10)+Server_Anwering_9_2)+Server_Anwering_4_3)+Server_Anwering_90_5)+Server_Anwering_97_4)+Server_Anwering_47_8)+Server_Anwering_33_6)+Server_Anwering_26_8)+Server_Anwering_23_10)+Server_Anwering_65_3)+Server_Anwering_35_4)+Server_Anwering_97_2)+Server_Anwering_40_9)+Server_Anwering_42_6)+Server_Anwering_44_10)+Server_Anwering_18_3)+Server_Anwering_81_1)+Server_Anwering_32_3)+Server_Anwering_6_7)+Server_Anwering_27_4)+Server_Anwering_27_10)+Server_Anwering_89_7)+Server_Anwering_55_2)+Server_Anwering_82_9)+Server_Anwering_25_3)+Server_Anwering_39_3)+Server_Anwering_94_8)+Server_Anwering_18_4)+Server_Anwering_63_4)+Server_Anwering_46_8)+Server_Anwering_81_5)+Server_Anwering_76_2)+Server_Anwering_70_6)+Server_Anwering_43_9)+Server_Anwering_92_5)+Server_Anwering_99_7)+Server_Anwering_53_10)+Server_Anwering_79_3)+Server_Anwering_34_4)+Server_Anwering_61_7)+Server_Anwering_36_7)+Server_Anwering_22_9)+Server_Anwering_70_2)+Server_Anwering_13_6)+Server_Anwering_90_2)+Server_Anwering_79_9)+Server_Anwering_88_6)+Server_Anwering_15_7)+Server_Anwering_20_6)+Server_Anwering_90_9)+Server_Anwering_77_4)+Server_Anwering_70_4)+Server_Anwering_22_10)+Server_Anwering_35_2)+Server_Anwering_51_6)+Server_Anwering_9_5)+Server_Anwering_51_7)+Server_Anwering_24_1)+Server_Anwering_2_5)+Server_Anwering_72_3)+Server_Anwering_93_3)+Server_Anwering_31_1)+Server_Anwering_22_7)+Server_Anwering_86_3)+Server_Anwering_90_10)+Server_Anwering_80_7)+Server_Anwering_8_8)+Server_Anwering_13_1)+Server_Anwering_38_1)+Server_Anwering_83_8)+Server_Anwering_97_9)+Server_Anwering_79_6)+Server_Anwering_27_6)+Server_Anwering_78_9)+Server_Anwering_17_10)+Server_Anwering_87_8)+Server_Anwering_100_10)+Server_Anwering_17_1)+Server_Anwering_44_7)+Server_Anwering_17_8)+Server_Anwering_55_8)+Server_Anwering_100_3)+Server_Anwering_99_5)+Server_Anwering_97_6)+Server_Anwering_83_2)+Server_Anwering_45_3)+Server_Anwering_62_10)+Server_Anwering_52_3)+Server_Anwering_50_9)+Server_Anwering_8_10)+Server_Anwering_6_6)+Server_Anwering_42_10)+Server_Anwering_60_9)+Server_Anwering_57_5)+Server_Anwering_48_8)+Server_Anwering_43_5)+Server_Anwering_51_9)+Server_Anwering_84_2)+Server_Anwering_71_5)+Server_Anwering_34_8)+Server_Anwering_69_6)+Server_Anwering_98_9)+Server_Anwering_29_7)+Server_Anwering_34_2)+Server_Anwering_43_7)+Server_Anwering_86_8)+Server_Anwering_14_4)+Server_Anwering_41_6)+Server_Anwering_56_7)+Server_Anwering_60_6)+Server_Anwering_36_5)+Server_Anwering_23_9)+Server_Anwering_7_4)+Server_Anwering_8_2)+Server_Anwering_43_4)+Server_Anwering_61_1)+Server_Anwering_57_4)+Server_Anwering_32_9)+Server_Anwering_66_3)+Server_Anwering_31_3)+Server_Anwering_77_7)+Server_Anwering_21_4)+Server_Anwering_74_8)+Server_Anwering_14_9)+Server_Anwering_29_5)+Server_Anwering_17_3)+Server_Anwering_22_5)+Server_Anwering_70_7)+Server_Anwering_59_3)+Server_Anwering_41_8)+Server_Anwering_63_7)+Server_Anwering_3_3)+Server_Anwering_45_10)+Server_Anwering_5_10)+Server_Anwering_98_4)+Server_Anwering_64_5)+Server_Anwering_80_6)+Server_Anwering_62_4)+Server_Anwering_5_9)+Server_Anwering_28_4)+Server_Anwering_27_8)+Server_Anwering_4_9)+Server_Anwering_4_1)+Server_Anwering_32_6)+Server_Anwering_73_10)+Server_Anwering_71_9)+Server_Anwering_68_1)+Server_Anwering_85_5)+Server_Anwering_50_5)+Server_Anwering_56_2)+Server_Anwering_76_4)+Server_Anwering_66_6)+Server_Anwering_84_4)+Server_Anwering_6_2)+Server_Anwering_7_7)+Server_Anwering_78_5)+Server_Anwering_57_2)+Server_Anwering_78_3)+Server_Anwering_10_5)+Server_Anwering_38_10)+Server_Anwering_25_10)+Server_Anwering_21_6)+Server_Anwering_31_6)+Server_Anwering_52_10)+Server_Anwering_79_1)+Server_Anwering_75_2)+Server_Anwering_48_4)+Server_Anwering_1_5)+Server_Anwering_16_1)+Server_Anwering_30_1)+Server_Anwering_23_7)+Server_Anwering_13_2)+Server_Anwering_91_7)+Server_Anwering_89_2)+Server_Anwering_73_6)+Server_Anwering_47_2)+Server_Anwering_59_6)+Server_Anwering_50_2)+Server_Anwering_52_7)+Server_Anwering_95_8)+Server_Anwering_79_5)+Server_Anwering_61_2)+Server_Anwering_92_3)+Server_Anwering_84_7)+Server_Anwering_15_5)+Server_Anwering_38_6)+Server_Anwering_89_9)+Server_Anwering_58_3)+Server_Anwering_12_3)+Server_Anwering_35_10)+Server_Anwering_58_1)+Server_Anwering_16_2)+Server_Anwering_80_10)+Server_Anwering_14_7)+Server_Anwering_89_1)+Server_Anwering_33_10)+Server_Anwering_45_6)+Server_Anwering_7_6)+Server_Anwering_51_1)+Server_Anwering_53_3)+Server_Anwering_42_9)+Server_Anwering_80_9)+Server_Anwering_37_7)+Server_Anwering_71_4)+Server_Anwering_98_2)+Server_Anwering_26_3)+Server_Anwering_85_4)+Server_Anwering_41_2)+Server_Anwering_67_3)+Server_Anwering_64_7)+Server_Anwering_89_4)+Server_Anwering_19_8)+Server_Anwering_39_1)+Server_Anwering_99_8)+Server_Anwering_87_6)+Server_Anwering_42_5)+Server_Anwering_68_4)+Server_Anwering_61_4)+Server_Anwering_42_7)+Server_Anwering_28_5)+Server_Anwering_92_8)+Server_Anwering_23_5)+Server_Anwering_60_1)+Server_Anwering_14_1)+Server_Anwering_60_10)+Server_Anwering_23_2)+Server_Anwering_16_3)+Server_Anwering_13_9)+Server_Anwering_52_6)+Server_Anwering_5_8)+Server_Anwering_85_8)+Server_Anwering_84_9)+Server_Anwering_86_1)+Server_Anwering_70_9)+Server_Anwering_77_9)+Server_Anwering_95_2)+Server_Anwering_91_9)+Server_Anwering_58_6)+Server_Anwering_14_2)+Server_Anwering_65_5)+Server_Anwering_23_3)+Server_Anwering_83_10)+Server_Anwering_33_1)+Server_Anwering_78_2)+Server_Anwering_28_7)+Server_Anwering_35_8)+Server_Anwering_56_5)+Server_Anwering_8_7)+Server_Anwering_97_10)+Server_Anwering_1_7)+Server_Anwering_7_1)+Server_Anwering_20_4)+Server_Anwering_49_8)+Server_Anwering_85_2)+Server_Anwering_93_5)+Server_Anwering_37_5)+Server_Anwering_69_1)+Server_Anwering_14_10)+Server_Anwering_25_1)+Server_Anwering_51_5)+Server_Anwering_6_10)+Server_Anwering_33_2)+Server_Anwering_94_6)+Server_Anwering_88_1)+Server_Anwering_6_4)+Server_Anwering_44_3)+Server_Anwering_39_6)+Server_Anwering_88_2)+Server_Anwering_22_6)+Server_Anwering_13_3)+Server_Anwering_51_4)+Server_Anwering_27_9)+Server_Anwering_40_4)+Server_Anwering_79_4)+Server_Anwering_62_9)+Server_Anwering_55_9)+Server_Anwering_34_9)+Server_Anwering_68_3)+Server_Anwering_41_9)+Server_Anwering_33_4)+Server_Anwering_34_3)+Server_Anwering_31_7)+Server_Anwering_38_7)+Server_Anwering_20_9)+Server_Anwering_72_6)+Server_Anwering_46_10)+Server_Anwering_55_10)+Server_Anwering_41_10)+Server_Anwering_95_6)+Server_Anwering_24_10)+Server_Anwering_61_3)+Server_Anwering_93_8)+Server_Anwering_58_10)+Server_Anwering_50_1)+Server_Anwering_87_5)+Server_Anwering_94_5)+Server_Anwering_9_7)+Server_Anwering_6_1)+Server_Anwering_49_2)+Server_Anwering_67_2)+Server_Anwering_53_6)+Server_Anwering_5_4)+Server_Anwering_74_10)+Server_Anwering_49_7)+Server_Anwering_69_10)+Server_Anwering_6_3)+Server_Anwering_62_8)+Server_Anwering_76_8)+Server_Anwering_96_1)+Server_Anwering_32_4)+Server_Anwering_63_8)+Server_Anwering_40_3)+Server_Anwering_95_4)+Server_Anwering_6_9)+Server_Anwering_60_2)+Server_Anwering_42_2)+Server_Anwering_44_6)+Server_Anwering_77_8)+Server_Anwering_92_7)+Server_Anwering_20_8)+Server_Anwering_14_5)+Server_Anwering_78_1)+Server_Anwering_78_7)+Server_Anwering_88_10)+Server_Anwering_96_2)+Server_Anwering_6_8)+Server_Anwering_15_1)+Server_Anwering_30_10)+Server_Anwering_58_2)+Server_Anwering_77_5)+Server_Anwering_59_5)+Server_Anwering_92_9)+Server_Anwering_96_4)+Server_Anwering_22_8)+Server_Anwering_47_10)+Server_Anwering_24_3)+Server_Anwering_50_4)+Server_Anwering_15_6)+Server_Anwering_19_10)+Server_Anwering_84_3)+Server_Anwering_41_1)+Server_Anwering_69_3)+Server_Anwering_100_6)+Server_Anwering_4_8)+Server_Anwering_77_2)+Server_Anwering_86_6)+Server_Anwering_35_9)+Server_Anwering_96_10)+Server_Anwering_15_3)+Server_Anwering_78_8)+Server_Anwering_66_5)+Server_Anwering_41_7)+Server_Anwering_58_7)+Server_Anwering_11_8)+Server_Anwering_31_5)+Server_Anwering_20_7)+Server_Anwering_12_6)+Server_Anwering_24_2)+Server_Anwering_84_5)+Server_Anwering_64_9)+Server_Anwering_88_4)+Server_Anwering_15_4)+Server_Anwering_76_7)+Server_Anwering_89_10)+Server_Anwering_48_9)+Server_Anwering_41_4)+Server_Anwering_11_5)+Server_Anwering_41_3)+Server_Anwering_12_4)+Server_Anwering_26_9)+Server_Anwering_22_1)+Server_Anwering_77_3)+Server_Anwering_4_5)+Server_Anwering_81_6)+Server_Anwering_83_9)+Server_Anwering_69_4)+Server_Anwering_40_1)+Server_Anwering_75_10)+Server_Anwering_84_8)+Server_Anwering_86_2)+Server_Anwering_83_7)+Server_Anwering_60_4)+Server_Anwering_22_4)+Server_Anwering_69_9)+Server_Anwering_87_2)+Server_Anwering_65_7)+Server_Anwering_13_7)+Server_Anwering_67_6)+Server_Anwering_12_9)+Server_Anwering_98_8)+Server_Anwering_38_5)+Server_Anwering_32_1)+Server_Anwering_4_10)+Server_Anwering_56_1)+Server_Anwering_61_10)+Server_Anwering_33_3)+Server_Anwering_25_2)+Server_Anwering_20_5)+Server_Anwering_84_1)+Server_Anwering_80_4)+Server_Anwering_30_5)+Server_Anwering_60_3)+Server_Anwering_31_4)+Server_Anwering_5_2)+Server_Anwering_5_3)+Server_Anwering_71_8)+Server_Anwering_5_6)+Server_Anwering_21_8)+Server_Anwering_61_8)+Server_Anwering_23_1)+Server_Anwering_45_4)+Server_Anwering_14_8)+Server_Anwering_87_3)+Server_Anwering_78_4)+Server_Anwering_97_1)+Server_Anwering_39_7)+Server_Anwering_86_7)+Server_Anwering_68_10)+Server_Anwering_48_5)+Server_Anwering_50_8)+Server_Anwering_85_3)+Server_Anwering_95_5)+Server_Anwering_38_4)+Server_Anwering_1_9)+Server_Anwering_63_9)+Server_Anwering_14_3)+Server_Anwering_50_7)+Server_Anwering_77_10)+Server_Anwering_3_5)+Server_Anwering_10_7)+Server_Anwering_49_9)+Server_Anwering_73_4)+Server_Anwering_43_8)+Server_Anwering_36_6)+Server_Anwering_94_3)+Server_Anwering_63_1)+Server_Anwering_39_5)+Server_Anwering_68_2)+Server_Anwering_68_8)+Server_Anwering_14_6)+Server_Anwering_67_5)+Server_Anwering_36_10)+Server_Anwering_30_7)+Server_Anwering_57_6)+Server_Anwering_59_2)+Server_Anwering_70_1)+Server_Anwering_8_9)+Server_Anwering_91_1)+Server_Anwering_66_4)+Server_Anwering_18_2)+Server_Anwering_93_7)+Server_Anwering_77_1)+Server_Anwering_49_1)+Server_Anwering_64_6)+Server_Anwering_21_9)+Server_Anwering_3_7)+Server_Anwering_87_4)+Server_Anwering_7_9)+Server_Anwering_4_4)+Server_Anwering_11_10)+Server_Anwering_86_9)+Server_Anwering_42_1)+Server_Anwering_33_7)+Server_Anwering_13_4)+Server_Anwering_82_6)+Server_Anwering_65_9)+Server_Anwering_76_3)+Server_Anwering_57_7)+Server_Anwering_47_6)+Server_Anwering_51_8)+Server_Anwering_59_4)+Server_Anwering_59_10)+Server_Anwering_67_10)+Server_Anwering_65_6)+Server_Anwering_85_6)+Server_Anwering_16_10)+Server_Anwering_21_7)+Server_Anwering_56_3)+Server_Anwering_40_7)+Server_Anwering_21_5)+Server_Anwering_32_2)+Server_Anwering_75_9)+Server_Anwering_51_3)+Server_Anwering_21_1)+Server_Anwering_39_2)+Server_Anwering_79_8)+Server_Anwering_23_6)+Server_Anwering_33_8)+Server_Anwering_52_4)+Server_Anwering_28_1)+Server_Anwering_75_7)+Server_Anwering_3_10)+Server_Anwering_76_1)+Server_Anwering_12_8)+Server_Anwering_23_4)+Server_Anwering_70_3)+Server_Anwering_54_6)+Server_Anwering_40_8)+Server_Anwering_26_7)+Server_Anwering_92_6)+Server_Anwering_12_2)+Server_Anwering_31_10)+Server_Anwering_42_8)+Server_Anwering_86_10)+Server_Anwering_49_5)+Server_Anwering_42_3)+Server_Anwering_54_9)+Server_Anwering_47_9)+Server_Anwering_93_9)+Server_Anwering_76_5)+Server_Anwering_3_8)+Server_Anwering_58_5)+Server_Anwering_35_1)+Server_Anwering_19_7)+Server_Anwering_63_3)+Server_Anwering_75_6)+Server_Anwering_86_5)+Server_Anwering_84_6)+Server_Anwering_4_2)+Server_Anwering_31_2)+Server_Anwering_19_5)+Server_Anwering_12_5)+Server_Anwering_76_10)+Server_Anwering_4_6)+Server_Anwering_33_5)+Server_Anwering_85_7)+Server_Anwering_26_5)+Server_Anwering_36_3)+Server_Anwering_53_4)+Server_Anwering_39_10)+Server_Anwering_69_8)+Server_Anwering_86_4)+Server_Anwering_17_2)+Server_Anwering_94_7)+Server_Anwering_93_4)+Server_Anwering_95_3)+Server_Anwering_66_7)+Server_Anwering_30_6)+Server_Anwering_47_5)+Server_Anwering_3_2)+Server_Anwering_61_5)+Server_Anwering_29_9)+Server_Anwering_57_1)+Server_Anwering_54_5)+Server_Anwering_48_1)+Server_Anwering_57_9)+Server_Anwering_22_3)+Server_Anwering_51_2)+Server_Anwering_40_5)+Server_Anwering_70_8)+Server_Anwering_29_3)+Server_Anwering_26_2)+Server_Anwering_98_1)+Server_Anwering_46_6)+Server_Anwering_87_10)+Server_Anwering_68_5)+Server_Anwering_95_10)+Server_Anwering_2_7)+Server_Anwering_72_4)+Server_Anwering_32_8)+Server_Anwering_11_7)+Server_Anwering_37_6)+Server_Anwering_100_8)+Server_Anwering_56_6)+Server_Anwering_39_4)+Server_Anwering_44_2)+Server_Anwering_30_4)+Server_Anwering_85_1)+Server_Anwering_90_1)+Server_Anwering_36_9)+Server_Anwering_8_1)+Server_Anwering_9_1)+Server_Anwering_95_7)+Server_Anwering_13_5)+Server_Anwering_48_7)+Server_Anwering_40_2)+Server_Anwering_81_7)+Server_Anwering_60_8)+Server_Anwering_8_3)+Server_Anwering_55_7)+Server_Anwering_83_6)+Server_Anwering_82_1)+Server_Anwering_65_2)+Server_Anwering_71_3)+Server_Anwering_55_6)+Server_Anwering_88_7)+Server_Anwering_3_4)+Server_Anwering_82_3)+Server_Anwering_10_6)+Server_Anwering_75_5)+Server_Anwering_81_4)+Server_Anwering_75_1)+Server_Anwering_74_7)+Server_Anwering_71_1)+Server_Anwering_43_3)+Server_Anwering_99_1)+Server_Anwering_74_9)+Server_Anwering_24_6)+Server_Anwering_17_6)+Server_Anwering_18_10)+Server_Anwering_2_8)+Server_Anwering_49_10)+Server_Anwering_66_2)+Server_Anwering_9_8)+Server_Anwering_3_6)+Server_Anwering_44_4)+Server_Anwering_75_3)+Server_Anwering_10_2)+Server_Anwering_82_5)+Server_Anwering_58_4)+Server_Anwering_46_9)+Server_Anwering_56_10)+Server_Anwering_37_9)+Server_Anwering_89_3)+Server_Anwering_90_8)+Server_Anwering_50_3)+Server_Anwering_57_3)+Server_Anwering_74_6)+Server_Anwering_27_5)+Server_Anwering_62_1)+Server_Anwering_6_5)+Server_Anwering_18_7)+Server_Anwering_13_8)+Server_Anwering_20_1)+Server_Anwering_79_2)+Server_Anwering_18_9)+Server_Anwering_93_6)+Server_Anwering_54_1)+Server_Anwering_91_8)+Server_Anwering_16_8)+Server_Anwering_76_9)+Server_Anwering_94_2)+Server_Anwering_13_10)+Server_Anwering_80_2)+Server_Anwering_28_10)+Server_Anwering_67_4)+Server_Anwering_29_6)+Server_Anwering_67_7)+Server_Anwering_85_9)+Server_Anwering_32_5)+Server_Anwering_65_10)+Server_Anwering_41_5)+Server_Anwering_72_1)+Server_Anwering_23_8)+Server_Anwering_94_4)+Server_Anwering_96_5)+Server_Anwering_79_10)+Server_Anwering_9_9)+Server_Anwering_91_6)+Server_Anwering_7_3)+Server_Anwering_66_8)+Server_Anwering_2_10)+Server_Anwering_52_2)+Server_Anwering_96_3)+Server_Anwering_60_7)+Server_Anwering_18_5)+Server_Anwering_66_10)+Server_Anwering_38_8)+Server_Anwering_93_2)+Server_Anwering_12_7)+Server_Anwering_30_2)+Server_Anwering_98_10)+Server_Anwering_27_2)+Server_Anwering_32_7)+Server_Anwering_5_7)+Server_Anwering_94_10)+Server_Anwering_56_9)+Server_Anwering_60_5)+Server_Anwering_45_8)+Server_Anwering_62_3)+Server_Anwering_69_5)+Server_Anwering_66_9)+Server_Anwering_21_3)+Server_Anwering_31_8)+Server_Anwering_28_9)+Server_Anwering_17_4)+Server_Anwering_19_9)+Server_Anwering_92_4)+Server_Anwering_59_8)+Server_Anwering_43_1)+Server_Anwering_55_5)+Server_Anwering_24_4)+Server_Anwering_70_10)+Server_Anwering_89_5)+Server_Anwering_37_2)+Server_Anwering_49_3)+Server_Anwering_20_2)+Server_Anwering_94_9)+Server_Anwering_47_1)+Server_Anwering_29_1)+Server_Anwering_98_6)+Server_Anwering_52_8)+Server_Anwering_97_3)+Server_Anwering_46_5)+Server_Anwering_99_4)+Server_Anwering_93_10)+Server_Anwering_10_4)+Server_Anwering_2_6)+Server_Anwering_65_1)+Server_Anwering_9_10)+Server_Anwering_82_7)+Server_Anwering_84_10)+Server_Anwering_80_8)+Server_Anwering_24_8)+Server_Anwering_54_4)+Server_Anwering_100_1)+Server_Anwering_37_3)+Server_Anwering_47_7)+Server_Anwering_89_8)+Server_Anwering_44_8)+Server_Anwering_73_8)+Server_Anwering_35_3)+Server_Anwering_74_2)+Server_Anwering_100_4)+Server_Anwering_57_10)+Server_Anwering_29_10)+Server_Anwering_47_4)+Server_Anwering_82_4)+Server_Anwering_73_9)+Server_Anwering_47_3)+Server_Anwering_96_8)+Server_Anwering_21_10)+Server_Anwering_16_6)+Server_Anwering_11_6)+Server_Anwering_43_10)+Server_Anwering_35_6)+Server_Anwering_75_4)+Server_Anwering_10_10)+Server_Anwering_28_6)+Server_Anwering_53_2)+Server_Anwering_83_3)+Server_Anwering_24_9)+Server_Anwering_64_2)+Server_Anwering_38_9)+Server_Anwering_19_2)+Server_Anwering_17_9)+Server_Anwering_2_3)+Server_Anwering_5_5)+Server_Anwering_9_3)+Server_Anwering_30_3)+Server_Anwering_81_2)+Server_Anwering_93_1)+Server_Anwering_88_5)+Server_Anwering_72_8)+Server_Anwering_59_9)+Server_Anwering_49_6)+Server_Anwering_2_2)+Server_Anwering_74_3)+Server_Anwering_52_9)+Server_Anwering_83_5)+Server_Anwering_7_5)+Server_Anwering_88_3)+Server_Anwering_97_5)+Server_Anwering_96_7)+Server_Anwering_48_10)+Server_Anwering_25_6)+Server_Anwering_10_1)+Server_Anwering_34_10)+Server_Anwering_31_9)+Server_Anwering_45_9)+Server_Anwering_34_1)+Server_Anwering_36_4)+Server_Anwering_29_4)+Server_Anwering_71_2)+Server_Anwering_92_1)+Server_Anwering_24_5)+Server_Anwering_38_2)+Server_Anwering_17_5)+Server_Anwering_27_3)+Server_Anwering_17_7)+Server_Anwering_55_1)+Server_Anwering_46_1)+Server_Anwering_76_6)+Server_Anwering_10_9)+Server_Anwering_46_2)+Server_Anwering_73_7)+Server_Anwering_65_4)+Server_Anwering_99_2)+Server_Anwering_2_4)+Server_Anwering_44_1)+Server_Anwering_26_4)+Server_Anwering_30_9)+Server_Anwering_58_8)+Server_Anwering_20_3)+Server_Anwering_74_1)+Server_Anwering_46_4)+Server_Anwering_74_5)+Server_Anwering_24_7)+Server_Anwering_54_3)+Server_Anwering_48_3)+Server_Anwering_80_5)+Server_Anwering_1_8)+Server_Anwering_73_5)+Server_Anwering_3_9)+Server_Anwering_25_4)+Server_Anwering_39_8)+Server_Anwering_11_4)+Server_Anwering_1_10)+Server_Anwering_10_8)+Server_Anwering_83_1)+Server_Anwering_63_2)+Server_Anwering_1_1)+Server_Anwering_95_9)+Server_Anwering_16_9)+Server_Anwering_37_1)+Server_Anwering_15_8)+Server_Anwering_81_9)+Server_Anwering_90_6)+Server_Anwering_26_1)+Server_Anwering_63_6)+Server_Anwering_63_5)+Server_Anwering_88_9)+Server_Anwering_59_7)+Server_Anwering_16_4)+Server_Anwering_99_10)+Server_Anwering_4_7)+Server_Anwering_30_8)+Server_Anwering_78_10)+Server_Anwering_11_2)+Server_Anwering_68_7)+Server_Anwering_67_9)+Server_Anwering_87_7)+Server_Anwering_98_3)+Server_Anwering_92_2)+Server_Anwering_77_6)+Server_Anwering_28_2)+Server_Anwering_3_1)+Server_Anwering_71_10)+Server_Anwering_92_10)<=(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((Client_Waiting_76+Client_Waiting_74)+Client_Waiting_67)+Client_Waiting_81)+Client_Waiting_36)+Client_Waiting_25)+Client_Waiting_47)+Client_Waiting_11)+Client_Waiting_64)+Client_Waiting_42)+Client_Waiting_50)+Client_Waiting_8)+Client_Waiting_87)+Client_Waiting_39)+Client_Waiting_53)+Client_Waiting_22)+Client_Waiting_68)+Client_Waiting_26)+Client_Waiting_3)+Client_Waiting_75)+Client_Waiting_31)+Client_Waiting_44)+Client_Waiting_49)+Client_Waiting_54)+Client_Waiting_21)+Client_Waiting_90)+Client_Waiting_59)+Client_Waiting_16)+Client_Waiting_41)+Client_Waiting_6)+Client_Waiting_78)+Client_Waiting_88)+Client_Waiting_23)+Client_Waiting_69)+Client_Waiting_96)+Client_Waiting_98)+Client_Waiting_34)+Client_Waiting_62)+Client_Waiting_13)+Client_Waiting_52)+Client_Waiting_77)+Client_Waiting_85)+Client_Waiting_70)+Client_Waiting_24)+Client_Waiting_1)+Client_Waiting_60)+Client_Waiting_46)+Client_Waiting_65)+Client_Waiting_37)+Client_Waiting_51)+Client_Waiting_95)+Client_Waiting_32)+Client_Waiting_18)+Client_Waiting_2)+Client_Waiting_91)+Client_Waiting_86)+Client_Waiting_71)+Client_Waiting_43)+Client_Waiting_80)+Client_Waiting_4)+Client_Waiting_94)+Client_Waiting_15)+Client_Waiting_57)+Client_Waiting_99)+Client_Waiting_97)+Client_Waiting_72)+Client_Waiting_12)+Client_Waiting_79)+Client_Waiting_29)+Client_Waiting_35)+Client_Waiting_83)+Client_Waiting_17)+Client_Waiting_40)+Client_Waiting_100)+Client_Waiting_7)+Client_Waiting_58)+Client_Waiting_30)+Client_Waiting_93)+Client_Waiting_45)+Client_Waiting_9)+Client_Waiting_63)+Client_Waiting_20)+Client_Waiting_89)+Client_Waiting_10)+Client_Waiting_48)+Client_Waiting_84)+Client_Waiting_73)+Client_Waiting_27)+Client_Waiting_82)+Client_Waiting_66)+Client_Waiting_38)+Client_Waiting_33)+Client_Waiting_19)+Client_Waiting_61)+Client_Waiting_14)+Client_Waiting_92)+Client_Waiting_5)+Client_Waiting_55)+Client_Waiting_56)+Client_Waiting_28))")))))
Formula 0 simplified : !F(X"((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((Client_Waiting_76+Client_Waiting_74)+Client_Waiting_67)+Client_Waiting_81)+Client_Waiting_36)+Client_Waiting_25)+Client_Waiting_47)+Client_Waiting_11)+Client_Waiting_64)+Client_Waiting_42)+Client_Waiting_50)+Client_Waiting_8)+Client_Waiting_87)+Client_Waiting_39)+Client_Waiting_53)+Client_Waiting_22)+Client_Waiting_68)+Client_Waiting_26)+Client_Waiting_3)+Client_Waiting_75)+Client_Waiting_31)+Client_Waiting_44)+Client_Waiting_49)+Client_Waiting_54)+Client_Waiting_21)+Client_Waiting_90)+Client_Waiting_59)+Client_Waiting_16)+Client_Waiting_41)+Client_Waiting_6)+Client_Waiting_78)+Client_Waiting_88)+Client_Waiting_23)+Client_Waiting_69)+Client_Waiting_96)+Client_Waiting_98)+Client_Waiting_34)+Client_Waiting_62)+Client_Waiting_13)+Client_Waiting_52)+Client_Waiting_77)+Client_Waiting_85)+Client_Waiting_70)+Client_Waiting_24)+Client_Waiting_1)+Client_Waiting_60)+Client_Waiting_46)+Client_Waiting_65)+Client_Waiting_37)+Client_Waiting_51)+Client_Waiting_95)+Client_Waiting_32)+Client_Waiting_18)+Client_Waiting_2)+Client_Waiting_91)+Client_Waiting_86)+Client_Waiting_71)+Client_Waiting_43)+Client_Waiting_80)+Client_Waiting_4)+Client_Waiting_94)+Client_Waiting_15)+Client_Waiting_57)+Client_Waiting_99)+Client_Waiting_97)+Client_Waiting_72)+Client_Waiting_12)+Client_Waiting_79)+Client_Waiting_29)+Client_Waiting_35)+Client_Waiting_83)+Client_Waiting_17)+Client_Waiting_40)+Client_Waiting_100)+Client_Waiting_7)+Client_Waiting_58)+Client_Waiting_30)+Client_Waiting_93)+Client_Waiting_45)+Client_Waiting_9)+Client_Waiting_63)+Client_Waiting_20)+Client_Waiting_89)+Client_Waiting_10)+Client_Waiting_48)+Client_Waiting_84)+Client_Waiting_73)+Client_Waiting_27)+Client_Waiting_82)+Client_Waiting_66)+Client_Waiting_38)+Client_Waiting_33)+Client_Waiting_19)+Client_Waiting_61)+Client_Waiting_14)+Client_Waiting_92)+Client_Waiting_5)+Client_Waiting_55)+Client_Waiting_56)+Client_Waiting_28)<=RequestBufferSlots)" U F"((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((Server_Anwering_64_1+Server_Anwering_43_6)+Server_Anwering_91_2)+Server_Anwering_39_9)+Server_Anwering_15_10)+Server_Anwering_8_6)+Server_Anwering_34_6)+Server_Anwering_53_7)+Server_Anwering_46_7)+Server_Anwering_87_1)+Server_Anwering_11_9)+Server_Anwering_25_7)+Server_Anwering_50_6)+Server_Anwering_27_7)+Server_Anwering_38_3)+Server_Anwering_22_2)+Server_Anwering_25_9)+Server_Anwering_1_6)+Server_Anwering_64_4)+Server_Anwering_94_1)+Server_Anwering_64_8)+Server_Anwering_91_3)+Server_Anwering_44_9)+Server_Anwering_70_5)+Server_Anwering_72_2)+Server_Anwering_66_1)+Server_Anwering_37_4)+Server_Anwering_82_2)+Server_Anwering_81_8)+Server_Anwering_73_1)+Server_Anwering_1_2)+Server_Anwering_25_8)+Server_Anwering_48_6)+Server_Anwering_7_10)+Server_Anwering_83_4)+Server_Anwering_1_3)+Server_Anwering_10_3)+Server_Anwering_64_3)+Server_Anwering_98_5)+Server_Anwering_15_2)+Server_Anwering_55_3)+Server_Anwering_62_7)+Server_Anwering_34_7)+Server_Anwering_45_5)+Server_Anwering_37_10)+Server_Anwering_19_4)+Server_Anwering_55_4)+Server_Anwering_100_9)+Server_Anwering_27_1)+Server_Anwering_40_10)+Server_Anwering_91_5)+Server_Anwering_50_10)+Server_Anwering_53_9)+Server_Anwering_85_10)+Server_Anwering_8_4)+Server_Anwering_53_8)+Server_Anwering_19_1)+Server_Anwering_26_10)+Server_Anwering_58_9)+Server_Anwering_2_1)+Server_Anwering_74_4)+Server_Anwering_29_8)+Server_Anwering_80_1)+Server_Anwering_64_10)+Server_Anwering_51_10)+Server_Anwering_62_6)+Server_Anwering_97_7)+Server_Anwering_91_4)+Server_Anwering_52_5)+Server_Anwering_67_8)+Server_Anwering_90_7)+Server_Anwering_18_8)+Server_Anwering_89_6)+Server_Anwering_63_10)+Server_Anwering_99_9)+Server_Anwering_19_6)+Server_Anwering_72_7)+Server_Anwering_18_1)+Server_Anwering_48_2)+Server_Anwering_100_2)+Server_Anwering_87_9)+Server_Anwering_97_8)+Server_Anwering_57_8)+Server_Anwering_45_2)+Server_Anwering_62_5)+Server_Anwering_46_3)+Server_Anwering_25_5)+Server_Anwering_15_9)+Server_Anwering_59_1)+Server_Anwering_43_2)+Server_Anwering_82_10)+Server_Anwering_73_3)+Server_Anwering_61_6)+Server_Anwering_72_9)+Server_Anwering_72_5)+Server_Anwering_99_3)+Server_Anwering_26_6)+Server_Anwering_45_1)+Server_Anwering_53_5)+Server_Anwering_96_6)+Server_Anwering_29_2)+Server_Anwering_36_8)+Server_Anwering_1_4)+Server_Anwering_16_7)+Server_Anwering_71_6)+Server_Anwering_28_3)+Server_Anwering_96_9)+Server_Anwering_100_5)+Server_Anwering_79_7)+Server_Anwering_75_8)+Server_Anwering_45_7)+Server_Anwering_2_9)+Server_Anwering_99_6)+Server_Anwering_54_2)+Server_Anwering_69_7)+Server_Anwering_82_8)+Server_Anwering_8_5)+Server_Anwering_88_8)+Server_Anwering_54_8)+Server_Anwering_20_10)+Server_Anwering_5_1)+Server_Anwering_11_1)+Server_Anwering_54_10)+Server_Anwering_12_1)+Server_Anwering_91_10)+Server_Anwering_68_9)+Server_Anwering_52_1)+Server_Anwering_7_8)+Server_Anwering_78_6)+Server_Anwering_36_1)+Server_Anwering_73_2)+Server_Anwering_34_5)+Server_Anwering_68_6)+Server_Anwering_80_3)+Server_Anwering_19_3)+Server_Anwering_36_2)+Server_Anwering_44_5)+Server_Anwering_9_6)+Server_Anwering_16_5)+Server_Anwering_42_4)+Server_Anwering_9_4)+Server_Anwering_32_10)+Server_Anwering_69_2)+Server_Anwering_81_10)+Server_Anwering_18_6)+Server_Anwering_28_8)+Server_Anwering_98_7)+Server_Anwering_65_8)+Server_Anwering_100_7)+Server_Anwering_81_3)+Server_Anwering_54_7)+Server_Anwering_67_1)+Server_Anwering_37_8)+Server_Anwering_61_9)+Server_Anwering_72_10)+Server_Anwering_33_9)+Server_Anwering_56_8)+Server_Anwering_11_3)+Server_Anwering_21_2)+Server_Anwering_53_1)+Server_Anwering_56_4)+Server_Anwering_95_1)+Server_Anwering_71_7)+Server_Anwering_90_4)+Server_Anwering_35_7)+Server_Anwering_90_3)+Server_Anwering_62_2)+Server_Anwering_49_4)+Server_Anwering_35_5)+Server_Anwering_40_6)+Server_Anwering_7_2)+Server_Anwering_12_10)+Server_Anwering_9_2)+Server_Anwering_4_3)+Server_Anwering_90_5)+Server_Anwering_97_4)+Server_Anwering_47_8)+Server_Anwering_33_6)+Server_Anwering_26_8)+Server_Anwering_23_10)+Server_Anwering_65_3)+Server_Anwering_35_4)+Server_Anwering_97_2)+Server_Anwering_40_9)+Server_Anwering_42_6)+Server_Anwering_44_10)+Server_Anwering_18_3)+Server_Anwering_81_1)+Server_Anwering_32_3)+Server_Anwering_6_7)+Server_Anwering_27_4)+Server_Anwering_27_10)+Server_Anwering_89_7)+Server_Anwering_55_2)+Server_Anwering_82_9)+Server_Anwering_25_3)+Server_Anwering_39_3)+Server_Anwering_94_8)+Server_Anwering_18_4)+Server_Anwering_63_4)+Server_Anwering_46_8)+Server_Anwering_81_5)+Server_Anwering_76_2)+Server_Anwering_70_6)+Server_Anwering_43_9)+Server_Anwering_92_5)+Server_Anwering_99_7)+Server_Anwering_53_10)+Server_Anwering_79_3)+Server_Anwering_34_4)+Server_Anwering_61_7)+Server_Anwering_36_7)+Server_Anwering_22_9)+Server_Anwering_70_2)+Server_Anwering_13_6)+Server_Anwering_90_2)+Server_Anwering_79_9)+Server_Anwering_88_6)+Server_Anwering_15_7)+Server_Anwering_20_6)+Server_Anwering_90_9)+Server_Anwering_77_4)+Server_Anwering_70_4)+Server_Anwering_22_10)+Server_Anwering_35_2)+Server_Anwering_51_6)+Server_Anwering_9_5)+Server_Anwering_51_7)+Server_Anwering_24_1)+Server_Anwering_2_5)+Server_Anwering_72_3)+Server_Anwering_93_3)+Server_Anwering_31_1)+Server_Anwering_22_7)+Server_Anwering_86_3)+Server_Anwering_90_10)+Server_Anwering_80_7)+Server_Anwering_8_8)+Server_Anwering_13_1)+Server_Anwering_38_1)+Server_Anwering_83_8)+Server_Anwering_97_9)+Server_Anwering_79_6)+Server_Anwering_27_6)+Server_Anwering_78_9)+Server_Anwering_17_10)+Server_Anwering_87_8)+Server_Anwering_100_10)+Server_Anwering_17_1)+Server_Anwering_44_7)+Server_Anwering_17_8)+Server_Anwering_55_8)+Server_Anwering_100_3)+Server_Anwering_99_5)+Server_Anwering_97_6)+Server_Anwering_83_2)+Server_Anwering_45_3)+Server_Anwering_62_10)+Server_Anwering_52_3)+Server_Anwering_50_9)+Server_Anwering_8_10)+Server_Anwering_6_6)+Server_Anwering_42_10)+Server_Anwering_60_9)+Server_Anwering_57_5)+Server_Anwering_48_8)+Server_Anwering_43_5)+Server_Anwering_51_9)+Server_Anwering_84_2)+Server_Anwering_71_5)+Server_Anwering_34_8)+Server_Anwering_69_6)+Server_Anwering_98_9)+Server_Anwering_29_7)+Server_Anwering_34_2)+Server_Anwering_43_7)+Server_Anwering_86_8)+Server_Anwering_14_4)+Server_Anwering_41_6)+Server_Anwering_56_7)+Server_Anwering_60_6)+Server_Anwering_36_5)+Server_Anwering_23_9)+Server_Anwering_7_4)+Server_Anwering_8_2)+Server_Anwering_43_4)+Server_Anwering_61_1)+Server_Anwering_57_4)+Server_Anwering_32_9)+Server_Anwering_66_3)+Server_Anwering_31_3)+Server_Anwering_77_7)+Server_Anwering_21_4)+Server_Anwering_74_8)+Server_Anwering_14_9)+Server_Anwering_29_5)+Server_Anwering_17_3)+Server_Anwering_22_5)+Server_Anwering_70_7)+Server_Anwering_59_3)+Server_Anwering_41_8)+Server_Anwering_63_7)+Server_Anwering_3_3)+Server_Anwering_45_10)+Server_Anwering_5_10)+Server_Anwering_98_4)+Server_Anwering_64_5)+Server_Anwering_80_6)+Server_Anwering_62_4)+Server_Anwering_5_9)+Server_Anwering_28_4)+Server_Anwering_27_8)+Server_Anwering_4_9)+Server_Anwering_4_1)+Server_Anwering_32_6)+Server_Anwering_73_10)+Server_Anwering_71_9)+Server_Anwering_68_1)+Server_Anwering_85_5)+Server_Anwering_50_5)+Server_Anwering_56_2)+Server_Anwering_76_4)+Server_Anwering_66_6)+Server_Anwering_84_4)+Server_Anwering_6_2)+Server_Anwering_7_7)+Server_Anwering_78_5)+Server_Anwering_57_2)+Server_Anwering_78_3)+Server_Anwering_10_5)+Server_Anwering_38_10)+Server_Anwering_25_10)+Server_Anwering_21_6)+Server_Anwering_31_6)+Server_Anwering_52_10)+Server_Anwering_79_1)+Server_Anwering_75_2)+Server_Anwering_48_4)+Server_Anwering_1_5)+Server_Anwering_16_1)+Server_Anwering_30_1)+Server_Anwering_23_7)+Server_Anwering_13_2)+Server_Anwering_91_7)+Server_Anwering_89_2)+Server_Anwering_73_6)+Server_Anwering_47_2)+Server_Anwering_59_6)+Server_Anwering_50_2)+Server_Anwering_52_7)+Server_Anwering_95_8)+Server_Anwering_79_5)+Server_Anwering_61_2)+Server_Anwering_92_3)+Server_Anwering_84_7)+Server_Anwering_15_5)+Server_Anwering_38_6)+Server_Anwering_89_9)+Server_Anwering_58_3)+Server_Anwering_12_3)+Server_Anwering_35_10)+Server_Anwering_58_1)+Server_Anwering_16_2)+Server_Anwering_80_10)+Server_Anwering_14_7)+Server_Anwering_89_1)+Server_Anwering_33_10)+Server_Anwering_45_6)+Server_Anwering_7_6)+Server_Anwering_51_1)+Server_Anwering_53_3)+Server_Anwering_42_9)+Server_Anwering_80_9)+Server_Anwering_37_7)+Server_Anwering_71_4)+Server_Anwering_98_2)+Server_Anwering_26_3)+Server_Anwering_85_4)+Server_Anwering_41_2)+Server_Anwering_67_3)+Server_Anwering_64_7)+Server_Anwering_89_4)+Server_Anwering_19_8)+Server_Anwering_39_1)+Server_Anwering_99_8)+Server_Anwering_87_6)+Server_Anwering_42_5)+Server_Anwering_68_4)+Server_Anwering_61_4)+Server_Anwering_42_7)+Server_Anwering_28_5)+Server_Anwering_92_8)+Server_Anwering_23_5)+Server_Anwering_60_1)+Server_Anwering_14_1)+Server_Anwering_60_10)+Server_Anwering_23_2)+Server_Anwering_16_3)+Server_Anwering_13_9)+Server_Anwering_52_6)+Server_Anwering_5_8)+Server_Anwering_85_8)+Server_Anwering_84_9)+Server_Anwering_86_1)+Server_Anwering_70_9)+Server_Anwering_77_9)+Server_Anwering_95_2)+Server_Anwering_91_9)+Server_Anwering_58_6)+Server_Anwering_14_2)+Server_Anwering_65_5)+Server_Anwering_23_3)+Server_Anwering_83_10)+Server_Anwering_33_1)+Server_Anwering_78_2)+Server_Anwering_28_7)+Server_Anwering_35_8)+Server_Anwering_56_5)+Server_Anwering_8_7)+Server_Anwering_97_10)+Server_Anwering_1_7)+Server_Anwering_7_1)+Server_Anwering_20_4)+Server_Anwering_49_8)+Server_Anwering_85_2)+Server_Anwering_93_5)+Server_Anwering_37_5)+Server_Anwering_69_1)+Server_Anwering_14_10)+Server_Anwering_25_1)+Server_Anwering_51_5)+Server_Anwering_6_10)+Server_Anwering_33_2)+Server_Anwering_94_6)+Server_Anwering_88_1)+Server_Anwering_6_4)+Server_Anwering_44_3)+Server_Anwering_39_6)+Server_Anwering_88_2)+Server_Anwering_22_6)+Server_Anwering_13_3)+Server_Anwering_51_4)+Server_Anwering_27_9)+Server_Anwering_40_4)+Server_Anwering_79_4)+Server_Anwering_62_9)+Server_Anwering_55_9)+Server_Anwering_34_9)+Server_Anwering_68_3)+Server_Anwering_41_9)+Server_Anwering_33_4)+Server_Anwering_34_3)+Server_Anwering_31_7)+Server_Anwering_38_7)+Server_Anwering_20_9)+Server_Anwering_72_6)+Server_Anwering_46_10)+Server_Anwering_55_10)+Server_Anwering_41_10)+Server_Anwering_95_6)+Server_Anwering_24_10)+Server_Anwering_61_3)+Server_Anwering_93_8)+Server_Anwering_58_10)+Server_Anwering_50_1)+Server_Anwering_87_5)+Server_Anwering_94_5)+Server_Anwering_9_7)+Server_Anwering_6_1)+Server_Anwering_49_2)+Server_Anwering_67_2)+Server_Anwering_53_6)+Server_Anwering_5_4)+Server_Anwering_74_10)+Server_Anwering_49_7)+Server_Anwering_69_10)+Server_Anwering_6_3)+Server_Anwering_62_8)+Server_Anwering_76_8)+Server_Anwering_96_1)+Server_Anwering_32_4)+Server_Anwering_63_8)+Server_Anwering_40_3)+Server_Anwering_95_4)+Server_Anwering_6_9)+Server_Anwering_60_2)+Server_Anwering_42_2)+Server_Anwering_44_6)+Server_Anwering_77_8)+Server_Anwering_92_7)+Server_Anwering_20_8)+Server_Anwering_14_5)+Server_Anwering_78_1)+Server_Anwering_78_7)+Server_Anwering_88_10)+Server_Anwering_96_2)+Server_Anwering_6_8)+Server_Anwering_15_1)+Server_Anwering_30_10)+Server_Anwering_58_2)+Server_Anwering_77_5)+Server_Anwering_59_5)+Server_Anwering_92_9)+Server_Anwering_96_4)+Server_Anwering_22_8)+Server_Anwering_47_10)+Server_Anwering_24_3)+Server_Anwering_50_4)+Server_Anwering_15_6)+Server_Anwering_19_10)+Server_Anwering_84_3)+Server_Anwering_41_1)+Server_Anwering_69_3)+Server_Anwering_100_6)+Server_Anwering_4_8)+Server_Anwering_77_2)+Server_Anwering_86_6)+Server_Anwering_35_9)+Server_Anwering_96_10)+Server_Anwering_15_3)+Server_Anwering_78_8)+Server_Anwering_66_5)+Server_Anwering_41_7)+Server_Anwering_58_7)+Server_Anwering_11_8)+Server_Anwering_31_5)+Server_Anwering_20_7)+Server_Anwering_12_6)+Server_Anwering_24_2)+Server_Anwering_84_5)+Server_Anwering_64_9)+Server_Anwering_88_4)+Server_Anwering_15_4)+Server_Anwering_76_7)+Server_Anwering_89_10)+Server_Anwering_48_9)+Server_Anwering_41_4)+Server_Anwering_11_5)+Server_Anwering_41_3)+Server_Anwering_12_4)+Server_Anwering_26_9)+Server_Anwering_22_1)+Server_Anwering_77_3)+Server_Anwering_4_5)+Server_Anwering_81_6)+Server_Anwering_83_9)+Server_Anwering_69_4)+Server_Anwering_40_1)+Server_Anwering_75_10)+Server_Anwering_84_8)+Server_Anwering_86_2)+Server_Anwering_83_7)+Server_Anwering_60_4)+Server_Anwering_22_4)+Server_Anwering_69_9)+Server_Anwering_87_2)+Server_Anwering_65_7)+Server_Anwering_13_7)+Server_Anwering_67_6)+Server_Anwering_12_9)+Server_Anwering_98_8)+Server_Anwering_38_5)+Server_Anwering_32_1)+Server_Anwering_4_10)+Server_Anwering_56_1)+Server_Anwering_61_10)+Server_Anwering_33_3)+Server_Anwering_25_2)+Server_Anwering_20_5)+Server_Anwering_84_1)+Server_Anwering_80_4)+Server_Anwering_30_5)+Server_Anwering_60_3)+Server_Anwering_31_4)+Server_Anwering_5_2)+Server_Anwering_5_3)+Server_Anwering_71_8)+Server_Anwering_5_6)+Server_Anwering_21_8)+Server_Anwering_61_8)+Server_Anwering_23_1)+Server_Anwering_45_4)+Server_Anwering_14_8)+Server_Anwering_87_3)+Server_Anwering_78_4)+Server_Anwering_97_1)+Server_Anwering_39_7)+Server_Anwering_86_7)+Server_Anwering_68_10)+Server_Anwering_48_5)+Server_Anwering_50_8)+Server_Anwering_85_3)+Server_Anwering_95_5)+Server_Anwering_38_4)+Server_Anwering_1_9)+Server_Anwering_63_9)+Server_Anwering_14_3)+Server_Anwering_50_7)+Server_Anwering_77_10)+Server_Anwering_3_5)+Server_Anwering_10_7)+Server_Anwering_49_9)+Server_Anwering_73_4)+Server_Anwering_43_8)+Server_Anwering_36_6)+Server_Anwering_94_3)+Server_Anwering_63_1)+Server_Anwering_39_5)+Server_Anwering_68_2)+Server_Anwering_68_8)+Server_Anwering_14_6)+Server_Anwering_67_5)+Server_Anwering_36_10)+Server_Anwering_30_7)+Server_Anwering_57_6)+Server_Anwering_59_2)+Server_Anwering_70_1)+Server_Anwering_8_9)+Server_Anwering_91_1)+Server_Anwering_66_4)+Server_Anwering_18_2)+Server_Anwering_93_7)+Server_Anwering_77_1)+Server_Anwering_49_1)+Server_Anwering_64_6)+Server_Anwering_21_9)+Server_Anwering_3_7)+Server_Anwering_87_4)+Server_Anwering_7_9)+Server_Anwering_4_4)+Server_Anwering_11_10)+Server_Anwering_86_9)+Server_Anwering_42_1)+Server_Anwering_33_7)+Server_Anwering_13_4)+Server_Anwering_82_6)+Server_Anwering_65_9)+Server_Anwering_76_3)+Server_Anwering_57_7)+Server_Anwering_47_6)+Server_Anwering_51_8)+Server_Anwering_59_4)+Server_Anwering_59_10)+Server_Anwering_67_10)+Server_Anwering_65_6)+Server_Anwering_85_6)+Server_Anwering_16_10)+Server_Anwering_21_7)+Server_Anwering_56_3)+Server_Anwering_40_7)+Server_Anwering_21_5)+Server_Anwering_32_2)+Server_Anwering_75_9)+Server_Anwering_51_3)+Server_Anwering_21_1)+Server_Anwering_39_2)+Server_Anwering_79_8)+Server_Anwering_23_6)+Server_Anwering_33_8)+Server_Anwering_52_4)+Server_Anwering_28_1)+Server_Anwering_75_7)+Server_Anwering_3_10)+Server_Anwering_76_1)+Server_Anwering_12_8)+Server_Anwering_23_4)+Server_Anwering_70_3)+Server_Anwering_54_6)+Server_Anwering_40_8)+Server_Anwering_26_7)+Server_Anwering_92_6)+Server_Anwering_12_2)+Server_Anwering_31_10)+Server_Anwering_42_8)+Server_Anwering_86_10)+Server_Anwering_49_5)+Server_Anwering_42_3)+Server_Anwering_54_9)+Server_Anwering_47_9)+Server_Anwering_93_9)+Server_Anwering_76_5)+Server_Anwering_3_8)+Server_Anwering_58_5)+Server_Anwering_35_1)+Server_Anwering_19_7)+Server_Anwering_63_3)+Server_Anwering_75_6)+Server_Anwering_86_5)+Server_Anwering_84_6)+Server_Anwering_4_2)+Server_Anwering_31_2)+Server_Anwering_19_5)+Server_Anwering_12_5)+Server_Anwering_76_10)+Server_Anwering_4_6)+Server_Anwering_33_5)+Server_Anwering_85_7)+Server_Anwering_26_5)+Server_Anwering_36_3)+Server_Anwering_53_4)+Server_Anwering_39_10)+Server_Anwering_69_8)+Server_Anwering_86_4)+Server_Anwering_17_2)+Server_Anwering_94_7)+Server_Anwering_93_4)+Server_Anwering_95_3)+Server_Anwering_66_7)+Server_Anwering_30_6)+Server_Anwering_47_5)+Server_Anwering_3_2)+Server_Anwering_61_5)+Server_Anwering_29_9)+Server_Anwering_57_1)+Server_Anwering_54_5)+Server_Anwering_48_1)+Server_Anwering_57_9)+Server_Anwering_22_3)+Server_Anwering_51_2)+Server_Anwering_40_5)+Server_Anwering_70_8)+Server_Anwering_29_3)+Server_Anwering_26_2)+Server_Anwering_98_1)+Server_Anwering_46_6)+Server_Anwering_87_10)+Server_Anwering_68_5)+Server_Anwering_95_10)+Server_Anwering_2_7)+Server_Anwering_72_4)+Server_Anwering_32_8)+Server_Anwering_11_7)+Server_Anwering_37_6)+Server_Anwering_100_8)+Server_Anwering_56_6)+Server_Anwering_39_4)+Server_Anwering_44_2)+Server_Anwering_30_4)+Server_Anwering_85_1)+Server_Anwering_90_1)+Server_Anwering_36_9)+Server_Anwering_8_1)+Server_Anwering_9_1)+Server_Anwering_95_7)+Server_Anwering_13_5)+Server_Anwering_48_7)+Server_Anwering_40_2)+Server_Anwering_81_7)+Server_Anwering_60_8)+Server_Anwering_8_3)+Server_Anwering_55_7)+Server_Anwering_83_6)+Server_Anwering_82_1)+Server_Anwering_65_2)+Server_Anwering_71_3)+Server_Anwering_55_6)+Server_Anwering_88_7)+Server_Anwering_3_4)+Server_Anwering_82_3)+Server_Anwering_10_6)+Server_Anwering_75_5)+Server_Anwering_81_4)+Server_Anwering_75_1)+Server_Anwering_74_7)+Server_Anwering_71_1)+Server_Anwering_43_3)+Server_Anwering_99_1)+Server_Anwering_74_9)+Server_Anwering_24_6)+Server_Anwering_17_6)+Server_Anwering_18_10)+Server_Anwering_2_8)+Server_Anwering_49_10)+Server_Anwering_66_2)+Server_Anwering_9_8)+Server_Anwering_3_6)+Server_Anwering_44_4)+Server_Anwering_75_3)+Server_Anwering_10_2)+Server_Anwering_82_5)+Server_Anwering_58_4)+Server_Anwering_46_9)+Server_Anwering_56_10)+Server_Anwering_37_9)+Server_Anwering_89_3)+Server_Anwering_90_8)+Server_Anwering_50_3)+Server_Anwering_57_3)+Server_Anwering_74_6)+Server_Anwering_27_5)+Server_Anwering_62_1)+Server_Anwering_6_5)+Server_Anwering_18_7)+Server_Anwering_13_8)+Server_Anwering_20_1)+Server_Anwering_79_2)+Server_Anwering_18_9)+Server_Anwering_93_6)+Server_Anwering_54_1)+Server_Anwering_91_8)+Server_Anwering_16_8)+Server_Anwering_76_9)+Server_Anwering_94_2)+Server_Anwering_13_10)+Server_Anwering_80_2)+Server_Anwering_28_10)+Server_Anwering_67_4)+Server_Anwering_29_6)+Server_Anwering_67_7)+Server_Anwering_85_9)+Server_Anwering_32_5)+Server_Anwering_65_10)+Server_Anwering_41_5)+Server_Anwering_72_1)+Server_Anwering_23_8)+Server_Anwering_94_4)+Server_Anwering_96_5)+Server_Anwering_79_10)+Server_Anwering_9_9)+Server_Anwering_91_6)+Server_Anwering_7_3)+Server_Anwering_66_8)+Server_Anwering_2_10)+Server_Anwering_52_2)+Server_Anwering_96_3)+Server_Anwering_60_7)+Server_Anwering_18_5)+Server_Anwering_66_10)+Server_Anwering_38_8)+Server_Anwering_93_2)+Server_Anwering_12_7)+Server_Anwering_30_2)+Server_Anwering_98_10)+Server_Anwering_27_2)+Server_Anwering_32_7)+Server_Anwering_5_7)+Server_Anwering_94_10)+Server_Anwering_56_9)+Server_Anwering_60_5)+Server_Anwering_45_8)+Server_Anwering_62_3)+Server_Anwering_69_5)+Server_Anwering_66_9)+Server_Anwering_21_3)+Server_Anwering_31_8)+Server_Anwering_28_9)+Server_Anwering_17_4)+Server_Anwering_19_9)+Server_Anwering_92_4)+Server_Anwering_59_8)+Server_Anwering_43_1)+Server_Anwering_55_5)+Server_Anwering_24_4)+Server_Anwering_70_10)+Server_Anwering_89_5)+Server_Anwering_37_2)+Server_Anwering_49_3)+Server_Anwering_20_2)+Server_Anwering_94_9)+Server_Anwering_47_1)+Server_Anwering_29_1)+Server_Anwering_98_6)+Server_Anwering_52_8)+Server_Anwering_97_3)+Server_Anwering_46_5)+Server_Anwering_99_4)+Server_Anwering_93_10)+Server_Anwering_10_4)+Server_Anwering_2_6)+Server_Anwering_65_1)+Server_Anwering_9_10)+Server_Anwering_82_7)+Server_Anwering_84_10)+Server_Anwering_80_8)+Server_Anwering_24_8)+Server_Anwering_54_4)+Server_Anwering_100_1)+Server_Anwering_37_3)+Server_Anwering_47_7)+Server_Anwering_89_8)+Server_Anwering_44_8)+Server_Anwering_73_8)+Server_Anwering_35_3)+Server_Anwering_74_2)+Server_Anwering_100_4)+Server_Anwering_57_10)+Server_Anwering_29_10)+Server_Anwering_47_4)+Server_Anwering_82_4)+Server_Anwering_73_9)+Server_Anwering_47_3)+Server_Anwering_96_8)+Server_Anwering_21_10)+Server_Anwering_16_6)+Server_Anwering_11_6)+Server_Anwering_43_10)+Server_Anwering_35_6)+Server_Anwering_75_4)+Server_Anwering_10_10)+Server_Anwering_28_6)+Server_Anwering_53_2)+Server_Anwering_83_3)+Server_Anwering_24_9)+Server_Anwering_64_2)+Server_Anwering_38_9)+Server_Anwering_19_2)+Server_Anwering_17_9)+Server_Anwering_2_3)+Server_Anwering_5_5)+Server_Anwering_9_3)+Server_Anwering_30_3)+Server_Anwering_81_2)+Server_Anwering_93_1)+Server_Anwering_88_5)+Server_Anwering_72_8)+Server_Anwering_59_9)+Server_Anwering_49_6)+Server_Anwering_2_2)+Server_Anwering_74_3)+Server_Anwering_52_9)+Server_Anwering_83_5)+Server_Anwering_7_5)+Server_Anwering_88_3)+Server_Anwering_97_5)+Server_Anwering_96_7)+Server_Anwering_48_10)+Server_Anwering_25_6)+Server_Anwering_10_1)+Server_Anwering_34_10)+Server_Anwering_31_9)+Server_Anwering_45_9)+Server_Anwering_34_1)+Server_Anwering_36_4)+Server_Anwering_29_4)+Server_Anwering_71_2)+Server_Anwering_92_1)+Server_Anwering_24_5)+Server_Anwering_38_2)+Server_Anwering_17_5)+Server_Anwering_27_3)+Server_Anwering_17_7)+Server_Anwering_55_1)+Server_Anwering_46_1)+Server_Anwering_76_6)+Server_Anwering_10_9)+Server_Anwering_46_2)+Server_Anwering_73_7)+Server_Anwering_65_4)+Server_Anwering_99_2)+Server_Anwering_2_4)+Server_Anwering_44_1)+Server_Anwering_26_4)+Server_Anwering_30_9)+Server_Anwering_58_8)+Server_Anwering_20_3)+Server_Anwering_74_1)+Server_Anwering_46_4)+Server_Anwering_74_5)+Server_Anwering_24_7)+Server_Anwering_54_3)+Server_Anwering_48_3)+Server_Anwering_80_5)+Server_Anwering_1_8)+Server_Anwering_73_5)+Server_Anwering_3_9)+Server_Anwering_25_4)+Server_Anwering_39_8)+Server_Anwering_11_4)+Server_Anwering_1_10)+Server_Anwering_10_8)+Server_Anwering_83_1)+Server_Anwering_63_2)+Server_Anwering_1_1)+Server_Anwering_95_9)+Server_Anwering_16_9)+Server_Anwering_37_1)+Server_Anwering_15_8)+Server_Anwering_81_9)+Server_Anwering_90_6)+Server_Anwering_26_1)+Server_Anwering_63_6)+Server_Anwering_63_5)+Server_Anwering_88_9)+Server_Anwering_59_7)+Server_Anwering_16_4)+Server_Anwering_99_10)+Server_Anwering_4_7)+Server_Anwering_30_8)+Server_Anwering_78_10)+Server_Anwering_11_2)+Server_Anwering_68_7)+Server_Anwering_67_9)+Server_Anwering_87_7)+Server_Anwering_98_3)+Server_Anwering_92_2)+Server_Anwering_77_6)+Server_Anwering_28_2)+Server_Anwering_3_1)+Server_Anwering_71_10)+Server_Anwering_92_10)<=(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((Client_Waiting_76+Client_Waiting_74)+Client_Waiting_67)+Client_Waiting_81)+Client_Waiting_36)+Client_Waiting_25)+Client_Waiting_47)+Client_Waiting_11)+Client_Waiting_64)+Client_Waiting_42)+Client_Waiting_50)+Client_Waiting_8)+Client_Waiting_87)+Client_Waiting_39)+Client_Waiting_53)+Client_Waiting_22)+Client_Waiting_68)+Client_Waiting_26)+Client_Waiting_3)+Client_Waiting_75)+Client_Waiting_31)+Client_Waiting_44)+Client_Waiting_49)+Client_Waiting_54)+Client_Waiting_21)+Client_Waiting_90)+Client_Waiting_59)+Client_Waiting_16)+Client_Waiting_41)+Client_Waiting_6)+Client_Waiting_78)+Client_Waiting_88)+Client_Waiting_23)+Client_Waiting_69)+Client_Waiting_96)+Client_Waiting_98)+Client_Waiting_34)+Client_Waiting_62)+Client_Waiting_13)+Client_Waiting_52)+Client_Waiting_77)+Client_Waiting_85)+Client_Waiting_70)+Client_Waiting_24)+Client_Waiting_1)+Client_Waiting_60)+Client_Waiting_46)+Client_Waiting_65)+Client_Waiting_37)+Client_Waiting_51)+Client_Waiting_95)+Client_Waiting_32)+Client_Waiting_18)+Client_Waiting_2)+Client_Waiting_91)+Client_Waiting_86)+Client_Waiting_71)+Client_Waiting_43)+Client_Waiting_80)+Client_Waiting_4)+Client_Waiting_94)+Client_Waiting_15)+Client_Waiting_57)+Client_Waiting_99)+Client_Waiting_97)+Client_Waiting_72)+Client_Waiting_12)+Client_Waiting_79)+Client_Waiting_29)+Client_Waiting_35)+Client_Waiting_83)+Client_Waiting_17)+Client_Waiting_40)+Client_Waiting_100)+Client_Waiting_7)+Client_Waiting_58)+Client_Waiting_30)+Client_Waiting_93)+Client_Waiting_45)+Client_Waiting_9)+Client_Waiting_63)+Client_Waiting_20)+Client_Waiting_89)+Client_Waiting_10)+Client_Waiting_48)+Client_Waiting_84)+Client_Waiting_73)+Client_Waiting_27)+Client_Waiting_82)+Client_Waiting_66)+Client_Waiting_38)+Client_Waiting_33)+Client_Waiting_19)+Client_Waiting_61)+Client_Waiting_14)+Client_Waiting_92)+Client_Waiting_5)+Client_Waiting_55)+Client_Waiting_56)+Client_Waiting_28))")
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit//lts_install_dir//include, -I., -std=c99, -fPIC, -O3, model.c], workingDir=/home/mcc/execution]
Compilation finished in 48072 ms.
Running link step : CommandLine [args=[gcc, -shared, -o, gal.so, model.o], workingDir=/home/mcc/execution]
Link finished in 160 ms.
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=1, --when, --ltl, <>((X((LTLAP0==true)))U(<>((LTLAP1==true)))), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 392 ms.
FORMULA CSRepetitions-PT-10-LTLCardinality-00 TRUE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=1, -p, --pins-guards, --when, --ltl, []((<>((LTLAP2==true)))U(<>((LTLAP3==true)))), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 158488 ms.
FORMULA CSRepetitions-PT-10-LTLCardinality-01 FALSE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=1, --when, --ltl, []([](<>(X((LTLAP4==true))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=1, --when, --ltl, []([](<>(X((LTLAP4==true))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=1, --when, --ltl, X(<>(<>(<>((LTLAP5==true))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 428 ms.
FORMULA CSRepetitions-PT-10-LTLCardinality-03 TRUE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=1, --when, --ltl, X(<>([]([]((LTLAP6==true))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=1, --when, --ltl, X(<>([]([]((LTLAP6==true))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=1, -p, --pins-guards, --when, --ltl, (LTLAP7==true), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 162263 ms.
FORMULA CSRepetitions-PT-10-LTLCardinality-05 FALSE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=1, --when, --ltl, <>(X(((LTLAP8==true))U((LTLAP9==true)))), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 2408 ms.
FORMULA CSRepetitions-PT-10-LTLCardinality-06 FALSE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=1, --when, --ltl, ([](X((LTLAP10==true))))U(<>(X((LTLAP11==true)))), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 1287 ms.
FORMULA CSRepetitions-PT-10-LTLCardinality-07 FALSE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=1, -p, --pins-guards, --when, --ltl, []([](<>(<>((LTLAP12==true))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=1, -p, --pins-guards, --when, --ltl, []([](<>(<>((LTLAP12==true))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=1, -p, --pins-guards, --when, --ltl, (LTLAP13==true), --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Unexpected exception when executing ltsmin :CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=1, -p, --pins-guards, --when, --ltl, (LTLAP13==true), --buchi-type=spotba], workingDir=/home/mcc/execution]
255
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc

BK_STOP 1527626546337

--------------------
content from stderr:

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLCardinality -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -louvain -smt
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ /home/mcc/BenchKit//itstools/its-tools -consoleLog -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination LTLCardinality -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -louvain -smt -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss8m -Xms40m -Xmx8192m -Dfile.encoding=UTF-8 -Dosgi.requiredJavaVersion=1.6
May 29, 2018 8:22:07 PM fr.lip6.move.gal.application.Application start
INFO: Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLCardinality, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -its, -ltsminpath, /home/mcc/BenchKit//lts_install_dir/, -louvain, -smt]
May 29, 2018 8:22:07 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
May 29, 2018 8:22:08 PM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 390 ms
May 29, 2018 8:22:08 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 1311 places.
May 29, 2018 8:22:08 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 2300 transitions.
May 29, 2018 8:22:09 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 903 ms
May 29, 2018 8:22:09 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLCardinality.pnml.gal : 100 ms
May 29, 2018 8:22:09 PM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLCardinality.ltl : 12 ms
May 29, 2018 8:22:10 PM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was already deterministic with 2300 transitions.
May 29, 2018 8:22:10 PM fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext transform
INFO: Too many transitions (2300) to apply POR reductions. Disabling POR matrices.
May 29, 2018 8:22:11 PM fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext transform
INFO: Built C files in 1099ms conformant to PINS in folder :/home/mcc/execution
pins2lts-mc, 0.000: Registering PINS so language module
pins2lts-mc, 0.000, ** error **: out of memory trying to get 4294967296
java.lang.RuntimeException: Unexpected exception when executing ltsmin :CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=1, -p, --pins-guards, --when, --ltl, (LTLAP13==true), --buchi-type=spotba], workingDir=/home/mcc/execution]
255
at fr.lip6.move.gal.application.LTSminRunner.checkProperty(LTSminRunner.java:167)
at fr.lip6.move.gal.application.LTSminRunner.access$9(LTSminRunner.java:122)
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:91)
at java.lang.Thread.run(Thread.java:748)
ITS-tools command line returned an error code 134

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.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CSRepetitions-PT-10"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="itstoolsl"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/CSRepetitions-PT-10.tgz
mv CSRepetitions-PT-10 execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool itstoolsl"
echo " Input is CSRepetitions-PT-10, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r225-ebro-152732379600135"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' LTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;