fond
Model Checking Contest @ Petri Nets 2016
6th edition, Toruń, Poland, June 21, 2016
Execution of r085kn-ebro-146369084900022
Last Updated
June 30, 2016

About the Execution of ITS-Tools for Peterson-COL-4

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15930.550 1624630.00 1649064.00 695.10 [undef] Cannot compute

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)
..............
=====================================================================
Generated by BenchKit 2-2979
Executing tool itstools
Input is Peterson-COL-4, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r085kn-ebro-146369084900022
=====================================================================


--------------------
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 Peterson-COL-4-CTLFireability-0
FORMULA_NAME Peterson-COL-4-CTLFireability-1
FORMULA_NAME Peterson-COL-4-CTLFireability-10
FORMULA_NAME Peterson-COL-4-CTLFireability-11
FORMULA_NAME Peterson-COL-4-CTLFireability-12
FORMULA_NAME Peterson-COL-4-CTLFireability-13
FORMULA_NAME Peterson-COL-4-CTLFireability-14
FORMULA_NAME Peterson-COL-4-CTLFireability-15
FORMULA_NAME Peterson-COL-4-CTLFireability-2
FORMULA_NAME Peterson-COL-4-CTLFireability-3
FORMULA_NAME Peterson-COL-4-CTLFireability-4
FORMULA_NAME Peterson-COL-4-CTLFireability-5
FORMULA_NAME Peterson-COL-4-CTLFireability-6
FORMULA_NAME Peterson-COL-4-CTLFireability-7
FORMULA_NAME Peterson-COL-4-CTLFireability-8
FORMULA_NAME Peterson-COL-4-CTLFireability-9

=== Now, execution of the tool begins

BK_START 1464033977396


its-ctl command run as :

/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201605191313/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/CTLFireability.gal -t CGAL -ctl /home/mcc/execution/CTLFireability.ctl
No direction supplied, using forward translation only.
Parsed 16 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,6.29947e+08,224.309,2757460,255685,19,5.29867e+06,901,1393,8.04249e+06,24,860,0


Converting to forward existential form...Done !
original formula: ((((((((((((((((((((ProcTourProc0.testIdentity_0>=1 + ProcTourProc5.testIdentity_5>=1) + ProcTourProc10.testIdentity_10>=1) + ProcTourProc15.testIdentity_15>=1) + ProcTourProc21.testIdentity_21>=1) + ProcTourProc26.testIdentity_26>=1) + ProcTourProc31.testIdentity_31>=1) + ProcTourProc36.testIdentity_36>=1) + ProcTourProc42.testIdentity_42>=1) + ProcTourProc47.testIdentity_47>=1) + ProcTourProc52.testIdentity_52>=1) + ProcTourProc57.testIdentity_57>=1) + ProcTourProc63.testIdentity_63>=1) + ProcTourProc68.testIdentity_68>=1) + ProcTourProc73.testIdentity_73>=1) + ProcTourProc78.testIdentity_78>=1) + ProcTourProc84.testIdentity_84>=1) + ProcTourProc89.testIdentity_89>=1) + ProcTourProc94.testIdentity_94>=1) + ProcTourProc99.testIdentity_99>=1) + !(((AF(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((ProcBool1.wantSection_1>=1 * ProcTourProc0.testAlone_0>=1) + (ProcBool1.wantSection_1>=1 * ProcTourProc5.testAlone_5>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc10.testAlone_10>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc15.testAlone_15>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc20.testAlone_20>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc25.testAlone_25>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc30.testAlone_30>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc35.testAlone_35>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc40.testAlone_40>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc45.testAlone_45>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc50.testAlone_50>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc55.testAlone_55>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc60.testAlone_60>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc65.testAlone_65>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc70.testAlone_70>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc75.testAlone_75>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc80.testAlone_80>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc85.testAlone_85>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc90.testAlone_90>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc95.testAlone_95>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc1.testAlone_1>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc6.testAlone_6>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc11.testAlone_11>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc16.testAlone_16>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc21.testAlone_21>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc26.testAlone_26>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc31.testAlone_31>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc36.testAlone_36>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc41.testAlone_41>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc46.testAlone_46>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc51.testAlone_51>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc56.testAlone_56>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc61.testAlone_61>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc66.testAlone_66>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc71.testAlone_71>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc76.testAlone_76>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc81.testAlone_81>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc86.testAlone_86>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc91.testAlone_91>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc96.testAlone_96>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc2.testAlone_2>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc7.testAlone_7>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc12.testAlone_12>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc17.testAlone_17>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc22.testAlone_22>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc27.testAlone_27>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc32.testAlone_32>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc37.testAlone_37>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc42.testAlone_42>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc47.testAlone_47>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc52.testAlone_52>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc57.testAlone_57>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc62.testAlone_62>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc67.testAlone_67>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc72.testAlone_72>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc77.testAlone_77>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc82.testAlone_82>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc87.testAlone_87>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc92.testAlone_92>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc97.testAlone_97>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc3.testAlone_3>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc8.testAlone_8>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc13.testAlone_13>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc18.testAlone_18>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc23.testAlone_23>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc28.testAlone_28>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc33.testAlone_33>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc38.testAlone_38>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc43.testAlone_43>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc48.testAlone_48>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc53.testAlone_53>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc58.testAlone_58>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc63.testAlone_63>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc68.testAlone_68>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc73.testAlone_73>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc78.testAlone_78>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc83.testAlone_83>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc88.testAlone_88>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc93.testAlone_93>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc98.testAlone_98>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc4.testAlone_4>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc9.testAlone_9>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc14.testAlone_14>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc19.testAlone_19>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc24.testAlone_24>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc29.testAlone_29>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc34.testAlone_34>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc39.testAlone_39>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc44.testAlone_44>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc49.testAlone_49>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc54.testAlone_54>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc59.testAlone_59>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc64.testAlone_64>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc69.testAlone_69>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc74.testAlone_74>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc79.testAlone_79>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc84.testAlone_84>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc89.testAlone_89>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc94.testAlone_94>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc99.testAlone_99>=1))) + EG(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((ProcBool1.wantSection_1>=1 * ProcTourProc0.testAlone_0>=1) + (ProcBool1.wantSection_1>=1 * ProcTourProc5.testAlone_5>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc10.testAlone_10>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc15.testAlone_15>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc20.testAlone_20>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc25.testAlone_25>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc30.testAlone_30>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc35.testAlone_35>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc40.testAlone_40>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc45.testAlone_45>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc50.testAlone_50>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc55.testAlone_55>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc60.testAlone_60>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc65.testAlone_65>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc70.testAlone_70>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc75.testAlone_75>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc80.testAlone_80>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc85.testAlone_85>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc90.testAlone_90>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc95.testAlone_95>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc1.testAlone_1>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc6.testAlone_6>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc11.testAlone_11>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc16.testAlone_16>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc21.testAlone_21>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc26.testAlone_26>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc31.testAlone_31>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc36.testAlone_36>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc41.testAlone_41>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc46.testAlone_46>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc51.testAlone_51>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc56.testAlone_56>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc61.testAlone_61>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc66.testAlone_66>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc71.testAlone_71>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc76.testAlone_76>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc81.testAlone_81>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc86.testAlone_86>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc91.testAlone_91>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc96.testAlone_96>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc2.testAlone_2>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc7.testAlone_7>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc12.testAlone_12>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc17.testAlone_17>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc22.testAlone_22>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc27.testAlone_27>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc32.testAlone_32>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc37.testAlone_37>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc42.testAlone_42>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc47.testAlone_47>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc52.testAlone_52>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc57.testAlone_57>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc62.testAlone_62>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc67.testAlone_67>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc72.testAlone_72>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc77.testAlone_77>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc82.testAlone_82>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc87.testAlone_87>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc92.testAlone_92>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc97.testAlone_97>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc3.testAlone_3>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc8.testAlone_8>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc13.testAlone_13>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc18.testAlone_18>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc23.testAlone_23>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc28.testAlone_28>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc33.testAlone_33>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc38.testAlone_38>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc43.testAlone_43>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc48.testAlone_48>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc53.testAlone_53>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc58.testAlone_58>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc63.testAlone_63>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc68.testAlone_68>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc73.testAlone_73>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc78.testAlone_78>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc83.testAlone_83>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc88.testAlone_88>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc93.testAlone_93>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc98.testAlone_98>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc4.testAlone_4>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc9.testAlone_9>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc14.testAlone_14>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc19.testAlone_19>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc24.testAlone_24>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc29.testAlone_29>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc34.testAlone_34>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc39.testAlone_39>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc44.testAlone_44>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc49.testAlone_49>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc54.testAlone_54>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc59.testAlone_59>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc64.testAlone_64>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc69.testAlone_69>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc74.testAlone_74>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc79.testAlone_79>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc84.testAlone_84>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc89.testAlone_89>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc94.testAlone_94>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc99.testAlone_99>=1)))) * EG(!(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((TourProc0.turn_0>=1 * ProcTour4.testTurn_4>=1) + (TourProc5.turn_5>=1 * ProcTour5.testTurn_5>=1)) + (TourProc10.turn_10>=1 * ProcTour6.testTurn_6>=1)) + (TourProc15.turn_15>=1 * ProcTour7.testTurn_7>=1)) + (TourProc0.turn_0>=1 * ProcTour8.testTurn_8>=1)) + (TourProc5.turn_5>=1 * ProcTour9.testTurn_9>=1)) + (TourProc10.turn_10>=1 * ProcTour10.testTurn_10>=1)) + (TourProc15.turn_15>=1 * ProcTour11.testTurn_11>=1)) + (TourProc0.turn_0>=1 * ProcTour12.testTurn_12>=1)) + (TourProc5.turn_5>=1 * ProcTour13.testTurn_13>=1)) + (TourProc10.turn_10>=1 * ProcTour14.testTurn_14>=1)) + (TourProc15.turn_15>=1 * ProcTour15.testTurn_15>=1)) + (TourProc0.turn_0>=1 * ProcTour16.testTurn_16>=1)) + (TourProc5.turn_5>=1 * ProcTour17.testTurn_17>=1)) + (TourProc10.turn_10>=1 * ProcTour18.testTurn_18>=1)) + (TourProc15.turn_15>=1 * ProcTour19.testTurn_19>=1)) + (TourProc1.turn_1>=1 * ProcTour0.testTurn_0>=1)) + (TourProc6.turn_6>=1 * ProcTour1.testTurn_1>=1)) + (TourProc11.turn_11>=1 * ProcTour2.testTurn_2>=1)) + (TourProc16.turn_16>=1 * ProcTour3.testTurn_3>=1)) + (TourProc1.turn_1>=1 * ProcTour8.testTurn_8>=1)) + (TourProc6.turn_6>=1 * ProcTour9.testTurn_9>=1)) + (TourProc11.turn_11>=1 * ProcTour10.testTurn_10>=1)) + (TourProc16.turn_16>=1 * ProcTour11.testTurn_11>=1)) + (TourProc1.turn_1>=1 * ProcTour12.testTurn_12>=1)) + (TourProc6.turn_6>=1 * ProcTour13.testTurn_13>=1)) + (TourProc11.turn_11>=1 * ProcTour14.testTurn_14>=1)) + (TourProc16.turn_16>=1 * ProcTour15.testTurn_15>=1)) + (TourProc1.turn_1>=1 * ProcTour16.testTurn_16>=1)) + (TourProc6.turn_6>=1 * ProcTour17.testTurn_17>=1)) + (TourProc11.turn_11>=1 * ProcTour18.testTurn_18>=1)) + (TourProc16.turn_16>=1 * ProcTour19.testTurn_19>=1)) + (TourProc2.turn_2>=1 * ProcTour0.testTurn_0>=1)) + (TourProc7.turn_7>=1 * ProcTour1.testTurn_1>=1)) + (TourProc12.turn_12>=1 * ProcTour2.testTurn_2>=1)) + (TourProc17.turn_17>=1 * ProcTour3.testTurn_3>=1)) + (TourProc2.turn_2>=1 * ProcTour4.testTurn_4>=1)) + (TourProc7.turn_7>=1 * ProcTour5.testTurn_5>=1)) + (TourProc12.turn_12>=1 * ProcTour6.testTurn_6>=1)) + (TourProc17.turn_17>=1 * ProcTour7.testTurn_7>=1)) + (TourProc2.turn_2>=1 * ProcTour12.testTurn_12>=1)) + (TourProc7.turn_7>=1 * ProcTour13.testTurn_13>=1)) + (TourProc12.turn_12>=1 * ProcTour14.testTurn_14>=1)) + (TourProc17.turn_17>=1 * ProcTour15.testTurn_15>=1)) + (TourProc2.turn_2>=1 * ProcTour16.testTurn_16>=1)) + (TourProc7.turn_7>=1 * ProcTour17.testTurn_17>=1)) + (TourProc12.turn_12>=1 * ProcTour18.testTurn_18>=1)) + (TourProc17.turn_17>=1 * ProcTour19.testTurn_19>=1)) + (TourProc3.turn_3>=1 * ProcTour0.testTurn_0>=1)) + (TourProc8.turn_8>=1 * ProcTour1.testTurn_1>=1)) + (TourProc13.turn_13>=1 * ProcTour2.testTurn_2>=1)) + (TourProc18.turn_18>=1 * ProcTour3.testTurn_3>=1)) + (TourProc3.turn_3>=1 * ProcTour4.testTurn_4>=1)) + (TourProc8.turn_8>=1 * ProcTour5.testTurn_5>=1)) + (TourProc13.turn_13>=1 * ProcTour6.testTurn_6>=1)) + (TourProc18.turn_18>=1 * ProcTour7.testTurn_7>=1)) + (TourProc3.turn_3>=1 * ProcTour8.testTurn_8>=1)) + (TourProc8.turn_8>=1 * ProcTour9.testTurn_9>=1)) + (TourProc13.turn_13>=1 * ProcTour10.testTurn_10>=1)) + (TourProc18.turn_18>=1 * ProcTour11.testTurn_11>=1)) + (TourProc3.turn_3>=1 * ProcTour16.testTurn_16>=1)) + (TourProc8.turn_8>=1 * ProcTour17.testTurn_17>=1)) + (TourProc13.turn_13>=1 * ProcTour18.testTurn_18>=1)) + (TourProc18.turn_18>=1 * ProcTour19.testTurn_19>=1)) + (TourProc4.turn_4>=1 * ProcTour0.testTurn_0>=1)) + (TourProc9.turn_9>=1 * ProcTour1.testTurn_1>=1)) + (TourProc14.turn_14>=1 * ProcTour2.testTurn_2>=1)) + (TourProc19.turn_19>=1 * ProcTour3.testTurn_3>=1)) + (TourProc4.turn_4>=1 * ProcTour4.testTurn_4>=1)) + (TourProc9.turn_9>=1 * ProcTour5.testTurn_5>=1)) + (TourProc14.turn_14>=1 * ProcTour6.testTurn_6>=1)) + (TourProc19.turn_19>=1 * ProcTour7.testTurn_7>=1)) + (TourProc4.turn_4>=1 * ProcTour8.testTurn_8>=1)) + (TourProc9.turn_9>=1 * ProcTour9.testTurn_9>=1)) + (TourProc14.turn_14>=1 * ProcTour10.testTurn_10>=1)) + (TourProc19.turn_19>=1 * ProcTour11.testTurn_11>=1)) + (TourProc4.turn_4>=1 * ProcTour12.testTurn_12>=1)) + (TourProc9.turn_9>=1 * ProcTour13.testTurn_13>=1)) + (TourProc14.turn_14>=1 * ProcTour14.testTurn_14>=1)) + (TourProc19.turn_19>=1 * ProcTour15.testTurn_15>=1)))))))
=> equivalent forward existential formula: ([(Init * (((((((((((((((((((ProcTourProc0.testIdentity_0>=1 + ProcTourProc5.testIdentity_5>=1) + ProcTourProc10.testIdentity_10>=1) + ProcTourProc15.testIdentity_15>=1) + ProcTourProc21.testIdentity_21>=1) + ProcTourProc26.testIdentity_26>=1) + ProcTourProc31.testIdentity_31>=1) + ProcTourProc36.testIdentity_36>=1) + ProcTourProc42.testIdentity_42>=1) + ProcTourProc47.testIdentity_47>=1) + ProcTourProc52.testIdentity_52>=1) + ProcTourProc57.testIdentity_57>=1) + ProcTourProc63.testIdentity_63>=1) + ProcTourProc68.testIdentity_68>=1) + ProcTourProc73.testIdentity_73>=1) + ProcTourProc78.testIdentity_78>=1) + ProcTourProc84.testIdentity_84>=1) + ProcTourProc89.testIdentity_89>=1) + ProcTourProc94.testIdentity_94>=1) + ProcTourProc99.testIdentity_99>=1))] != FALSE + ([FwdG((Init * !(EG(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((ProcBool1.wantSection_1>=1 * ProcTourProc0.testAlone_0>=1) + (ProcBool1.wantSection_1>=1 * ProcTourProc5.testAlone_5>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc10.testAlone_10>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc15.testAlone_15>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc20.testAlone_20>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc25.testAlone_25>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc30.testAlone_30>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc35.testAlone_35>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc40.testAlone_40>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc45.testAlone_45>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc50.testAlone_50>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc55.testAlone_55>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc60.testAlone_60>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc65.testAlone_65>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc70.testAlone_70>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc75.testAlone_75>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc80.testAlone_80>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc85.testAlone_85>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc90.testAlone_90>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc95.testAlone_95>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc1.testAlone_1>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc6.testAlone_6>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc11.testAlone_11>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc16.testAlone_16>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc21.testAlone_21>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc26.testAlone_26>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc31.testAlone_31>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc36.testAlone_36>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc41.testAlone_41>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc46.testAlone_46>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc51.testAlone_51>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc56.testAlone_56>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc61.testAlone_61>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc66.testAlone_66>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc71.testAlone_71>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc76.testAlone_76>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc81.testAlone_81>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc86.testAlone_86>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc91.testAlone_91>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc96.testAlone_96>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc2.testAlone_2>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc7.testAlone_7>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc12.testAlone_12>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc17.testAlone_17>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc22.testAlone_22>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc27.testAlone_27>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc32.testAlone_32>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc37.testAlone_37>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc42.testAlone_42>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc47.testAlone_47>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc52.testAlone_52>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc57.testAlone_57>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc62.testAlone_62>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc67.testAlone_67>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc72.testAlone_72>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc77.testAlone_77>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc82.testAlone_82>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc87.testAlone_87>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc92.testAlone_92>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc97.testAlone_97>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc3.testAlone_3>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc8.testAlone_8>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc13.testAlone_13>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc18.testAlone_18>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc23.testAlone_23>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc28.testAlone_28>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc33.testAlone_33>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc38.testAlone_38>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc43.testAlone_43>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc48.testAlone_48>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc53.testAlone_53>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc58.testAlone_58>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc63.testAlone_63>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc68.testAlone_68>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc73.testAlone_73>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc78.testAlone_78>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc83.testAlone_83>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc88.testAlone_88>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc93.testAlone_93>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc98.testAlone_98>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc4.testAlone_4>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc9.testAlone_9>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc14.testAlone_14>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc19.testAlone_19>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc24.testAlone_24>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc29.testAlone_29>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc34.testAlone_34>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc39.testAlone_39>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc44.testAlone_44>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc49.testAlone_49>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc54.testAlone_54>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc59.testAlone_59>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc64.testAlone_64>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc69.testAlone_69>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc74.testAlone_74>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc79.testAlone_79>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc84.testAlone_84>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc89.testAlone_89>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc94.testAlone_94>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc99.testAlone_99>=1))))),!(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((ProcBool1.wantSection_1>=1 * ProcTourProc0.testAlone_0>=1) + (ProcBool1.wantSection_1>=1 * ProcTourProc5.testAlone_5>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc10.testAlone_10>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc15.testAlone_15>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc20.testAlone_20>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc25.testAlone_25>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc30.testAlone_30>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc35.testAlone_35>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc40.testAlone_40>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc45.testAlone_45>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc50.testAlone_50>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc55.testAlone_55>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc60.testAlone_60>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc65.testAlone_65>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc70.testAlone_70>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc75.testAlone_75>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc80.testAlone_80>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc85.testAlone_85>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc90.testAlone_90>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc95.testAlone_95>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc1.testAlone_1>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc6.testAlone_6>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc11.testAlone_11>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc16.testAlone_16>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc21.testAlone_21>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc26.testAlone_26>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc31.testAlone_31>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc36.testAlone_36>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc41.testAlone_41>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc46.testAlone_46>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc51.testAlone_51>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc56.testAlone_56>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc61.testAlone_61>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc66.testAlone_66>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc71.testAlone_71>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc76.testAlone_76>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc81.testAlone_81>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc86.testAlone_86>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc91.testAlone_91>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc96.testAlone_96>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc2.testAlone_2>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc7.testAlone_7>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc12.testAlone_12>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc17.testAlone_17>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc22.testAlone_22>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc27.testAlone_27>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc32.testAlone_32>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc37.testAlone_37>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc42.testAlone_42>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc47.testAlone_47>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc52.testAlone_52>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc57.testAlone_57>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc62.testAlone_62>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc67.testAlone_67>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc72.testAlone_72>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc77.testAlone_77>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc82.testAlone_82>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc87.testAlone_87>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc92.testAlone_92>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc97.testAlone_97>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc3.testAlone_3>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc8.testAlone_8>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc13.testAlone_13>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc18.testAlone_18>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc23.testAlone_23>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc28.testAlone_28>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc33.testAlone_33>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc38.testAlone_38>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc43.testAlone_43>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc48.testAlone_48>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc53.testAlone_53>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc58.testAlone_58>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc63.testAlone_63>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc68.testAlone_68>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc73.testAlone_73>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc78.testAlone_78>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc83.testAlone_83>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc88.testAlone_88>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc93.testAlone_93>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc98.testAlone_98>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc4.testAlone_4>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc9.testAlone_9>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc14.testAlone_14>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc19.testAlone_19>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc24.testAlone_24>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc29.testAlone_29>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc34.testAlone_34>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc39.testAlone_39>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc44.testAlone_44>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc49.testAlone_49>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc54.testAlone_54>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc59.testAlone_59>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc64.testAlone_64>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc69.testAlone_69>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc74.testAlone_74>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc79.testAlone_79>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc84.testAlone_84>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc89.testAlone_89>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc94.testAlone_94>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc99.testAlone_99>=1))))] != FALSE + [(Init * !(EG(!(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((TourProc0.turn_0>=1 * ProcTour4.testTurn_4>=1) + (TourProc5.turn_5>=1 * ProcTour5.testTurn_5>=1)) + (TourProc10.turn_10>=1 * ProcTour6.testTurn_6>=1)) + (TourProc15.turn_15>=1 * ProcTour7.testTurn_7>=1)) + (TourProc0.turn_0>=1 * ProcTour8.testTurn_8>=1)) + (TourProc5.turn_5>=1 * ProcTour9.testTurn_9>=1)) + (TourProc10.turn_10>=1 * ProcTour10.testTurn_10>=1)) + (TourProc15.turn_15>=1 * ProcTour11.testTurn_11>=1)) + (TourProc0.turn_0>=1 * ProcTour12.testTurn_12>=1)) + (TourProc5.turn_5>=1 * ProcTour13.testTurn_13>=1)) + (TourProc10.turn_10>=1 * ProcTour14.testTurn_14>=1)) + (TourProc15.turn_15>=1 * ProcTour15.testTurn_15>=1)) + (TourProc0.turn_0>=1 * ProcTour16.testTurn_16>=1)) + (TourProc5.turn_5>=1 * ProcTour17.testTurn_17>=1)) + (TourProc10.turn_10>=1 * ProcTour18.testTurn_18>=1)) + (TourProc15.turn_15>=1 * ProcTour19.testTurn_19>=1)) + (TourProc1.turn_1>=1 * ProcTour0.testTurn_0>=1)) + (TourProc6.turn_6>=1 * ProcTour1.testTurn_1>=1)) + (TourProc11.turn_11>=1 * ProcTour2.testTurn_2>=1)) + (TourProc16.turn_16>=1 * ProcTour3.testTurn_3>=1)) + (TourProc1.turn_1>=1 * ProcTour8.testTurn_8>=1)) + (TourProc6.turn_6>=1 * ProcTour9.testTurn_9>=1)) + (TourProc11.turn_11>=1 * ProcTour10.testTurn_10>=1)) + (TourProc16.turn_16>=1 * ProcTour11.testTurn_11>=1)) + (TourProc1.turn_1>=1 * ProcTour12.testTurn_12>=1)) + (TourProc6.turn_6>=1 * ProcTour13.testTurn_13>=1)) + (TourProc11.turn_11>=1 * ProcTour14.testTurn_14>=1)) + (TourProc16.turn_16>=1 * ProcTour15.testTurn_15>=1)) + (TourProc1.turn_1>=1 * ProcTour16.testTurn_16>=1)) + (TourProc6.turn_6>=1 * ProcTour17.testTurn_17>=1)) + (TourProc11.turn_11>=1 * ProcTour18.testTurn_18>=1)) + (TourProc16.turn_16>=1 * ProcTour19.testTurn_19>=1)) + (TourProc2.turn_2>=1 * ProcTour0.testTurn_0>=1)) + (TourProc7.turn_7>=1 * ProcTour1.testTurn_1>=1)) + (TourProc12.turn_12>=1 * ProcTour2.testTurn_2>=1)) + (TourProc17.turn_17>=1 * ProcTour3.testTurn_3>=1)) + (TourProc2.turn_2>=1 * ProcTour4.testTurn_4>=1)) + (TourProc7.turn_7>=1 * ProcTour5.testTurn_5>=1)) + (TourProc12.turn_12>=1 * ProcTour6.testTurn_6>=1)) + (TourProc17.turn_17>=1 * ProcTour7.testTurn_7>=1)) + (TourProc2.turn_2>=1 * ProcTour12.testTurn_12>=1)) + (TourProc7.turn_7>=1 * ProcTour13.testTurn_13>=1)) + (TourProc12.turn_12>=1 * ProcTour14.testTurn_14>=1)) + (TourProc17.turn_17>=1 * ProcTour15.testTurn_15>=1)) + (TourProc2.turn_2>=1 * ProcTour16.testTurn_16>=1)) + (TourProc7.turn_7>=1 * ProcTour17.testTurn_17>=1)) + (TourProc12.turn_12>=1 * ProcTour18.testTurn_18>=1)) + (TourProc17.turn_17>=1 * ProcTour19.testTurn_19>=1)) + (TourProc3.turn_3>=1 * ProcTour0.testTurn_0>=1)) + (TourProc8.turn_8>=1 * ProcTour1.testTurn_1>=1)) + (TourProc13.turn_13>=1 * ProcTour2.testTurn_2>=1)) + (TourProc18.turn_18>=1 * ProcTour3.testTurn_3>=1)) + (TourProc3.turn_3>=1 * ProcTour4.testTurn_4>=1)) + (TourProc8.turn_8>=1 * ProcTour5.testTurn_5>=1)) + (TourProc13.turn_13>=1 * ProcTour6.testTurn_6>=1)) + (TourProc18.turn_18>=1 * ProcTour7.testTurn_7>=1)) + (TourProc3.turn_3>=1 * ProcTour8.testTurn_8>=1)) + (TourProc8.turn_8>=1 * ProcTour9.testTurn_9>=1)) + (TourProc13.turn_13>=1 * ProcTour10.testTurn_10>=1)) + (TourProc18.turn_18>=1 * ProcTour11.testTurn_11>=1)) + (TourProc3.turn_3>=1 * ProcTour16.testTurn_16>=1)) + (TourProc8.turn_8>=1 * ProcTour17.testTurn_17>=1)) + (TourProc13.turn_13>=1 * ProcTour18.testTurn_18>=1)) + (TourProc18.turn_18>=1 * ProcTour19.testTurn_19>=1)) + (TourProc4.turn_4>=1 * ProcTour0.testTurn_0>=1)) + (TourProc9.turn_9>=1 * ProcTour1.testTurn_1>=1)) + (TourProc14.turn_14>=1 * ProcTour2.testTurn_2>=1)) + (TourProc19.turn_19>=1 * ProcTour3.testTurn_3>=1)) + (TourProc4.turn_4>=1 * ProcTour4.testTurn_4>=1)) + (TourProc9.turn_9>=1 * ProcTour5.testTurn_5>=1)) + (TourProc14.turn_14>=1 * ProcTour6.testTurn_6>=1)) + (TourProc19.turn_19>=1 * ProcTour7.testTurn_7>=1)) + (TourProc4.turn_4>=1 * ProcTour8.testTurn_8>=1)) + (TourProc9.turn_9>=1 * ProcTour9.testTurn_9>=1)) + (TourProc14.turn_14>=1 * ProcTour10.testTurn_10>=1)) + (TourProc19.turn_19>=1 * ProcTour11.testTurn_11>=1)) + (TourProc4.turn_4>=1 * ProcTour12.testTurn_12>=1)) + (TourProc9.turn_9>=1 * ProcTour13.testTurn_13>=1)) + (TourProc14.turn_14>=1 * ProcTour14.testTurn_14>=1)) + (TourProc19.turn_19>=1 * ProcTour15.testTurn_15>=1))))))] != FALSE))
Checking (exact) 0 :([(Init * (((((((((((((((((((ProcTourProc0.testIdentity_0>=1 + ProcTourProc5.testIdentity_5>=1) + ProcTourProc10.testIdentity_10>=1) + ProcTourProc15.testIdentity_15>=1) + ProcTourProc21.testIdentity_21>=1) + ProcTourProc26.testIdentity_26>=1) + ProcTourProc31.testIdentity_31>=1) + ProcTourProc36.testIdentity_36>=1) + ProcTourProc42.testIdentity_42>=1) + ProcTourProc47.testIdentity_47>=1) + ProcTourProc52.testIdentity_52>=1) + ProcTourProc57.testIdentity_57>=1) + ProcTourProc63.testIdentity_63>=1) + ProcTourProc68.testIdentity_68>=1) + ProcTourProc73.testIdentity_73>=1) + ProcTourProc78.testIdentity_78>=1) + ProcTourProc84.testIdentity_84>=1) + ProcTourProc89.testIdentity_89>=1) + ProcTourProc94.testIdentity_94>=1) + ProcTourProc99.testIdentity_99>=1))] != FALSE + ([FwdG((Init * !(EG(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((ProcBool1.wantSection_1>=1 * ProcTourProc0.testAlone_0>=1) + (ProcBool1.wantSection_1>=1 * ProcTourProc5.testAlone_5>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc10.testAlone_10>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc15.testAlone_15>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc20.testAlone_20>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc25.testAlone_25>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc30.testAlone_30>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc35.testAlone_35>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc40.testAlone_40>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc45.testAlone_45>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc50.testAlone_50>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc55.testAlone_55>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc60.testAlone_60>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc65.testAlone_65>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc70.testAlone_70>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc75.testAlone_75>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc80.testAlone_80>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc85.testAlone_85>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc90.testAlone_90>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc95.testAlone_95>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc1.testAlone_1>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc6.testAlone_6>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc11.testAlone_11>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc16.testAlone_16>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc21.testAlone_21>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc26.testAlone_26>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc31.testAlone_31>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc36.testAlone_36>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc41.testAlone_41>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc46.testAlone_46>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc51.testAlone_51>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc56.testAlone_56>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc61.testAlone_61>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc66.testAlone_66>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc71.testAlone_71>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc76.testAlone_76>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc81.testAlone_81>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc86.testAlone_86>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc91.testAlone_91>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc96.testAlone_96>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc2.testAlone_2>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc7.testAlone_7>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc12.testAlone_12>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc17.testAlone_17>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc22.testAlone_22>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc27.testAlone_27>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc32.testAlone_32>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc37.testAlone_37>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc42.testAlone_42>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc47.testAlone_47>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc52.testAlone_52>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc57.testAlone_57>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc62.testAlone_62>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc67.testAlone_67>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc72.testAlone_72>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc77.testAlone_77>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc82.testAlone_82>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc87.testAlone_87>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc92.testAlone_92>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc97.testAlone_97>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc3.testAlone_3>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc8.testAlone_8>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc13.testAlone_13>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc18.testAlone_18>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc23.testAlone_23>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc28.testAlone_28>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc33.testAlone_33>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc38.testAlone_38>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc43.testAlone_43>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc48.testAlone_48>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc53.testAlone_53>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc58.testAlone_58>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc63.testAlone_63>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc68.testAlone_68>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc73.testAlone_73>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc78.testAlone_78>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc83.testAlone_83>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc88.testAlone_88>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc93.testAlone_93>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc98.testAlone_98>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc4.testAlone_4>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc9.testAlone_9>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc14.testAlone_14>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc19.testAlone_19>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc24.testAlone_24>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc29.testAlone_29>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc34.testAlone_34>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc39.testAlone_39>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc44.testAlone_44>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc49.testAlone_49>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc54.testAlone_54>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc59.testAlone_59>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc64.testAlone_64>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc69.testAlone_69>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc74.testAlone_74>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc79.testAlone_79>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc84.testAlone_84>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc89.testAlone_89>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc94.testAlone_94>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc99.testAlone_99>=1))))),!(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((ProcBool1.wantSection_1>=1 * ProcTourProc0.testAlone_0>=1) + (ProcBool1.wantSection_1>=1 * ProcTourProc5.testAlone_5>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc10.testAlone_10>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc15.testAlone_15>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc20.testAlone_20>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc25.testAlone_25>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc30.testAlone_30>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc35.testAlone_35>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc40.testAlone_40>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc45.testAlone_45>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc50.testAlone_50>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc55.testAlone_55>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc60.testAlone_60>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc65.testAlone_65>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc70.testAlone_70>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc75.testAlone_75>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc80.testAlone_80>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc85.testAlone_85>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc90.testAlone_90>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc95.testAlone_95>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc1.testAlone_1>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc6.testAlone_6>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc11.testAlone_11>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc16.testAlone_16>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc21.testAlone_21>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc26.testAlone_26>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc31.testAlone_31>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc36.testAlone_36>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc41.testAlone_41>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc46.testAlone_46>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc51.testAlone_51>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc56.testAlone_56>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc61.testAlone_61>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc66.testAlone_66>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc71.testAlone_71>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc76.testAlone_76>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc81.testAlone_81>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc86.testAlone_86>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc91.testAlone_91>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc96.testAlone_96>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc2.testAlone_2>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc7.testAlone_7>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc12.testAlone_12>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc17.testAlone_17>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc22.testAlone_22>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc27.testAlone_27>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc32.testAlone_32>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc37.testAlone_37>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc42.testAlone_42>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc47.testAlone_47>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc52.testAlone_52>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc57.testAlone_57>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc62.testAlone_62>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc67.testAlone_67>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc72.testAlone_72>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc77.testAlone_77>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc82.testAlone_82>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc87.testAlone_87>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc92.testAlone_92>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc97.testAlone_97>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc3.testAlone_3>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc8.testAlone_8>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc13.testAlone_13>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc18.testAlone_18>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc23.testAlone_23>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc28.testAlone_28>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc33.testAlone_33>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc38.testAlone_38>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc43.testAlone_43>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc48.testAlone_48>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc53.testAlone_53>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc58.testAlone_58>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc63.testAlone_63>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc68.testAlone_68>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc73.testAlone_73>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc78.testAlone_78>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc83.testAlone_83>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc88.testAlone_88>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc93.testAlone_93>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc98.testAlone_98>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc4.testAlone_4>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc9.testAlone_9>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc14.testAlone_14>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc19.testAlone_19>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc24.testAlone_24>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc29.testAlone_29>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc34.testAlone_34>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc39.testAlone_39>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc44.testAlone_44>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc49.testAlone_49>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc54.testAlone_54>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc59.testAlone_59>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc64.testAlone_64>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc69.testAlone_69>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc74.testAlone_74>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc79.testAlone_79>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc84.testAlone_84>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc89.testAlone_89>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc94.testAlone_94>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc99.testAlone_99>=1))))] != FALSE + [(Init * !(EG(!(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((TourProc0.turn_0>=1 * ProcTour4.testTurn_4>=1) + (TourProc5.turn_5>=1 * ProcTour5.testTurn_5>=1)) + (TourProc10.turn_10>=1 * ProcTour6.testTurn_6>=1)) + (TourProc15.turn_15>=1 * ProcTour7.testTurn_7>=1)) + (TourProc0.turn_0>=1 * ProcTour8.testTurn_8>=1)) + (TourProc5.turn_5>=1 * ProcTour9.testTurn_9>=1)) + (TourProc10.turn_10>=1 * ProcTour10.testTurn_10>=1)) + (TourProc15.turn_15>=1 * ProcTour11.testTurn_11>=1)) + (TourProc0.turn_0>=1 * ProcTour12.testTurn_12>=1)) + (TourProc5.turn_5>=1 * ProcTour13.testTurn_13>=1)) + (TourProc10.turn_10>=1 * ProcTour14.testTurn_14>=1)) + (TourProc15.turn_15>=1 * ProcTour15.testTurn_15>=1)) + (TourProc0.turn_0>=1 * ProcTour16.testTurn_16>=1)) + (TourProc5.turn_5>=1 * ProcTour17.testTurn_17>=1)) + (TourProc10.turn_10>=1 * ProcTour18.testTurn_18>=1)) + (TourProc15.turn_15>=1 * ProcTour19.testTurn_19>=1)) + (TourProc1.turn_1>=1 * ProcTour0.testTurn_0>=1)) + (TourProc6.turn_6>=1 * ProcTour1.testTurn_1>=1)) + (TourProc11.turn_11>=1 * ProcTour2.testTurn_2>=1)) + (TourProc16.turn_16>=1 * ProcTour3.testTurn_3>=1)) + (TourProc1.turn_1>=1 * ProcTour8.testTurn_8>=1)) + (TourProc6.turn_6>=1 * ProcTour9.testTurn_9>=1)) + (TourProc11.turn_11>=1 * ProcTour10.testTurn_10>=1)) + (TourProc16.turn_16>=1 * ProcTour11.testTurn_11>=1)) + (TourProc1.turn_1>=1 * ProcTour12.testTurn_12>=1)) + (TourProc6.turn_6>=1 * ProcTour13.testTurn_13>=1)) + (TourProc11.turn_11>=1 * ProcTour14.testTurn_14>=1)) + (TourProc16.turn_16>=1 * ProcTour15.testTurn_15>=1)) + (TourProc1.turn_1>=1 * ProcTour16.testTurn_16>=1)) + (TourProc6.turn_6>=1 * ProcTour17.testTurn_17>=1)) + (TourProc11.turn_11>=1 * ProcTour18.testTurn_18>=1)) + (TourProc16.turn_16>=1 * ProcTour19.testTurn_19>=1)) + (TourProc2.turn_2>=1 * ProcTour0.testTurn_0>=1)) + (TourProc7.turn_7>=1 * ProcTour1.testTurn_1>=1)) + (TourProc12.turn_12>=1 * ProcTour2.testTurn_2>=1)) + (TourProc17.turn_17>=1 * ProcTour3.testTurn_3>=1)) + (TourProc2.turn_2>=1 * ProcTour4.testTurn_4>=1)) + (TourProc7.turn_7>=1 * ProcTour5.testTurn_5>=1)) + (TourProc12.turn_12>=1 * ProcTour6.testTurn_6>=1)) + (TourProc17.turn_17>=1 * ProcTour7.testTurn_7>=1)) + (TourProc2.turn_2>=1 * ProcTour12.testTurn_12>=1)) + (TourProc7.turn_7>=1 * ProcTour13.testTurn_13>=1)) + (TourProc12.turn_12>=1 * ProcTour14.testTurn_14>=1)) + (TourProc17.turn_17>=1 * ProcTour15.testTurn_15>=1)) + (TourProc2.turn_2>=1 * ProcTour16.testTurn_16>=1)) + (TourProc7.turn_7>=1 * ProcTour17.testTurn_17>=1)) + (TourProc12.turn_12>=1 * ProcTour18.testTurn_18>=1)) + (TourProc17.turn_17>=1 * ProcTour19.testTurn_19>=1)) + (TourProc3.turn_3>=1 * ProcTour0.testTurn_0>=1)) + (TourProc8.turn_8>=1 * ProcTour1.testTurn_1>=1)) + (TourProc13.turn_13>=1 * ProcTour2.testTurn_2>=1)) + (TourProc18.turn_18>=1 * ProcTour3.testTurn_3>=1)) + (TourProc3.turn_3>=1 * ProcTour4.testTurn_4>=1)) + (TourProc8.turn_8>=1 * ProcTour5.testTurn_5>=1)) + (TourProc13.turn_13>=1 * ProcTour6.testTurn_6>=1)) + (TourProc18.turn_18>=1 * ProcTour7.testTurn_7>=1)) + (TourProc3.turn_3>=1 * ProcTour8.testTurn_8>=1)) + (TourProc8.turn_8>=1 * ProcTour9.testTurn_9>=1)) + (TourProc13.turn_13>=1 * ProcTour10.testTurn_10>=1)) + (TourProc18.turn_18>=1 * ProcTour11.testTurn_11>=1)) + (TourProc3.turn_3>=1 * ProcTour16.testTurn_16>=1)) + (TourProc8.turn_8>=1 * ProcTour17.testTurn_17>=1)) + (TourProc13.turn_13>=1 * ProcTour18.testTurn_18>=1)) + (TourProc18.turn_18>=1 * ProcTour19.testTurn_19>=1)) + (TourProc4.turn_4>=1 * ProcTour0.testTurn_0>=1)) + (TourProc9.turn_9>=1 * ProcTour1.testTurn_1>=1)) + (TourProc14.turn_14>=1 * ProcTour2.testTurn_2>=1)) + (TourProc19.turn_19>=1 * ProcTour3.testTurn_3>=1)) + (TourProc4.turn_4>=1 * ProcTour4.testTurn_4>=1)) + (TourProc9.turn_9>=1 * ProcTour5.testTurn_5>=1)) + (TourProc14.turn_14>=1 * ProcTour6.testTurn_6>=1)) + (TourProc19.turn_19>=1 * ProcTour7.testTurn_7>=1)) + (TourProc4.turn_4>=1 * ProcTour8.testTurn_8>=1)) + (TourProc9.turn_9>=1 * ProcTour9.testTurn_9>=1)) + (TourProc14.turn_14>=1 * ProcTour10.testTurn_10>=1)) + (TourProc19.turn_19>=1 * ProcTour11.testTurn_11>=1)) + (TourProc4.turn_4>=1 * ProcTour12.testTurn_12>=1)) + (TourProc9.turn_9>=1 * ProcTour13.testTurn_13>=1)) + (TourProc14.turn_14>=1 * ProcTour14.testTurn_14>=1)) + (TourProc19.turn_19>=1 * ProcTour15.testTurn_15>=1))))))] != FALSE))
Checking (exact) 0 :[(Init * (((((((((((((((((((ProcTourProc0.testIdentity_0>=1 + ProcTourProc5.testIdentity_5>=1) + ProcTourProc10.testIdentity_10>=1) + ProcTourProc15.testIdentity_15>=1) + ProcTourProc21.testIdentity_21>=1) + ProcTourProc26.testIdentity_26>=1) + ProcTourProc31.testIdentity_31>=1) + ProcTourProc36.testIdentity_36>=1) + ProcTourProc42.testIdentity_42>=1) + ProcTourProc47.testIdentity_47>=1) + ProcTourProc52.testIdentity_52>=1) + ProcTourProc57.testIdentity_57>=1) + ProcTourProc63.testIdentity_63>=1) + ProcTourProc68.testIdentity_68>=1) + ProcTourProc73.testIdentity_73>=1) + ProcTourProc78.testIdentity_78>=1) + ProcTourProc84.testIdentity_84>=1) + ProcTourProc89.testIdentity_89>=1) + ProcTourProc94.testIdentity_94>=1) + ProcTourProc99.testIdentity_99>=1))] != FALSE
Checking (exact) 0 :(Init * (((((((((((((((((((ProcTourProc0.testIdentity_0>=1 + ProcTourProc5.testIdentity_5>=1) + ProcTourProc10.testIdentity_10>=1) + ProcTourProc15.testIdentity_15>=1) + ProcTourProc21.testIdentity_21>=1) + ProcTourProc26.testIdentity_26>=1) + ProcTourProc31.testIdentity_31>=1) + ProcTourProc36.testIdentity_36>=1) + ProcTourProc42.testIdentity_42>=1) + ProcTourProc47.testIdentity_47>=1) + ProcTourProc52.testIdentity_52>=1) + ProcTourProc57.testIdentity_57>=1) + ProcTourProc63.testIdentity_63>=1) + ProcTourProc68.testIdentity_68>=1) + ProcTourProc73.testIdentity_73>=1) + ProcTourProc78.testIdentity_78>=1) + ProcTourProc84.testIdentity_84>=1) + ProcTourProc89.testIdentity_89>=1) + ProcTourProc94.testIdentity_94>=1) + ProcTourProc99.testIdentity_99>=1))
Checking (exact) 0 :([FwdG((Init * !(EG(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((ProcBool1.wantSection_1>=1 * ProcTourProc0.testAlone_0>=1) + (ProcBool1.wantSection_1>=1 * ProcTourProc5.testAlone_5>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc10.testAlone_10>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc15.testAlone_15>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc20.testAlone_20>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc25.testAlone_25>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc30.testAlone_30>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc35.testAlone_35>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc40.testAlone_40>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc45.testAlone_45>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc50.testAlone_50>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc55.testAlone_55>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc60.testAlone_60>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc65.testAlone_65>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc70.testAlone_70>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc75.testAlone_75>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc80.testAlone_80>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc85.testAlone_85>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc90.testAlone_90>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc95.testAlone_95>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc1.testAlone_1>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc6.testAlone_6>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc11.testAlone_11>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc16.testAlone_16>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc21.testAlone_21>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc26.testAlone_26>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc31.testAlone_31>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc36.testAlone_36>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc41.testAlone_41>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc46.testAlone_46>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc51.testAlone_51>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc56.testAlone_56>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc61.testAlone_61>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc66.testAlone_66>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc71.testAlone_71>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc76.testAlone_76>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc81.testAlone_81>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc86.testAlone_86>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc91.testAlone_91>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc96.testAlone_96>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc2.testAlone_2>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc7.testAlone_7>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc12.testAlone_12>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc17.testAlone_17>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc22.testAlone_22>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc27.testAlone_27>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc32.testAlone_32>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc37.testAlone_37>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc42.testAlone_42>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc47.testAlone_47>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc52.testAlone_52>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc57.testAlone_57>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc62.testAlone_62>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc67.testAlone_67>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc72.testAlone_72>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc77.testAlone_77>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc82.testAlone_82>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc87.testAlone_87>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc92.testAlone_92>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc97.testAlone_97>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc3.testAlone_3>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc8.testAlone_8>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc13.testAlone_13>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc18.testAlone_18>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc23.testAlone_23>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc28.testAlone_28>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc33.testAlone_33>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc38.testAlone_38>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc43.testAlone_43>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc48.testAlone_48>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc53.testAlone_53>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc58.testAlone_58>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc63.testAlone_63>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc68.testAlone_68>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc73.testAlone_73>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc78.testAlone_78>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc83.testAlone_83>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc88.testAlone_88>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc93.testAlone_93>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc98.testAlone_98>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc4.testAlone_4>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc9.testAlone_9>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc14.testAlone_14>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc19.testAlone_19>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc24.testAlone_24>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc29.testAlone_29>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc34.testAlone_34>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc39.testAlone_39>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc44.testAlone_44>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc49.testAlone_49>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc54.testAlone_54>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc59.testAlone_59>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc64.testAlone_64>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc69.testAlone_69>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc74.testAlone_74>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc79.testAlone_79>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc84.testAlone_84>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc89.testAlone_89>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc94.testAlone_94>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc99.testAlone_99>=1))))),!(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((ProcBool1.wantSection_1>=1 * ProcTourProc0.testAlone_0>=1) + (ProcBool1.wantSection_1>=1 * ProcTourProc5.testAlone_5>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc10.testAlone_10>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc15.testAlone_15>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc20.testAlone_20>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc25.testAlone_25>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc30.testAlone_30>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc35.testAlone_35>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc40.testAlone_40>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc45.testAlone_45>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc50.testAlone_50>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc55.testAlone_55>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc60.testAlone_60>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc65.testAlone_65>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc70.testAlone_70>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc75.testAlone_75>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc80.testAlone_80>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc85.testAlone_85>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc90.testAlone_90>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc95.testAlone_95>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc1.testAlone_1>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc6.testAlone_6>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc11.testAlone_11>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc16.testAlone_16>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc21.testAlone_21>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc26.testAlone_26>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc31.testAlone_31>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc36.testAlone_36>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc41.testAlone_41>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc46.testAlone_46>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc51.testAlone_51>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc56.testAlone_56>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc61.testAlone_61>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc66.testAlone_66>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc71.testAlone_71>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc76.testAlone_76>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc81.testAlone_81>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc86.testAlone_86>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc91.testAlone_91>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc96.testAlone_96>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc2.testAlone_2>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc7.testAlone_7>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc12.testAlone_12>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc17.testAlone_17>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc22.testAlone_22>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc27.testAlone_27>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc32.testAlone_32>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc37.testAlone_37>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc42.testAlone_42>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc47.testAlone_47>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc52.testAlone_52>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc57.testAlone_57>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc62.testAlone_62>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc67.testAlone_67>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc72.testAlone_72>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc77.testAlone_77>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc82.testAlone_82>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc87.testAlone_87>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc92.testAlone_92>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc97.testAlone_97>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc3.testAlone_3>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc8.testAlone_8>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc13.testAlone_13>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc18.testAlone_18>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc23.testAlone_23>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc28.testAlone_28>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc33.testAlone_33>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc38.testAlone_38>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc43.testAlone_43>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc48.testAlone_48>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc53.testAlone_53>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc58.testAlone_58>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc63.testAlone_63>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc68.testAlone_68>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc73.testAlone_73>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc78.testAlone_78>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc83.testAlone_83>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc88.testAlone_88>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc93.testAlone_93>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc98.testAlone_98>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc4.testAlone_4>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc9.testAlone_9>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc14.testAlone_14>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc19.testAlone_19>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc24.testAlone_24>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc29.testAlone_29>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc34.testAlone_34>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc39.testAlone_39>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc44.testAlone_44>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc49.testAlone_49>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc54.testAlone_54>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc59.testAlone_59>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc64.testAlone_64>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc69.testAlone_69>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc74.testAlone_74>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc79.testAlone_79>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc84.testAlone_84>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc89.testAlone_89>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc94.testAlone_94>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc99.testAlone_99>=1))))] != FALSE + [(Init * !(EG(!(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((TourProc0.turn_0>=1 * ProcTour4.testTurn_4>=1) + (TourProc5.turn_5>=1 * ProcTour5.testTurn_5>=1)) + (TourProc10.turn_10>=1 * ProcTour6.testTurn_6>=1)) + (TourProc15.turn_15>=1 * ProcTour7.testTurn_7>=1)) + (TourProc0.turn_0>=1 * ProcTour8.testTurn_8>=1)) + (TourProc5.turn_5>=1 * ProcTour9.testTurn_9>=1)) + (TourProc10.turn_10>=1 * ProcTour10.testTurn_10>=1)) + (TourProc15.turn_15>=1 * ProcTour11.testTurn_11>=1)) + (TourProc0.turn_0>=1 * ProcTour12.testTurn_12>=1)) + (TourProc5.turn_5>=1 * ProcTour13.testTurn_13>=1)) + (TourProc10.turn_10>=1 * ProcTour14.testTurn_14>=1)) + (TourProc15.turn_15>=1 * ProcTour15.testTurn_15>=1)) + (TourProc0.turn_0>=1 * ProcTour16.testTurn_16>=1)) + (TourProc5.turn_5>=1 * ProcTour17.testTurn_17>=1)) + (TourProc10.turn_10>=1 * ProcTour18.testTurn_18>=1)) + (TourProc15.turn_15>=1 * ProcTour19.testTurn_19>=1)) + (TourProc1.turn_1>=1 * ProcTour0.testTurn_0>=1)) + (TourProc6.turn_6>=1 * ProcTour1.testTurn_1>=1)) + (TourProc11.turn_11>=1 * ProcTour2.testTurn_2>=1)) + (TourProc16.turn_16>=1 * ProcTour3.testTurn_3>=1)) + (TourProc1.turn_1>=1 * ProcTour8.testTurn_8>=1)) + (TourProc6.turn_6>=1 * ProcTour9.testTurn_9>=1)) + (TourProc11.turn_11>=1 * ProcTour10.testTurn_10>=1)) + (TourProc16.turn_16>=1 * ProcTour11.testTurn_11>=1)) + (TourProc1.turn_1>=1 * ProcTour12.testTurn_12>=1)) + (TourProc6.turn_6>=1 * ProcTour13.testTurn_13>=1)) + (TourProc11.turn_11>=1 * ProcTour14.testTurn_14>=1)) + (TourProc16.turn_16>=1 * ProcTour15.testTurn_15>=1)) + (TourProc1.turn_1>=1 * ProcTour16.testTurn_16>=1)) + (TourProc6.turn_6>=1 * ProcTour17.testTurn_17>=1)) + (TourProc11.turn_11>=1 * ProcTour18.testTurn_18>=1)) + (TourProc16.turn_16>=1 * ProcTour19.testTurn_19>=1)) + (TourProc2.turn_2>=1 * ProcTour0.testTurn_0>=1)) + (TourProc7.turn_7>=1 * ProcTour1.testTurn_1>=1)) + (TourProc12.turn_12>=1 * ProcTour2.testTurn_2>=1)) + (TourProc17.turn_17>=1 * ProcTour3.testTurn_3>=1)) + (TourProc2.turn_2>=1 * ProcTour4.testTurn_4>=1)) + (TourProc7.turn_7>=1 * ProcTour5.testTurn_5>=1)) + (TourProc12.turn_12>=1 * ProcTour6.testTurn_6>=1)) + (TourProc17.turn_17>=1 * ProcTour7.testTurn_7>=1)) + (TourProc2.turn_2>=1 * ProcTour12.testTurn_12>=1)) + (TourProc7.turn_7>=1 * ProcTour13.testTurn_13>=1)) + (TourProc12.turn_12>=1 * ProcTour14.testTurn_14>=1)) + (TourProc17.turn_17>=1 * ProcTour15.testTurn_15>=1)) + (TourProc2.turn_2>=1 * ProcTour16.testTurn_16>=1)) + (TourProc7.turn_7>=1 * ProcTour17.testTurn_17>=1)) + (TourProc12.turn_12>=1 * ProcTour18.testTurn_18>=1)) + (TourProc17.turn_17>=1 * ProcTour19.testTurn_19>=1)) + (TourProc3.turn_3>=1 * ProcTour0.testTurn_0>=1)) + (TourProc8.turn_8>=1 * ProcTour1.testTurn_1>=1)) + (TourProc13.turn_13>=1 * ProcTour2.testTurn_2>=1)) + (TourProc18.turn_18>=1 * ProcTour3.testTurn_3>=1)) + (TourProc3.turn_3>=1 * ProcTour4.testTurn_4>=1)) + (TourProc8.turn_8>=1 * ProcTour5.testTurn_5>=1)) + (TourProc13.turn_13>=1 * ProcTour6.testTurn_6>=1)) + (TourProc18.turn_18>=1 * ProcTour7.testTurn_7>=1)) + (TourProc3.turn_3>=1 * ProcTour8.testTurn_8>=1)) + (TourProc8.turn_8>=1 * ProcTour9.testTurn_9>=1)) + (TourProc13.turn_13>=1 * ProcTour10.testTurn_10>=1)) + (TourProc18.turn_18>=1 * ProcTour11.testTurn_11>=1)) + (TourProc3.turn_3>=1 * ProcTour16.testTurn_16>=1)) + (TourProc8.turn_8>=1 * ProcTour17.testTurn_17>=1)) + (TourProc13.turn_13>=1 * ProcTour18.testTurn_18>=1)) + (TourProc18.turn_18>=1 * ProcTour19.testTurn_19>=1)) + (TourProc4.turn_4>=1 * ProcTour0.testTurn_0>=1)) + (TourProc9.turn_9>=1 * ProcTour1.testTurn_1>=1)) + (TourProc14.turn_14>=1 * ProcTour2.testTurn_2>=1)) + (TourProc19.turn_19>=1 * ProcTour3.testTurn_3>=1)) + (TourProc4.turn_4>=1 * ProcTour4.testTurn_4>=1)) + (TourProc9.turn_9>=1 * ProcTour5.testTurn_5>=1)) + (TourProc14.turn_14>=1 * ProcTour6.testTurn_6>=1)) + (TourProc19.turn_19>=1 * ProcTour7.testTurn_7>=1)) + (TourProc4.turn_4>=1 * ProcTour8.testTurn_8>=1)) + (TourProc9.turn_9>=1 * ProcTour9.testTurn_9>=1)) + (TourProc14.turn_14>=1 * ProcTour10.testTurn_10>=1)) + (TourProc19.turn_19>=1 * ProcTour11.testTurn_11>=1)) + (TourProc4.turn_4>=1 * ProcTour12.testTurn_12>=1)) + (TourProc9.turn_9>=1 * ProcTour13.testTurn_13>=1)) + (TourProc14.turn_14>=1 * ProcTour14.testTurn_14>=1)) + (TourProc19.turn_19>=1 * ProcTour15.testTurn_15>=1))))))] != FALSE)
Checking (exact) 0 :[FwdG((Init * !(EG(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((ProcBool1.wantSection_1>=1 * ProcTourProc0.testAlone_0>=1) + (ProcBool1.wantSection_1>=1 * ProcTourProc5.testAlone_5>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc10.testAlone_10>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc15.testAlone_15>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc20.testAlone_20>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc25.testAlone_25>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc30.testAlone_30>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc35.testAlone_35>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc40.testAlone_40>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc45.testAlone_45>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc50.testAlone_50>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc55.testAlone_55>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc60.testAlone_60>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc65.testAlone_65>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc70.testAlone_70>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc75.testAlone_75>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc80.testAlone_80>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc85.testAlone_85>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc90.testAlone_90>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc95.testAlone_95>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc1.testAlone_1>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc6.testAlone_6>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc11.testAlone_11>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc16.testAlone_16>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc21.testAlone_21>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc26.testAlone_26>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc31.testAlone_31>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc36.testAlone_36>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc41.testAlone_41>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc46.testAlone_46>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc51.testAlone_51>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc56.testAlone_56>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc61.testAlone_61>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc66.testAlone_66>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc71.testAlone_71>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc76.testAlone_76>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc81.testAlone_81>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc86.testAlone_86>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc91.testAlone_91>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc96.testAlone_96>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc2.testAlone_2>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc7.testAlone_7>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc12.testAlone_12>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc17.testAlone_17>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc22.testAlone_22>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc27.testAlone_27>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc32.testAlone_32>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc37.testAlone_37>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc42.testAlone_42>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc47.testAlone_47>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc52.testAlone_52>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc57.testAlone_57>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc62.testAlone_62>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc67.testAlone_67>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc72.testAlone_72>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc77.testAlone_77>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc82.testAlone_82>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc87.testAlone_87>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc92.testAlone_92>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc97.testAlone_97>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc3.testAlone_3>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc8.testAlone_8>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc13.testAlone_13>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc18.testAlone_18>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc23.testAlone_23>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc28.testAlone_28>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc33.testAlone_33>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc38.testAlone_38>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc43.testAlone_43>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc48.testAlone_48>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc53.testAlone_53>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc58.testAlone_58>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc63.testAlone_63>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc68.testAlone_68>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc73.testAlone_73>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc78.testAlone_78>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc83.testAlone_83>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc88.testAlone_88>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc93.testAlone_93>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc98.testAlone_98>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc4.testAlone_4>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc9.testAlone_9>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc14.testAlone_14>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc19.testAlone_19>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc24.testAlone_24>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc29.testAlone_29>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc34.testAlone_34>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc39.testAlone_39>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc44.testAlone_44>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc49.testAlone_49>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc54.testAlone_54>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc59.testAlone_59>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc64.testAlone_64>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc69.testAlone_69>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc74.testAlone_74>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc79.testAlone_79>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc84.testAlone_84>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc89.testAlone_89>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc94.testAlone_94>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc99.testAlone_99>=1))))),!(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((ProcBool1.wantSection_1>=1 * ProcTourProc0.testAlone_0>=1) + (ProcBool1.wantSection_1>=1 * ProcTourProc5.testAlone_5>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc10.testAlone_10>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc15.testAlone_15>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc20.testAlone_20>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc25.testAlone_25>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc30.testAlone_30>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc35.testAlone_35>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc40.testAlone_40>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc45.testAlone_45>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc50.testAlone_50>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc55.testAlone_55>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc60.testAlone_60>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc65.testAlone_65>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc70.testAlone_70>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc75.testAlone_75>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc80.testAlone_80>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc85.testAlone_85>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc90.testAlone_90>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc95.testAlone_95>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc1.testAlone_1>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc6.testAlone_6>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc11.testAlone_11>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc16.testAlone_16>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc21.testAlone_21>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc26.testAlone_26>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc31.testAlone_31>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc36.testAlone_36>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc41.testAlone_41>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc46.testAlone_46>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc51.testAlone_51>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc56.testAlone_56>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc61.testAlone_61>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc66.testAlone_66>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc71.testAlone_71>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc76.testAlone_76>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc81.testAlone_81>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc86.testAlone_86>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc91.testAlone_91>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc96.testAlone_96>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc2.testAlone_2>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc7.testAlone_7>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc12.testAlone_12>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc17.testAlone_17>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc22.testAlone_22>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc27.testAlone_27>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc32.testAlone_32>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc37.testAlone_37>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc42.testAlone_42>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc47.testAlone_47>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc52.testAlone_52>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc57.testAlone_57>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc62.testAlone_62>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc67.testAlone_67>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc72.testAlone_72>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc77.testAlone_77>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc82.testAlone_82>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc87.testAlone_87>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc92.testAlone_92>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc97.testAlone_97>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc3.testAlone_3>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc8.testAlone_8>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc13.testAlone_13>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc18.testAlone_18>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc23.testAlone_23>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc28.testAlone_28>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc33.testAlone_33>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc38.testAlone_38>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc43.testAlone_43>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc48.testAlone_48>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc53.testAlone_53>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc58.testAlone_58>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc63.testAlone_63>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc68.testAlone_68>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc73.testAlone_73>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc78.testAlone_78>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc83.testAlone_83>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc88.testAlone_88>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc93.testAlone_93>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc98.testAlone_98>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc4.testAlone_4>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc9.testAlone_9>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc14.testAlone_14>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc19.testAlone_19>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc24.testAlone_24>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc29.testAlone_29>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc34.testAlone_34>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc39.testAlone_39>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc44.testAlone_44>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc49.testAlone_49>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc54.testAlone_54>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc59.testAlone_59>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc64.testAlone_64>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc69.testAlone_69>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc74.testAlone_74>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc79.testAlone_79>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc84.testAlone_84>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc89.testAlone_89>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc94.testAlone_94>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc99.testAlone_99>=1))))] != FALSE
Checking (exact) 0 :FwdG((Init * !(EG(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((ProcBool1.wantSection_1>=1 * ProcTourProc0.testAlone_0>=1) + (ProcBool1.wantSection_1>=1 * ProcTourProc5.testAlone_5>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc10.testAlone_10>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc15.testAlone_15>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc20.testAlone_20>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc25.testAlone_25>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc30.testAlone_30>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc35.testAlone_35>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc40.testAlone_40>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc45.testAlone_45>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc50.testAlone_50>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc55.testAlone_55>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc60.testAlone_60>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc65.testAlone_65>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc70.testAlone_70>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc75.testAlone_75>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc80.testAlone_80>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc85.testAlone_85>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc90.testAlone_90>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc95.testAlone_95>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc1.testAlone_1>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc6.testAlone_6>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc11.testAlone_11>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc16.testAlone_16>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc21.testAlone_21>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc26.testAlone_26>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc31.testAlone_31>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc36.testAlone_36>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc41.testAlone_41>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc46.testAlone_46>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc51.testAlone_51>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc56.testAlone_56>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc61.testAlone_61>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc66.testAlone_66>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc71.testAlone_71>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc76.testAlone_76>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc81.testAlone_81>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc86.testAlone_86>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc91.testAlone_91>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc96.testAlone_96>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc2.testAlone_2>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc7.testAlone_7>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc12.testAlone_12>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc17.testAlone_17>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc22.testAlone_22>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc27.testAlone_27>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc32.testAlone_32>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc37.testAlone_37>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc42.testAlone_42>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc47.testAlone_47>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc52.testAlone_52>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc57.testAlone_57>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc62.testAlone_62>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc67.testAlone_67>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc72.testAlone_72>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc77.testAlone_77>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc82.testAlone_82>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc87.testAlone_87>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc92.testAlone_92>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc97.testAlone_97>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc3.testAlone_3>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc8.testAlone_8>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc13.testAlone_13>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc18.testAlone_18>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc23.testAlone_23>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc28.testAlone_28>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc33.testAlone_33>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc38.testAlone_38>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc43.testAlone_43>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc48.testAlone_48>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc53.testAlone_53>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc58.testAlone_58>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc63.testAlone_63>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc68.testAlone_68>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc73.testAlone_73>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc78.testAlone_78>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc83.testAlone_83>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc88.testAlone_88>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc93.testAlone_93>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc98.testAlone_98>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc4.testAlone_4>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc9.testAlone_9>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc14.testAlone_14>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc19.testAlone_19>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc24.testAlone_24>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc29.testAlone_29>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc34.testAlone_34>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc39.testAlone_39>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc44.testAlone_44>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc49.testAlone_49>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc54.testAlone_54>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc59.testAlone_59>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc64.testAlone_64>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc69.testAlone_69>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc74.testAlone_74>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc79.testAlone_79>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc84.testAlone_84>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc89.testAlone_89>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc94.testAlone_94>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc99.testAlone_99>=1))))),!(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((ProcBool1.wantSection_1>=1 * ProcTourProc0.testAlone_0>=1) + (ProcBool1.wantSection_1>=1 * ProcTourProc5.testAlone_5>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc10.testAlone_10>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc15.testAlone_15>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc20.testAlone_20>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc25.testAlone_25>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc30.testAlone_30>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc35.testAlone_35>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc40.testAlone_40>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc45.testAlone_45>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc50.testAlone_50>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc55.testAlone_55>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc60.testAlone_60>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc65.testAlone_65>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc70.testAlone_70>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc75.testAlone_75>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc80.testAlone_80>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc85.testAlone_85>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc90.testAlone_90>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc95.testAlone_95>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc1.testAlone_1>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc6.testAlone_6>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc11.testAlone_11>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc16.testAlone_16>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc21.testAlone_21>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc26.testAlone_26>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc31.testAlone_31>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc36.testAlone_36>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc41.testAlone_41>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc46.testAlone_46>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc51.testAlone_51>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc56.testAlone_56>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc61.testAlone_61>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc66.testAlone_66>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc71.testAlone_71>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc76.testAlone_76>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc81.testAlone_81>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc86.testAlone_86>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc91.testAlone_91>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc96.testAlone_96>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc2.testAlone_2>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc7.testAlone_7>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc12.testAlone_12>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc17.testAlone_17>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc22.testAlone_22>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc27.testAlone_27>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc32.testAlone_32>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc37.testAlone_37>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc42.testAlone_42>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc47.testAlone_47>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc52.testAlone_52>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc57.testAlone_57>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc62.testAlone_62>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc67.testAlone_67>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc72.testAlone_72>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc77.testAlone_77>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc82.testAlone_82>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc87.testAlone_87>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc92.testAlone_92>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc97.testAlone_97>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc3.testAlone_3>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc8.testAlone_8>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc13.testAlone_13>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc18.testAlone_18>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc23.testAlone_23>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc28.testAlone_28>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc33.testAlone_33>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc38.testAlone_38>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc43.testAlone_43>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc48.testAlone_48>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc53.testAlone_53>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc58.testAlone_58>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc63.testAlone_63>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc68.testAlone_68>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc73.testAlone_73>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc78.testAlone_78>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc83.testAlone_83>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc88.testAlone_88>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc93.testAlone_93>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc98.testAlone_98>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc4.testAlone_4>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc9.testAlone_9>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc14.testAlone_14>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc19.testAlone_19>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc24.testAlone_24>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc29.testAlone_29>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc34.testAlone_34>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc39.testAlone_39>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc44.testAlone_44>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc49.testAlone_49>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc54.testAlone_54>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc59.testAlone_59>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc64.testAlone_64>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc69.testAlone_69>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc74.testAlone_74>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc79.testAlone_79>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc84.testAlone_84>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc89.testAlone_89>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc94.testAlone_94>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc99.testAlone_99>=1))))
Checking (exact) 1 :(Init * !(EG(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((ProcBool1.wantSection_1>=1 * ProcTourProc0.testAlone_0>=1) + (ProcBool1.wantSection_1>=1 * ProcTourProc5.testAlone_5>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc10.testAlone_10>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc15.testAlone_15>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc20.testAlone_20>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc25.testAlone_25>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc30.testAlone_30>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc35.testAlone_35>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc40.testAlone_40>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc45.testAlone_45>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc50.testAlone_50>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc55.testAlone_55>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc60.testAlone_60>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc65.testAlone_65>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc70.testAlone_70>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc75.testAlone_75>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc80.testAlone_80>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc85.testAlone_85>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc90.testAlone_90>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc95.testAlone_95>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc1.testAlone_1>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc6.testAlone_6>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc11.testAlone_11>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc16.testAlone_16>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc21.testAlone_21>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc26.testAlone_26>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc31.testAlone_31>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc36.testAlone_36>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc41.testAlone_41>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc46.testAlone_46>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc51.testAlone_51>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc56.testAlone_56>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc61.testAlone_61>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc66.testAlone_66>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc71.testAlone_71>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc76.testAlone_76>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc81.testAlone_81>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc86.testAlone_86>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc91.testAlone_91>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc96.testAlone_96>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc2.testAlone_2>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc7.testAlone_7>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc12.testAlone_12>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc17.testAlone_17>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc22.testAlone_22>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc27.testAlone_27>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc32.testAlone_32>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc37.testAlone_37>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc42.testAlone_42>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc47.testAlone_47>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc52.testAlone_52>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc57.testAlone_57>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc62.testAlone_62>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc67.testAlone_67>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc72.testAlone_72>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc77.testAlone_77>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc82.testAlone_82>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc87.testAlone_87>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc92.testAlone_92>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc97.testAlone_97>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc3.testAlone_3>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc8.testAlone_8>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc13.testAlone_13>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc18.testAlone_18>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc23.testAlone_23>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc28.testAlone_28>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc33.testAlone_33>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc38.testAlone_38>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc43.testAlone_43>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc48.testAlone_48>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc53.testAlone_53>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc58.testAlone_58>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc63.testAlone_63>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc68.testAlone_68>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc73.testAlone_73>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc78.testAlone_78>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc83.testAlone_83>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc88.testAlone_88>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc93.testAlone_93>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc98.testAlone_98>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc4.testAlone_4>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc9.testAlone_9>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc14.testAlone_14>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc19.testAlone_19>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc24.testAlone_24>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc29.testAlone_29>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc34.testAlone_34>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc39.testAlone_39>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc44.testAlone_44>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc49.testAlone_49>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc54.testAlone_54>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc59.testAlone_59>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc64.testAlone_64>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc69.testAlone_69>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc74.testAlone_74>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc79.testAlone_79>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc84.testAlone_84>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc89.testAlone_89>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc94.testAlone_94>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc99.testAlone_99>=1)))))
Checking (exact) 1 :!(EG(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((ProcBool1.wantSection_1>=1 * ProcTourProc0.testAlone_0>=1) + (ProcBool1.wantSection_1>=1 * ProcTourProc5.testAlone_5>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc10.testAlone_10>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc15.testAlone_15>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc20.testAlone_20>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc25.testAlone_25>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc30.testAlone_30>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc35.testAlone_35>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc40.testAlone_40>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc45.testAlone_45>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc50.testAlone_50>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc55.testAlone_55>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc60.testAlone_60>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc65.testAlone_65>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc70.testAlone_70>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc75.testAlone_75>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc80.testAlone_80>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc85.testAlone_85>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc90.testAlone_90>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc95.testAlone_95>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc1.testAlone_1>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc6.testAlone_6>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc11.testAlone_11>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc16.testAlone_16>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc21.testAlone_21>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc26.testAlone_26>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc31.testAlone_31>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc36.testAlone_36>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc41.testAlone_41>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc46.testAlone_46>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc51.testAlone_51>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc56.testAlone_56>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc61.testAlone_61>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc66.testAlone_66>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc71.testAlone_71>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc76.testAlone_76>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc81.testAlone_81>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc86.testAlone_86>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc91.testAlone_91>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc96.testAlone_96>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc2.testAlone_2>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc7.testAlone_7>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc12.testAlone_12>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc17.testAlone_17>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc22.testAlone_22>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc27.testAlone_27>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc32.testAlone_32>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc37.testAlone_37>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc42.testAlone_42>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc47.testAlone_47>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc52.testAlone_52>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc57.testAlone_57>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc62.testAlone_62>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc67.testAlone_67>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc72.testAlone_72>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc77.testAlone_77>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc82.testAlone_82>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc87.testAlone_87>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc92.testAlone_92>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc97.testAlone_97>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc3.testAlone_3>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc8.testAlone_8>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc13.testAlone_13>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc18.testAlone_18>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc23.testAlone_23>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc28.testAlone_28>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc33.testAlone_33>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc38.testAlone_38>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc43.testAlone_43>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc48.testAlone_48>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc53.testAlone_53>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc58.testAlone_58>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc63.testAlone_63>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc68.testAlone_68>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc73.testAlone_73>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc78.testAlone_78>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc83.testAlone_83>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc88.testAlone_88>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc93.testAlone_93>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc98.testAlone_98>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc4.testAlone_4>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc9.testAlone_9>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc14.testAlone_14>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc19.testAlone_19>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc24.testAlone_24>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc29.testAlone_29>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc34.testAlone_34>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc39.testAlone_39>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc44.testAlone_44>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc49.testAlone_49>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc54.testAlone_54>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc59.testAlone_59>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc64.testAlone_64>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc69.testAlone_69>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc74.testAlone_74>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc79.testAlone_79>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc84.testAlone_84>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc89.testAlone_89>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc94.testAlone_94>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc99.testAlone_99>=1))))
Checking (exact) 1 :EG(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((ProcBool1.wantSection_1>=1 * ProcTourProc0.testAlone_0>=1) + (ProcBool1.wantSection_1>=1 * ProcTourProc5.testAlone_5>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc10.testAlone_10>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc15.testAlone_15>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc20.testAlone_20>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc25.testAlone_25>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc30.testAlone_30>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc35.testAlone_35>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc40.testAlone_40>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc45.testAlone_45>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc50.testAlone_50>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc55.testAlone_55>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc60.testAlone_60>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc65.testAlone_65>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc70.testAlone_70>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc75.testAlone_75>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc80.testAlone_80>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc85.testAlone_85>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc90.testAlone_90>=1)) + (ProcBool1.wantSection_1>=1 * ProcTourProc95.testAlone_95>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc1.testAlone_1>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc6.testAlone_6>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc11.testAlone_11>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc16.testAlone_16>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc21.testAlone_21>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc26.testAlone_26>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc31.testAlone_31>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc36.testAlone_36>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc41.testAlone_41>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc46.testAlone_46>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc51.testAlone_51>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc56.testAlone_56>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc61.testAlone_61>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc66.testAlone_66>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc71.testAlone_71>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc76.testAlone_76>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc81.testAlone_81>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc86.testAlone_86>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc91.testAlone_91>=1)) + (ProcBool3.wantSection_3>=1 * ProcTourProc96.testAlone_96>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc2.testAlone_2>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc7.testAlone_7>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc12.testAlone_12>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc17.testAlone_17>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc22.testAlone_22>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc27.testAlone_27>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc32.testAlone_32>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc37.testAlone_37>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc42.testAlone_42>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc47.testAlone_47>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc52.testAlone_52>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc57.testAlone_57>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc62.testAlone_62>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc67.testAlone_67>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc72.testAlone_72>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc77.testAlone_77>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc82.testAlone_82>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc87.testAlone_87>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc92.testAlone_92>=1)) + (ProcBool5.wantSection_5>=1 * ProcTourProc97.testAlone_97>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc3.testAlone_3>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc8.testAlone_8>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc13.testAlone_13>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc18.testAlone_18>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc23.testAlone_23>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc28.testAlone_28>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc33.testAlone_33>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc38.testAlone_38>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc43.testAlone_43>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc48.testAlone_48>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc53.testAlone_53>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc58.testAlone_58>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc63.testAlone_63>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc68.testAlone_68>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc73.testAlone_73>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc78.testAlone_78>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc83.testAlone_83>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc88.testAlone_88>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc93.testAlone_93>=1)) + (ProcBool7.wantSection_7>=1 * ProcTourProc98.testAlone_98>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc4.testAlone_4>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc9.testAlone_9>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc14.testAlone_14>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc19.testAlone_19>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc24.testAlone_24>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc29.testAlone_29>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc34.testAlone_34>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc39.testAlone_39>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc44.testAlone_44>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc49.testAlone_49>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc54.testAlone_54>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc59.testAlone_59>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc64.testAlone_64>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc69.testAlone_69>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc74.testAlone_74>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc79.testAlone_79>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc84.testAlone_84>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc89.testAlone_89>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc94.testAlone_94>=1)) + (ProcBool9.wantSection_9>=1 * ProcTourProc99.testAlone_99>=1)))
Checking (exact) 1 :Init

BK_STOP 1464035602026

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

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution CTLFireability -its
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -XX:MaxPermSize=512m -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/BenchKit//eclipse/plugins/org.eclipse.equinox.launcher_1.3.100.v20150511-1540.jar org.eclipse.equinox.launcher.Main -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/BenchKit//workspace -os linux -ws gtk -arch x86_64 -nl en_US -consoleLog -pnfolder /home/mcc/execution -examination CTLFireability -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its
Java HotSpot(TM) 64-Bit Server VM warning: ignoring option MaxPermSize=512m; support was removed in 8.0
May 23, 2016 8:06:21 PM fr.lip6.move.gal.application.Application transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
May 23, 2016 8:06:21 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
May 23, 2016 8:06:27 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 5242 ms
May 23, 2016 8:06:27 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 11 places.
May 23, 2016 8:06:27 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: read order :VarOrder [vars=[idle[0], idle[1], idle[2], idle[3], idle[4], wantSection[0], wantSection[1], wantSection[2], wantSection[3], wantSection[4], wantSection[5], wantSection[6], wantSection[7], wantSection[8], wantSection[9], askForSection[0], askForSection[1], askForSection[2], askForSection[3], askForSection[4], askForSection[5], askForSection[6], askForSection[7], askForSection[8], askForSection[9], askForSection[10], askForSection[11], askForSection[12], askForSection[13], askForSection[14], askForSection[15], askForSection[16], askForSection[17], askForSection[18], askForSection[19], turn[0], turn[1], turn[2], turn[3], turn[4], turn[5], turn[6], turn[7], turn[8], turn[9], turn[10], turn[11], turn[12], turn[13], turn[14], turn[15], turn[16], turn[17], turn[18], turn[19], testTurn[0], testTurn[1], testTurn[2], testTurn[3], testTurn[4], testTurn[5], testTurn[6], testTurn[7], testTurn[8], testTurn[9], testTurn[10], testTurn[11], testTurn[12], testTurn[13], testTurn[14], testTurn[15], testTurn[16], testTurn[17], testTurn[18], testTurn[19], beginLoop[0], beginLoop[1], beginLoop[2], beginLoop[3], beginLoop[4], beginLoop[5], beginLoop[6], beginLoop[7], beginLoop[8], beginLoop[9], beginLoop[10], beginLoop[11], beginLoop[12], beginLoop[13], beginLoop[14], beginLoop[15], beginLoop[16], beginLoop[17], beginLoop[18], beginLoop[19], beginLoop[20], beginLoop[21], beginLoop[22], beginLoop[23], beginLoop[24], beginLoop[25], beginLoop[26], beginLoop[27], beginLoop[28], beginLoop[29], beginLoop[30], beginLoop[31], beginLoop[32], beginLoop[33], beginLoop[34], beginLoop[35], beginLoop[36], beginLoop[37], beginLoop[38], beginLoop[39], beginLoop[40], beginLoop[41], beginLoop[42], beginLoop[43], beginLoop[44], beginLoop[45], beginLoop[46], beginLoop[47], beginLoop[48], beginLoop[49], beginLoop[50], beginLoop[51], beginLoop[52], beginLoop[53], beginLoop[54], beginLoop[55], beginLoop[56], beginLoop[57], beginLoop[58], beginLoop[59], beginLoop[60], beginLoop[61], beginLoop[62], beginLoop[63], beginLoop[64], beginLoop[65], beginLoop[66], beginLoop[67], beginLoop[68], beginLoop[69], beginLoop[70], beginLoop[71], beginLoop[72], beginLoop[73], beginLoop[74], beginLoop[75], beginLoop[76], beginLoop[77], beginLoop[78], beginLoop[79], beginLoop[80], beginLoop[81], beginLoop[82], beginLoop[83], beginLoop[84], beginLoop[85], beginLoop[86], beginLoop[87], beginLoop[88], beginLoop[89], beginLoop[90], beginLoop[91], beginLoop[92], beginLoop[93], beginLoop[94], beginLoop[95], beginLoop[96], beginLoop[97], beginLoop[98], beginLoop[99], endTurn[0], endTurn[1], endTurn[2], endTurn[3], endTurn[4], endTurn[5], endTurn[6], endTurn[7], endTurn[8], endTurn[9], endTurn[10], endTurn[11], endTurn[12], endTurn[13], endTurn[14], endTurn[15], endTurn[16], endTurn[17], endTurn[18], endTurn[19], CS[0], CS[1], CS[2], CS[3], CS[4], testIdentity[0], testIdentity[1], testIdentity[2], testIdentity[3], testIdentity[4], testIdentity[5], testIdentity[6], testIdentity[7], testIdentity[8], testIdentity[9], testIdentity[10], testIdentity[11], testIdentity[12], testIdentity[13], testIdentity[14], testIdentity[15], testIdentity[16], testIdentity[17], testIdentity[18], testIdentity[19], testIdentity[20], testIdentity[21], testIdentity[22], testIdentity[23], testIdentity[24], testIdentity[25], testIdentity[26], testIdentity[27], testIdentity[28], testIdentity[29], testIdentity[30], testIdentity[31], testIdentity[32], testIdentity[33], testIdentity[34], testIdentity[35], testIdentity[36], testIdentity[37], testIdentity[38], testIdentity[39], testIdentity[40], testIdentity[41], testIdentity[42], testIdentity[43], testIdentity[44], testIdentity[45], testIdentity[46], testIdentity[47], testIdentity[48], testIdentity[49], testIdentity[50], testIdentity[51], testIdentity[52], testIdentity[53], testIdentity[54], testIdentity[55], testIdentity[56], testIdentity[57], testIdentity[58], testIdentity[59], testIdentity[60], testIdentity[61], testIdentity[62], testIdentity[63], testIdentity[64], testIdentity[65], testIdentity[66], testIdentity[67], testIdentity[68], testIdentity[69], testIdentity[70], testIdentity[71], testIdentity[72], testIdentity[73], testIdentity[74], testIdentity[75], testIdentity[76], testIdentity[77], testIdentity[78], testIdentity[79], testIdentity[80], testIdentity[81], testIdentity[82], testIdentity[83], testIdentity[84], testIdentity[85], testIdentity[86], testIdentity[87], testIdentity[88], testIdentity[89], testIdentity[90], testIdentity[91], testIdentity[92], testIdentity[93], testIdentity[94], testIdentity[95], testIdentity[96], testIdentity[97], testIdentity[98], testIdentity[99], testAlone[0], testAlone[1], testAlone[2], testAlone[3], testAlone[4], testAlone[5], testAlone[6], testAlone[7], testAlone[8], testAlone[9], testAlone[10], testAlone[11], testAlone[12], testAlone[13], testAlone[14], testAlone[15], testAlone[16], testAlone[17], testAlone[18], testAlone[19], testAlone[20], testAlone[21], testAlone[22], testAlone[23], testAlone[24], testAlone[25], testAlone[26], testAlone[27], testAlone[28], testAlone[29], testAlone[30], testAlone[31], testAlone[32], testAlone[33], testAlone[34], testAlone[35], testAlone[36], testAlone[37], testAlone[38], testAlone[39], testAlone[40], testAlone[41], testAlone[42], testAlone[43], testAlone[44], testAlone[45], testAlone[46], testAlone[47], testAlone[48], testAlone[49], testAlone[50], testAlone[51], testAlone[52], testAlone[53], testAlone[54], testAlone[55], testAlone[56], testAlone[57], testAlone[58], testAlone[59], testAlone[60], testAlone[61], testAlone[62], testAlone[63], testAlone[64], testAlone[65], testAlone[66], testAlone[67], testAlone[68], testAlone[69], testAlone[70], testAlone[71], testAlone[72], testAlone[73], testAlone[74], testAlone[75], testAlone[76], testAlone[77], testAlone[78], testAlone[79], testAlone[80], testAlone[81], testAlone[82], testAlone[83], testAlone[84], testAlone[85], testAlone[86], testAlone[87], testAlone[88], testAlone[89], testAlone[90], testAlone[91], testAlone[92], testAlone[93], testAlone[94], testAlone[95], testAlone[96], testAlone[97], testAlone[98], testAlone[99], isEndLoop[0], isEndLoop[1], isEndLoop[2], isEndLoop[3], isEndLoop[4], isEndLoop[5], isEndLoop[6], isEndLoop[7], isEndLoop[8], isEndLoop[9], isEndLoop[10], isEndLoop[11], isEndLoop[12], isEndLoop[13], isEndLoop[14], isEndLoop[15], isEndLoop[16], isEndLoop[17], isEndLoop[18], isEndLoop[19], isEndLoop[20], isEndLoop[21], isEndLoop[22], isEndLoop[23], isEndLoop[24], isEndLoop[25], isEndLoop[26], isEndLoop[27], isEndLoop[28], isEndLoop[29], isEndLoop[30], isEndLoop[31], isEndLoop[32], isEndLoop[33], isEndLoop[34], isEndLoop[35], isEndLoop[36], isEndLoop[37], isEndLoop[38], isEndLoop[39], isEndLoop[40], isEndLoop[41], isEndLoop[42], isEndLoop[43], isEndLoop[44], isEndLoop[45], isEndLoop[46], isEndLoop[47], isEndLoop[48], isEndLoop[49], isEndLoop[50], isEndLoop[51], isEndLoop[52], isEndLoop[53], isEndLoop[54], isEndLoop[55], isEndLoop[56], isEndLoop[57], isEndLoop[58], isEndLoop[59], isEndLoop[60], isEndLoop[61], isEndLoop[62], isEndLoop[63], isEndLoop[64], isEndLoop[65], isEndLoop[66], isEndLoop[67], isEndLoop[68], isEndLoop[69], isEndLoop[70], isEndLoop[71], isEndLoop[72], isEndLoop[73], isEndLoop[74], isEndLoop[75], isEndLoop[76], isEndLoop[77], isEndLoop[78], isEndLoop[79], isEndLoop[80], isEndLoop[81], isEndLoop[82], isEndLoop[83], isEndLoop[84], isEndLoop[85], isEndLoop[86], isEndLoop[87], isEndLoop[88], isEndLoop[89], isEndLoop[90], isEndLoop[91], isEndLoop[92], isEndLoop[93], isEndLoop[94], isEndLoop[95], isEndLoop[96], isEndLoop[97], isEndLoop[98], isEndLoop[99]]]
May 23, 2016 8:06:27 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: sort/places :ProcTourProc->beginLoop,testIdentity,testAlone,isEndLoop,
ProcBool->wantSection,
ProcTour->askForSection,testTurn,endTurn,
TourProc->turn,
Process->idle,CS,

May 23, 2016 8:06:27 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 14 transitions.
May 23, 2016 8:06:27 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains : CompositeGalOrder [children=[VarOrder [vars=[beginLoop[0], testIdentity[0], testAlone[0], isEndLoop[0]]], VarOrder [vars=[beginLoop[1], testIdentity[1], testAlone[1], isEndLoop[1]]], VarOrder [vars=[beginLoop[2], testIdentity[2], testAlone[2], isEndLoop[2]]], VarOrder [vars=[beginLoop[3], testIdentity[3], testAlone[3], isEndLoop[3]]], VarOrder [vars=[beginLoop[4], testIdentity[4], testAlone[4], isEndLoop[4]]], VarOrder [vars=[beginLoop[5], testIdentity[5], testAlone[5], isEndLoop[5]]], VarOrder [vars=[beginLoop[6], testIdentity[6], testAlone[6], isEndLoop[6]]], VarOrder [vars=[beginLoop[7], testIdentity[7], testAlone[7], isEndLoop[7]]], VarOrder [vars=[beginLoop[8], testIdentity[8], testAlone[8], isEndLoop[8]]], VarOrder [vars=[beginLoop[9], testIdentity[9], testAlone[9], isEndLoop[9]]], VarOrder [vars=[beginLoop[10], testIdentity[10], testAlone[10], isEndLoop[10]]], VarOrder [vars=[beginLoop[11], testIdentity[11], testAlone[11], isEndLoop[11]]], VarOrder [vars=[beginLoop[12], testIdentity[12], testAlone[12], isEndLoop[12]]], VarOrder [vars=[beginLoop[13], testIdentity[13], testAlone[13], isEndLoop[13]]], VarOrder [vars=[beginLoop[14], testIdentity[14], testAlone[14], isEndLoop[14]]], VarOrder [vars=[beginLoop[15], testIdentity[15], testAlone[15], isEndLoop[15]]], VarOrder [vars=[beginLoop[16], testIdentity[16], testAlone[16], isEndLoop[16]]], VarOrder [vars=[beginLoop[17], testIdentity[17], testAlone[17], isEndLoop[17]]], VarOrder [vars=[beginLoop[18], testIdentity[18], testAlone[18], isEndLoop[18]]], VarOrder [vars=[beginLoop[19], testIdentity[19], testAlone[19], isEndLoop[19]]], VarOrder [vars=[beginLoop[20], testIdentity[20], testAlone[20], isEndLoop[20]]], VarOrder [vars=[beginLoop[21], testIdentity[21], testAlone[21], isEndLoop[21]]], VarOrder [vars=[beginLoop[22], testIdentity[22], testAlone[22], isEndLoop[22]]], VarOrder [vars=[beginLoop[23], testIdentity[23], testAlone[23], isEndLoop[23]]], VarOrder [vars=[beginLoop[24], testIdentity[24], testAlone[24], isEndLoop[24]]], VarOrder [vars=[beginLoop[25], testIdentity[25], testAlone[25], isEndLoop[25]]], VarOrder [vars=[beginLoop[26], testIdentity[26], testAlone[26], isEndLoop[26]]], VarOrder [vars=[beginLoop[27], testIdentity[27], testAlone[27], isEndLoop[27]]], VarOrder [vars=[beginLoop[28], testIdentity[28], testAlone[28], isEndLoop[28]]], VarOrder [vars=[beginLoop[29], testIdentity[29], testAlone[29], isEndLoop[29]]], VarOrder [vars=[beginLoop[30], testIdentity[30], testAlone[30], isEndLoop[30]]], VarOrder [vars=[beginLoop[31], testIdentity[31], testAlone[31], isEndLoop[31]]], VarOrder [vars=[beginLoop[32], testIdentity[32], testAlone[32], isEndLoop[32]]], VarOrder [vars=[beginLoop[33], testIdentity[33], testAlone[33], isEndLoop[33]]], VarOrder [vars=[beginLoop[34], testIdentity[34], testAlone[34], isEndLoop[34]]], VarOrder [vars=[beginLoop[35], testIdentity[35], testAlone[35], isEndLoop[35]]], VarOrder [vars=[beginLoop[36], testIdentity[36], testAlone[36], isEndLoop[36]]], VarOrder [vars=[beginLoop[37], testIdentity[37], testAlone[37], isEndLoop[37]]], VarOrder [vars=[beginLoop[38], testIdentity[38], testAlone[38], isEndLoop[38]]], VarOrder [vars=[beginLoop[39], testIdentity[39], testAlone[39], isEndLoop[39]]], VarOrder [vars=[beginLoop[40], testIdentity[40], testAlone[40], isEndLoop[40]]], VarOrder [vars=[beginLoop[41], testIdentity[41], testAlone[41], isEndLoop[41]]], VarOrder [vars=[beginLoop[42], testIdentity[42], testAlone[42], isEndLoop[42]]], VarOrder [vars=[beginLoop[43], testIdentity[43], testAlone[43], isEndLoop[43]]], VarOrder [vars=[beginLoop[44], testIdentity[44], testAlone[44], isEndLoop[44]]], VarOrder [vars=[beginLoop[45], testIdentity[45], testAlone[45], isEndLoop[45]]], VarOrder [vars=[beginLoop[46], testIdentity[46], testAlone[46], isEndLoop[46]]], VarOrder [vars=[beginLoop[47], testIdentity[47], testAlone[47], isEndLoop[47]]], VarOrder [vars=[beginLoop[48], testIdentity[48], testAlone[48], isEndLoop[48]]], VarOrder [vars=[beginLoop[49], testIdentity[49], testAlone[49], isEndLoop[49]]], VarOrder [vars=[beginLoop[50], testIdentity[50], testAlone[50], isEndLoop[50]]], VarOrder [vars=[beginLoop[51], testIdentity[51], testAlone[51], isEndLoop[51]]], VarOrder [vars=[beginLoop[52], testIdentity[52], testAlone[52], isEndLoop[52]]], VarOrder [vars=[beginLoop[53], testIdentity[53], testAlone[53], isEndLoop[53]]], VarOrder [vars=[beginLoop[54], testIdentity[54], testAlone[54], isEndLoop[54]]], VarOrder [vars=[beginLoop[55], testIdentity[55], testAlone[55], isEndLoop[55]]], VarOrder [vars=[beginLoop[56], testIdentity[56], testAlone[56], isEndLoop[56]]], VarOrder [vars=[beginLoop[57], testIdentity[57], testAlone[57], isEndLoop[57]]], VarOrder [vars=[beginLoop[58], testIdentity[58], testAlone[58], isEndLoop[58]]], VarOrder [vars=[beginLoop[59], testIdentity[59], testAlone[59], isEndLoop[59]]], VarOrder [vars=[beginLoop[60], testIdentity[60], testAlone[60], isEndLoop[60]]], VarOrder [vars=[beginLoop[61], testIdentity[61], testAlone[61], isEndLoop[61]]], VarOrder [vars=[beginLoop[62], testIdentity[62], testAlone[62], isEndLoop[62]]], VarOrder [vars=[beginLoop[63], testIdentity[63], testAlone[63], isEndLoop[63]]], VarOrder [vars=[beginLoop[64], testIdentity[64], testAlone[64], isEndLoop[64]]], VarOrder [vars=[beginLoop[65], testIdentity[65], testAlone[65], isEndLoop[65]]], VarOrder [vars=[beginLoop[66], testIdentity[66], testAlone[66], isEndLoop[66]]], VarOrder [vars=[beginLoop[67], testIdentity[67], testAlone[67], isEndLoop[67]]], VarOrder [vars=[beginLoop[68], testIdentity[68], testAlone[68], isEndLoop[68]]], VarOrder [vars=[beginLoop[69], testIdentity[69], testAlone[69], isEndLoop[69]]], VarOrder [vars=[beginLoop[70], testIdentity[70], testAlone[70], isEndLoop[70]]], VarOrder [vars=[beginLoop[71], testIdentity[71], testAlone[71], isEndLoop[71]]], VarOrder [vars=[beginLoop[72], testIdentity[72], testAlone[72], isEndLoop[72]]], VarOrder [vars=[beginLoop[73], testIdentity[73], testAlone[73], isEndLoop[73]]], VarOrder [vars=[beginLoop[74], testIdentity[74], testAlone[74], isEndLoop[74]]], VarOrder [vars=[beginLoop[75], testIdentity[75], testAlone[75], isEndLoop[75]]], VarOrder [vars=[beginLoop[76], testIdentity[76], testAlone[76], isEndLoop[76]]], VarOrder [vars=[beginLoop[77], testIdentity[77], testAlone[77], isEndLoop[77]]], VarOrder [vars=[beginLoop[78], testIdentity[78], testAlone[78], isEndLoop[78]]], VarOrder [vars=[beginLoop[79], testIdentity[79], testAlone[79], isEndLoop[79]]], VarOrder [vars=[beginLoop[80], testIdentity[80], testAlone[80], isEndLoop[80]]], VarOrder [vars=[beginLoop[81], testIdentity[81], testAlone[81], isEndLoop[81]]], VarOrder [vars=[beginLoop[82], testIdentity[82], testAlone[82], isEndLoop[82]]], VarOrder [vars=[beginLoop[83], testIdentity[83], testAlone[83], isEndLoop[83]]], VarOrder [vars=[beginLoop[84], testIdentity[84], testAlone[84], isEndLoop[84]]], VarOrder [vars=[beginLoop[85], testIdentity[85], testAlone[85], isEndLoop[85]]], VarOrder [vars=[beginLoop[86], testIdentity[86], testAlone[86], isEndLoop[86]]], VarOrder [vars=[beginLoop[87], testIdentity[87], testAlone[87], isEndLoop[87]]], VarOrder [vars=[beginLoop[88], testIdentity[88], testAlone[88], isEndLoop[88]]], VarOrder [vars=[beginLoop[89], testIdentity[89], testAlone[89], isEndLoop[89]]], VarOrder [vars=[beginLoop[90], testIdentity[90], testAlone[90], isEndLoop[90]]], VarOrder [vars=[beginLoop[91], testIdentity[91], testAlone[91], isEndLoop[91]]], VarOrder [vars=[beginLoop[92], testIdentity[92], testAlone[92], isEndLoop[92]]], VarOrder [vars=[beginLoop[93], testIdentity[93], testAlone[93], isEndLoop[93]]], VarOrder [vars=[beginLoop[94], testIdentity[94], testAlone[94], isEndLoop[94]]], VarOrder [vars=[beginLoop[95], testIdentity[95], testAlone[95], isEndLoop[95]]], VarOrder [vars=[beginLoop[96], testIdentity[96], testAlone[96], isEndLoop[96]]], VarOrder [vars=[beginLoop[97], testIdentity[97], testAlone[97], isEndLoop[97]]], VarOrder [vars=[beginLoop[98], testIdentity[98], testAlone[98], isEndLoop[98]]], VarOrder [vars=[beginLoop[99], testIdentity[99], testAlone[99], isEndLoop[99]]], VarOrder [vars=[wantSection[0]]], VarOrder [vars=[wantSection[1]]], VarOrder [vars=[wantSection[2]]], VarOrder [vars=[wantSection[3]]], VarOrder [vars=[wantSection[4]]], VarOrder [vars=[wantSection[5]]], VarOrder [vars=[wantSection[6]]], VarOrder [vars=[wantSection[7]]], VarOrder [vars=[wantSection[8]]], VarOrder [vars=[wantSection[9]]], VarOrder [vars=[askForSection[0], testTurn[0], endTurn[0]]], VarOrder [vars=[askForSection[1], testTurn[1], endTurn[1]]], VarOrder [vars=[askForSection[2], testTurn[2], endTurn[2]]], VarOrder [vars=[askForSection[3], testTurn[3], endTurn[3]]], VarOrder [vars=[askForSection[4], testTurn[4], endTurn[4]]], VarOrder [vars=[askForSection[5], testTurn[5], endTurn[5]]], VarOrder [vars=[askForSection[6], testTurn[6], endTurn[6]]], VarOrder [vars=[askForSection[7], testTurn[7], endTurn[7]]], VarOrder [vars=[askForSection[8], testTurn[8], endTurn[8]]], VarOrder [vars=[askForSection[9], testTurn[9], endTurn[9]]], VarOrder [vars=[askForSection[10], testTurn[10], endTurn[10]]], VarOrder [vars=[askForSection[11], testTurn[11], endTurn[11]]], VarOrder [vars=[askForSection[12], testTurn[12], endTurn[12]]], VarOrder [vars=[askForSection[13], testTurn[13], endTurn[13]]], VarOrder [vars=[askForSection[14], testTurn[14], endTurn[14]]], VarOrder [vars=[askForSection[15], testTurn[15], endTurn[15]]], VarOrder [vars=[askForSection[16], testTurn[16], endTurn[16]]], VarOrder [vars=[askForSection[17], testTurn[17], endTurn[17]]], VarOrder [vars=[askForSection[18], testTurn[18], endTurn[18]]], VarOrder [vars=[askForSection[19], testTurn[19], endTurn[19]]], VarOrder [vars=[turn[0]]], VarOrder [vars=[turn[1]]], VarOrder [vars=[turn[2]]], VarOrder [vars=[turn[3]]], VarOrder [vars=[turn[4]]], VarOrder [vars=[turn[5]]], VarOrder [vars=[turn[6]]], VarOrder [vars=[turn[7]]], VarOrder [vars=[turn[8]]], VarOrder [vars=[turn[9]]], VarOrder [vars=[turn[10]]], VarOrder [vars=[turn[11]]], VarOrder [vars=[turn[12]]], VarOrder [vars=[turn[13]]], VarOrder [vars=[turn[14]]], VarOrder [vars=[turn[15]]], VarOrder [vars=[turn[16]]], VarOrder [vars=[turn[17]]], VarOrder [vars=[turn[18]]], VarOrder [vars=[turn[19]]], VarOrder [vars=[idle[0], CS[0]]], VarOrder [vars=[idle[1], CS[1]]], VarOrder [vars=[idle[2], CS[2]]], VarOrder [vars=[idle[3], CS[3]]], VarOrder [vars=[idle[4], CS[4]]]]]
May 23, 2016 8:06:28 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $k
May 23, 2016 8:06:28 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $i
May 23, 2016 8:06:28 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $j
May 23, 2016 8:06:28 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $k
May 23, 2016 8:06:28 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $i
May 23, 2016 8:06:28 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $j
May 23, 2016 8:06:28 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $k
May 23, 2016 8:06:28 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $i
May 23, 2016 8:06:28 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $j
May 23, 2016 8:06:28 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $k
May 23, 2016 8:06:28 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $i
May 23, 2016 8:06:28 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $j
May 23, 2016 8:06:28 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $k
May 23, 2016 8:06:28 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $i
May 23, 2016 8:06:28 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $j
May 23, 2016 8:06:28 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $k
May 23, 2016 8:06:28 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $i
May 23, 2016 8:06:28 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $j
May 23, 2016 8:06:28 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $k
May 23, 2016 8:06:28 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $i
May 23, 2016 8:06:28 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $j
May 23, 2016 8:06:28 PM fr.lip6.move.gal.instantiate.Instantiator instantiateParameters
INFO: On-the-fly reduction of False transitions avoided exploring 12 instantiations of transitions. Total transitions/syncs built is 738
May 23, 2016 8:06:28 PM fr.lip6.move.gal.instantiate.Simplifier removeUncalledTransitions
INFO: Removed 5 uncalled transitions from type Peterson_COL_4
May 23, 2016 8:06:28 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 424 ms
May 23, 2016 8:06:28 PM fr.lip6.move.gal.application.Application applyOrder
INFO: Applying decomposition
May 23, 2016 8:06:28 PM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
May 23, 2016 8:06:28 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 216 ms
May 23, 2016 8:06:28 PM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Partition obtained :[beginLoop[0], testIdentity[0], testAlone[0], isEndLoop[0], ],[beginLoop[1], testIdentity[1], testAlone[1], isEndLoop[1], ],[beginLoop[2], testIdentity[2], testAlone[2], isEndLoop[2], ],[beginLoop[3], testIdentity[3], testAlone[3], isEndLoop[3], ],[beginLoop[4], testIdentity[4], testAlone[4], isEndLoop[4], ],[beginLoop[5], testIdentity[5], testAlone[5], isEndLoop[5], ],[beginLoop[6], testIdentity[6], testAlone[6], isEndLoop[6], ],[beginLoop[7], testIdentity[7], testAlone[7], isEndLoop[7], ],[beginLoop[8], testIdentity[8], testAlone[8], isEndLoop[8], ],[beginLoop[9], testIdentity[9], testAlone[9], isEndLoop[9], ],[beginLoop[10], testIdentity[10], testAlone[10], isEndLoop[10], ],[beginLoop[11], testIdentity[11], testAlone[11], isEndLoop[11], ],[beginLoop[12], testIdentity[12], testAlone[12], isEndLoop[12], ],[beginLoop[13], testIdentity[13], testAlone[13], isEndLoop[13], ],[beginLoop[14], testIdentity[14], testAlone[14], isEndLoop[14], ],[beginLoop[15], testIdentity[15], testAlone[15], isEndLoop[15], ],[beginLoop[16], testIdentity[16], testAlone[16], isEndLoop[16], ],[beginLoop[17], testIdentity[17], testAlone[17], isEndLoop[17], ],[beginLoop[18], testIdentity[18], testAlone[18], isEndLoop[18], ],[beginLoop[19], testIdentity[19], testAlone[19], isEndLoop[19], ],[beginLoop[20], testIdentity[20], testAlone[20], isEndLoop[20], ],[beginLoop[21], testIdentity[21], testAlone[21], isEndLoop[21], ],[beginLoop[22], testIdentity[22], testAlone[22], isEndLoop[22], ],[beginLoop[23], testIdentity[23], testAlone[23], isEndLoop[23], ],[beginLoop[24], testIdentity[24], testAlone[24], isEndLoop[24], ],[beginLoop[25], testIdentity[25], testAlone[25], isEndLoop[25], ],[beginLoop[26], testIdentity[26], testAlone[26], isEndLoop[26], ],[beginLoop[27], testIdentity[27], testAlone[27], isEndLoop[27], ],[beginLoop[28], testIdentity[28], testAlone[28], isEndLoop[28], ],[beginLoop[29], testIdentity[29], testAlone[29], isEndLoop[29], ],[beginLoop[30], testIdentity[30], testAlone[30], isEndLoop[30], ],[beginLoop[31], testIdentity[31], testAlone[31], isEndLoop[31], ],[beginLoop[32], testIdentity[32], testAlone[32], isEndLoop[32], ],[beginLoop[33], testIdentity[33], testAlone[33], isEndLoop[33], ],[beginLoop[34], testIdentity[34], testAlone[34], isEndLoop[34], ],[beginLoop[35], testIdentity[35], testAlone[35], isEndLoop[35], ],[beginLoop[36], testIdentity[36], testAlone[36], isEndLoop[36], ],[beginLoop[37], testIdentity[37], testAlone[37], isEndLoop[37], ],[beginLoop[38], testIdentity[38], testAlone[38], isEndLoop[38], ],[beginLoop[39], testIdentity[39], testAlone[39], isEndLoop[39], ],[beginLoop[40], testIdentity[40], testAlone[40], isEndLoop[40], ],[beginLoop[41], testIdentity[41], testAlone[41], isEndLoop[41], ],[beginLoop[42], testIdentity[42], testAlone[42], isEndLoop[42], ],[beginLoop[43], testIdentity[43], testAlone[43], isEndLoop[43], ],[beginLoop[44], testIdentity[44], testAlone[44], isEndLoop[44], ],[beginLoop[45], testIdentity[45], testAlone[45], isEndLoop[45], ],[beginLoop[46], testIdentity[46], testAlone[46], isEndLoop[46], ],[beginLoop[47], testIdentity[47], testAlone[47], isEndLoop[47], ],[beginLoop[48], testIdentity[48], testAlone[48], isEndLoop[48], ],[beginLoop[49], testIdentity[49], testAlone[49], isEndLoop[49], ],[beginLoop[50], testIdentity[50], testAlone[50], isEndLoop[50], ],[beginLoop[51], testIdentity[51], testAlone[51], isEndLoop[51], ],[beginLoop[52], testIdentity[52], testAlone[52], isEndLoop[52], ],[beginLoop[53], testIdentity[53], testAlone[53], isEndLoop[53], ],[beginLoop[54], testIdentity[54], testAlone[54], isEndLoop[54], ],[beginLoop[55], testIdentity[55], testAlone[55], isEndLoop[55], ],[beginLoop[56], testIdentity[56], testAlone[56], isEndLoop[56], ],[beginLoop[57], testIdentity[57], testAlone[57], isEndLoop[57], ],[beginLoop[58], testIdentity[58], testAlone[58], isEndLoop[58], ],[beginLoop[59], testIdentity[59], testAlone[59], isEndLoop[59], ],[beginLoop[60], testIdentity[60], testAlone[60], isEndLoop[60], ],[beginLoop[61], testIdentity[61], testAlone[61], isEndLoop[61], ],[beginLoop[62], testIdentity[62], testAlone[62], isEndLoop[62], ],[beginLoop[63], testIdentity[63], testAlone[63], isEndLoop[63], ],[beginLoop[64], testIdentity[64], testAlone[64], isEndLoop[64], ],[beginLoop[65], testIdentity[65], testAlone[65], isEndLoop[65], ],[beginLoop[66], testIdentity[66], testAlone[66], isEndLoop[66], ],[beginLoop[67], testIdentity[67], testAlone[67], isEndLoop[67], ],[beginLoop[68], testIdentity[68], testAlone[68], isEndLoop[68], ],[beginLoop[69], testIdentity[69], testAlone[69], isEndLoop[69], ],[beginLoop[70], testIdentity[70], testAlone[70], isEndLoop[70], ],[beginLoop[71], testIdentity[71], testAlone[71], isEndLoop[71], ],[beginLoop[72], testIdentity[72], testAlone[72], isEndLoop[72], ],[beginLoop[73], testIdentity[73], testAlone[73], isEndLoop[73], ],[beginLoop[74], testIdentity[74], testAlone[74], isEndLoop[74], ],[beginLoop[75], testIdentity[75], testAlone[75], isEndLoop[75], ],[beginLoop[76], testIdentity[76], testAlone[76], isEndLoop[76], ],[beginLoop[77], testIdentity[77], testAlone[77], isEndLoop[77], ],[beginLoop[78], testIdentity[78], testAlone[78], isEndLoop[78], ],[beginLoop[79], testIdentity[79], testAlone[79], isEndLoop[79], ],[beginLoop[80], testIdentity[80], testAlone[80], isEndLoop[80], ],[beginLoop[81], testIdentity[81], testAlone[81], isEndLoop[81], ],[beginLoop[82], testIdentity[82], testAlone[82], isEndLoop[82], ],[beginLoop[83], testIdentity[83], testAlone[83], isEndLoop[83], ],[beginLoop[84], testIdentity[84], testAlone[84], isEndLoop[84], ],[beginLoop[85], testIdentity[85], testAlone[85], isEndLoop[85], ],[beginLoop[86], testIdentity[86], testAlone[86], isEndLoop[86], ],[beginLoop[87], testIdentity[87], testAlone[87], isEndLoop[87], ],[beginLoop[88], testIdentity[88], testAlone[88], isEndLoop[88], ],[beginLoop[89], testIdentity[89], testAlone[89], isEndLoop[89], ],[beginLoop[90], testIdentity[90], testAlone[90], isEndLoop[90], ],[beginLoop[91], testIdentity[91], testAlone[91], isEndLoop[91], ],[beginLoop[92], testIdentity[92], testAlone[92], isEndLoop[92], ],[beginLoop[93], testIdentity[93], testAlone[93], isEndLoop[93], ],[beginLoop[94], testIdentity[94], testAlone[94], isEndLoop[94], ],[beginLoop[95], testIdentity[95], testAlone[95], isEndLoop[95], ],[beginLoop[96], testIdentity[96], testAlone[96], isEndLoop[96], ],[beginLoop[97], testIdentity[97], testAlone[97], isEndLoop[97], ],[beginLoop[98], testIdentity[98], testAlone[98], isEndLoop[98], ],[beginLoop[99], testIdentity[99], testAlone[99], isEndLoop[99], ],[wantSection[0], ],[wantSection[1], ],[wantSection[2], ],[wantSection[3], ],[wantSection[4], ],[wantSection[5], ],[wantSection[6], ],[wantSection[7], ],[wantSection[8], ],[wantSection[9], ],[askForSection[0], testTurn[0], endTurn[0], ],[askForSection[1], testTurn[1], endTurn[1], ],[askForSection[2], testTurn[2], endTurn[2], ],[askForSection[3], testTurn[3], endTurn[3], ],[askForSection[4], testTurn[4], endTurn[4], ],[askForSection[5], testTurn[5], endTurn[5], ],[askForSection[6], testTurn[6], endTurn[6], ],[askForSection[7], testTurn[7], endTurn[7], ],[askForSection[8], testTurn[8], endTurn[8], ],[askForSection[9], testTurn[9], endTurn[9], ],[askForSection[10], testTurn[10], endTurn[10], ],[askForSection[11], testTurn[11], endTurn[11], ],[askForSection[12], testTurn[12], endTurn[12], ],[askForSection[13], testTurn[13], endTurn[13], ],[askForSection[14], testTurn[14], endTurn[14], ],[askForSection[15], testTurn[15], endTurn[15], ],[askForSection[16], testTurn[16], endTurn[16], ],[askForSection[17], testTurn[17], endTurn[17], ],[askForSection[18], testTurn[18], endTurn[18], ],[askForSection[19], testTurn[19], endTurn[19], ],[turn[0], ],[turn[1], ],[turn[2], ],[turn[3], ],[turn[4], ],[turn[5], ],[turn[6], ],[turn[7], ],[turn[8], ],[turn[9], ],[turn[10], ],[turn[11], ],[turn[12], ],[turn[13], ],[turn[14], ],[turn[15], ],[turn[16], ],[turn[17], ],[turn[18], ],[turn[19], ],[idle[0], CS[0], ],[idle[1], CS[1], ],[idle[2], CS[2], ],[idle[3], CS[3], ],[idle[4], CS[4], ],

May 23, 2016 8:06:28 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array idle to variables to allow decomposition.
May 23, 2016 8:06:29 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array wantSection to variables to allow decomposition.
May 23, 2016 8:06:29 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array askForSection to variables to allow decomposition.
May 23, 2016 8:06:29 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array turn to variables to allow decomposition.
May 23, 2016 8:06:29 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array testTurn to variables to allow decomposition.
May 23, 2016 8:06:29 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array beginLoop to variables to allow decomposition.
May 23, 2016 8:06:30 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array endTurn to variables to allow decomposition.
May 23, 2016 8:06:30 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array CS to variables to allow decomposition.
May 23, 2016 8:06:30 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array testIdentity to variables to allow decomposition.
May 23, 2016 8:06:30 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array testAlone to variables to allow decomposition.
May 23, 2016 8:06:30 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array isEndLoop to variables to allow decomposition.
May 23, 2016 8:06:31 PM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 630 redundant transitions.
May 23, 2016 8:06:31 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/CTLFireability.gal : 77 ms
May 23, 2016 8:06:31 PM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSCTLTools
INFO: Time to serialize properties into /home/mcc/execution/CTLFireability.ctl : 36 ms

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="Peterson-COL-4"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/users/gast00/fkordon/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/Peterson-COL-4.tgz
mv Peterson-COL-4 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-2979"
echo " Executing tool itstools"
echo " Input is Peterson-COL-4, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r085kn-ebro-146369084900022"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.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 ;