Index


  • Introduction

  • Skipped feature combinations
  • Failed test cases
  • Tests by feature combinations
  • SYMMETRY tests
  • Tests under anomalous conditions

  • Tests by feature combinations: -workers 2
  • SYMMETRY tests: -workers 2

  • Tests by feature combinations: -workers auto
  • SYMMETRY tests: -workers auto

Tests by case feature NotIn; CLI Option: -workers 2

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
4899433dc5228219fac14675ab5be1dcdf2075b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BoolTrue True Passed
  • Model Under Test
  • Equivalent Model
a1a904515164f53125508f32d2bf8236e7e90e7a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BoolTrue False Passed
  • Model Under Test
  • Equivalent Model
2948d44c448346f29e7f43cda7c4e8be83adf812 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BoolFalse True Passed
  • Model Under Test
  • Equivalent Model
03e0364a2a08f626dd90e7ca06080746bc502acb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BoolFalse False Passed
  • Model Under Test
  • Equivalent Model
c73335312bc298c439a874561331a31160cd3b24 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BoolSet True Passed
  • Model Under Test
  • Equivalent Model
7112158ac103a1659e40db0068683b54ae461b6e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BoolSet False Passed
  • Model Under Test
  • Equivalent Model
1e97587e72293bf7cf2f4e5aadf49abd7fc26818 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn And True Passed
  • Model Under Test
  • Equivalent Model
e7cdcade8b2799dff46b6ac78742f4eaa56b96ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn And False Passed
  • Model Under Test
  • Equivalent Model
d3ee309d6334e7d7eb0da5fab1d7a1e6fd21faf3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn AndMultiLine True Passed
  • Model Under Test
  • Equivalent Model
df42efd020c563bd7b19397aaf65a179d1b6ab32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn AndMultiLine False Passed
  • Model Under Test
  • Equivalent Model
3d7ecbac6897911f9d1c1be2cd0fda4a4168e47b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Imply True Passed
  • Model Under Test
  • Equivalent Model
ee5a987e56cd2ebcc85b15ac8edf17602a46ccb7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Imply False Passed
  • Model Under Test
  • Equivalent Model
58d1efbef34913443422ba7d9be81372aafba52c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Not True Passed
  • Model Under Test
  • Equivalent Model
6b23ede6ea7b1033613d977eb0d840c7f39e9f86 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Not False Passed
  • Model Under Test
  • Equivalent Model
a7df026e0c44a17cd2716bede2c3f3d1cc6fae65 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Or True Passed
  • Model Under Test
  • Equivalent Model
b1ee3def873b75072e5a92afd083cc99f7be9a1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Or False Passed
  • Model Under Test
  • Equivalent Model
b82c52fc3cb313be0a380e921c221b557cf4c2a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
2bff1227f390395a6d507f0dcee03882b243b43b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
649a57cc5918bccb0597282cd09bf7a0530cde46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Eq True Passed
  • Model Under Test
  • Equivalent Model
294bef084ee3bae068a6f2e0ef38afec391e2bc3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Eq False Passed
  • Model Under Test
  • Equivalent Model
f6b046ad03249e71f24ddca301af2af8eff267fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Ne True Passed
  • Model Under Test
  • Equivalent Model
b01177642656d16868a9ba1929c3ed22e94f4ebd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Ne False Passed
  • Model Under Test
  • Equivalent Model
cffa9cf6905dc0e0f8eee3e12416d0243857c20b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Let True Passed
  • Model Under Test
  • Equivalent Model
c3ee76d6bff5e721dadbf0525b606d8dd5426202 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Let False Passed
  • Model Under Test
  • Equivalent Model
e493d6b2d198d8fcd714cc91af957091f4fb9f04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SetEmpty True Passed
  • Model Under Test
  • Equivalent Model
d163af9bea4b32e3289caeaf3cb9120624036bc0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SetEmpty False Passed
  • Model Under Test
  • Equivalent Model
a980e61cae0b104b9be8bb7caee721c4f9cc1761 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Set0 True Passed
  • Model Under Test
  • Equivalent Model
4824a3750d69188986cf3c25f9f6daeac0460e52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Set0 False Passed
  • Model Under Test
  • Equivalent Model
c60c1ab25f32d473b6c24c5d876ca4a5df7d2715 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Set1 True Passed
  • Model Under Test
  • Equivalent Model
04fb75793666ba9559a5e66bd0a58a8bdd0cc1ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Set1 False Passed
  • Model Under Test
  • Equivalent Model
07f688c2a4a752870021db81898a02bdb916e18d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Set2 True Passed
  • Model Under Test
  • Equivalent Model
54c1cfaee926fcd1bca182a7592d7f30ddda060e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Set2 False Passed
  • Model Under Test
  • Equivalent Model
350dd885dc50f41119fbe73263f1c4515ea9d61d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Fun True Passed
  • Model Under Test
  • Equivalent Model
f291fe5025eb4abec434c5ae389b45548eb02318 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Fun False Passed
  • Model Under Test
  • Equivalent Model
d8e9b4e7c628f5862ab38f44e9127edc1f5f5323 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn In True Passed
  • Model Under Test
  • Equivalent Model
58a2b2f75d566a39b21ba34f61def295a63d8971 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn In False Passed
  • Model Under Test
  • Equivalent Model
d2db450a2e01f5de02c0233118844d44e002ddab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NotIn True Passed
  • Model Under Test
  • Equivalent Model
e44f81c8e564d6132cb9dd24b09c0a6f451d2c90 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NotIn False Passed
  • Model Under Test
  • Equivalent Model
90146fd8acb4cd86f2f72b7033dd5eb1d7fff40f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Exists True Passed
  • Model Under Test
  • Equivalent Model
9d70ba7d3e23ff5b1741754ef1df6e4f582c4b55 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Exists False Passed
  • Model Under Test
  • Equivalent Model
12888fb2c540bccc6782c69c1f5db6f4255d2883 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Forall True Passed
  • Model Under Test
  • Equivalent Model
451c6ec3a81a7323dd2a18ecbe8b1d2e026c3223 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Forall False Passed
  • Model Under Test
  • Equivalent Model
c06a5eeb655112073fa57b89a7fc402d2a316ca4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Choose True Passed
  • Model Under Test
  • Equivalent Model
e11d846874294f0284c1028f6ce510643243b8b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Choose False Passed
  • Model Under Test
  • Equivalent Model
5163cbdf82676615b0d928c7acf29388cf164ccd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Record True Passed
  • Model Under Test
  • Equivalent Model
78278c7c4e9b34e2a23ea86c010bb40437217030 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Record False Passed
  • Model Under Test
  • Equivalent Model
7c337896cd9f87595547a1091fd35fbbdc1f306f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Tuple True Passed
  • Model Under Test
  • Equivalent Model
12cc991d4e79f622f1a160c29484255a8c90dbcc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Tuple False Passed
  • Model Under Test
  • Equivalent Model
59642178728687b0e1fbf9cf8a1db60f803dd896 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn TupleEmpty True Passed
  • Model Under Test
  • Equivalent Model
c38fbb1c897c3b093512b9d85333945db6594e5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn TupleEmpty False Passed
  • Model Under Test
  • Equivalent Model
54af2618d0a4b13abd0b2c0fcb72f1d49c0df382 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn FunApp True Passed
  • Model Under Test
  • Equivalent Model
b4eb523c9b96e7dbbcf8c37f010a3469f0d6fb52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn FunApp False Passed
  • Model Under Test
  • Equivalent Model
39c7262d8af46a7aee0c92cee0503f908cde3bde TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Prime True Passed
  • Model Under Test
  • Equivalent Model
9b37b67a1635b2aeaa591a8d68a047738080f86d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Prime False Passed
  • Model Under Test
  • Equivalent Model
b70834fca1c76d66e3e8e81f91dbb26671526238 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumZero True Passed
  • Model Under Test
  • Equivalent Model
976d00f7e1d0cd31d166db964422be90b56ea094 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumZero False Passed
  • Model Under Test
  • Equivalent Model
ad5678268ad17a6825ac3380cb0eaa859445de2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumOne True Passed
  • Model Under Test
  • Equivalent Model
89b343e45908d6ccae2df1e64f7edd86f9433c0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumOne False Passed
  • Model Under Test
  • Equivalent Model
46260b6b11710d75bad91675fc2ad7d621e98cd9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumMaxInt True Passed
  • Model Under Test
  • Equivalent Model
e4ed818cc66a3358372978d6494499dbb1952c5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumMaxInt False Passed
  • Model Under Test
  • Equivalent Model
e1e41155657c486bb18b11f41465a3e5e85ad88e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumUnaryMinus True Passed
  • Model Under Test
  • Equivalent Model
324abe1608411b97918336dc871f9a2b9a158930 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumUnaryMinus False Passed
  • Model Under Test
  • Equivalent Model
c89aac5cb83089a4b95762cd376c00c0dd5dc9d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumPlus True Passed
  • Model Under Test
  • Equivalent Model
aa875d6bf0d55d61f977a84825bdc672a3d85ce9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumPlus False Passed
  • Model Under Test
  • Equivalent Model
b5e81323e204add9652d815f48766c525f0533df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumMinus True Passed
  • Model Under Test
  • Equivalent Model
1f7b49e8151b71d1ff62d5cc9c552f2fe2527e34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumMinus False Passed
  • Model Under Test
  • Equivalent Model
42fda8cd49543167eeb65cb45b9f8002edcc2c58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumMul True Passed
  • Model Under Test
  • Equivalent Model
98f390e8f7baa16812b88b2ffa85eb56e16c28f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumMul False Passed
  • Model Under Test
  • Equivalent Model
5d43d4adc208ad521f0a85fdf7ad116c2a86e2d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumDiv True Passed
  • Model Under Test
  • Equivalent Model
1461d03f62c05d164605b28f2bb3ca2e5ab42131 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumDiv False Passed
  • Model Under Test
  • Equivalent Model
03879a14119baa5b0ab7b781047217fe6c907a10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumMod True Passed
  • Model Under Test
  • Equivalent Model
db6f04334dfce059aaf69062375d867be0fd040c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumMod False Passed
  • Model Under Test
  • Equivalent Model
436344d7cd380d79dcfa3773d0bb6323dbe6fe02 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumPow True Passed
  • Model Under Test
  • Equivalent Model
3a46f0c0aa4561230945355b148e57b8aab89d0c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumPow False Passed
  • Model Under Test
  • Equivalent Model
b5448097989ca56067f4c7e16b5ae816ea92adf3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumGt True Passed
  • Model Under Test
  • Equivalent Model
237a84f50921400273c6aadbaca49a3ff46de410 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumGt False Passed
  • Model Under Test
  • Equivalent Model
008a353209e70b29d8b896663ada3e9c274338b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumGe True Passed
  • Model Under Test
  • Equivalent Model
10caff4c7ed80c9add63796d21c9c4a722b63a88 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumGe False Passed
  • Model Under Test
  • Equivalent Model
725dcfc62c048ae3499e0617c6781e094473b07c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumLt True Passed
  • Model Under Test
  • Equivalent Model
d46e84ad0277b5498e083e2cce014f9e9faf76c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumLt False Passed
  • Model Under Test
  • Equivalent Model
b1f8e27ea5a3acdfa9601f8b2d2be08b1213854a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumLe True Passed
  • Model Under Test
  • Equivalent Model
cfc080cbdb8d0b4c1a005a93315857abe81016d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumLe False Passed
  • Model Under Test
  • Equivalent Model
9bce18314d4467047616e19cf73567435f2fcbfc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn DefFun True Passed
  • Model Under Test
  • Equivalent Model
2a9d0a60263b75097b383cb6e835bf3a960371fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn DefFun False Passed
  • Model Under Test
  • Equivalent Model
f856c25b5734acb377b302417c7f29b777a7aaeb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
07686f0c42d95a0c954343cd25572d5cf094535a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
6062065e36ab7f1c874576880c0df0caa7e78156 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn DefFunRecursive True Passed
  • Model Under Test
  • Equivalent Model
635f77074e7f2ca1d263a18f003d98caffc15288 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn DefFunRecursive False Passed
  • Model Under Test
  • Equivalent Model
6386d9b356e425822bbfd009cd0e073ca128e0ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn LetDefFunRecursive True Passed
  • Model Under Test
  • Equivalent Model
fb5be39937b33b0aee18a61a54aba657556e9a08 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn LetDefFunRecursive False Passed
  • Model Under Test
  • Equivalent Model
1c5ab9de5e3f0008524696a6b6ddd94541bff97a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Def0 True Passed
  • Model Under Test
  • Equivalent Model
e9b0038c9362c8d4f76613ae0b9901fa59243df7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Def0 False Passed
  • Model Under Test
  • Equivalent Model
5d4359690bb8600542e92476bc42b91f45989b0f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
5a42a3259718ed0b752ce44f4823d45c5afed733 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
204be0f389e39b789caa379c0d637d94d3d05284 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Def1 True Passed
  • Model Under Test
  • Equivalent Model
69ab45241a863be1a0558faae54423cdd2c71134 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Def1 False Passed
  • Model Under Test
  • Equivalent Model
f38c44e12760243df6530e29b490b974842a3ca5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
d1f052103271cfd1e88eeae28a5aef375a2db65f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
e35e62e01fa427b8a0ddfe4071c8fdb5fd268029 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Def2 True Passed
  • Model Under Test
  • Equivalent Model
457bc8796d5ae5e9ac24837602b25b0263fecc99 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Def2 False Passed
  • Model Under Test
  • Equivalent Model
a60f11a2e251949095e0008379572dbb49404216 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
20b71ff386cdc7a3552f9846910b23c773c663a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
8a735ade43a84ab5e19dfbeca33a9a6917b1542e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Def1Recursive True Passed
  • Model Under Test
  • Equivalent Model
a3c4285a0381cd75913f486a0cb26404f7d57f3a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Def1Recursive False Passed
  • Model Under Test
  • Equivalent Model
2ad043ddde546c550f4e67982f7e24ce496487c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn LetDef1Recursive True Passed
  • Model Under Test
  • Equivalent Model
f0bd9b824d0d63f134989db9e546ec9e061c0c05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn LetDef1Recursive False Passed
  • Model Under Test
  • Equivalent Model
a508c8013909b23f3321398b50914e6e13ea3202 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Extends True Passed
  • Model Under Test
  • Equivalent Model
05234546272cc2a550b3dd8a8e7f17cd62b10b19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Extends False Passed
  • Model Under Test
  • Equivalent Model
532531e722d22da5770d9df232e148e08e36c00f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn ExtendsInDifferentFolder True Passed
  • Model Under Test
  • Equivalent Model
f3a02490c54433ff94d1e1ebb2a453cf09dff281 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn ExtendsInDifferentFolder False Passed
  • Model Under Test
  • Equivalent Model
fce731dd692487c3e32f13ef6d03cd7dd5948287 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Variable True Passed
  • Model Under Test
  • Equivalent Model
2c3db85ee9c7888aa8f368b0ac646c4dcef8803b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Variable False Passed
  • Model Under Test
  • Equivalent Model
044fd63a65ca516050d4036dc0f669df3900c431 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Constant True Passed
  • Model Under Test
  • Equivalent Model
5a05c4742e3cc21f2ef9d273f465f534ae44de5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Constant False Passed
  • Model Under Test
  • Equivalent Model
198396dc7c687ec4d8579aa9c0aea7247f9d9b00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn ConstantModelValue True Passed
  • Model Under Test
  • Equivalent Model
e00454c06db9dc5e1b888722c86c69f00492f4e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn ConstantModelValue False Passed
  • Model Under Test
  • Equivalent Model
f46265ef68efc9fcfad2aa904011d4aa873285b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn ConstantRank1 True Passed
  • Model Under Test
  • Equivalent Model
270d59144dd86009a8d18248c2500a79aae4d24a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn ConstantRank1 False Passed
  • Model Under Test
  • Equivalent Model
ff7c95106e03ef4e7ea036c31231f55372d58bd9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Instance True Passed
  • Model Under Test
  • Equivalent Model
7de6ea264596b1a86248666d94586cc988bc7287 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Instance False Passed
  • Model Under Test
  • Equivalent Model
b62927af17fe7615de9aa8043e3895c57b36ca67 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn InstanceWith True Passed
  • Model Under Test
  • Equivalent Model
38599d4c9776287e3b624cb6ece6c19b7d1eaef3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn InstanceWith False Passed
  • Model Under Test
  • Equivalent Model
7aebb81216755269c7ed3fb61c52a57f6b1fa89b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn InstanceNamed True Passed
  • Model Under Test
  • Equivalent Model
08be6b39538e411f1d4bcf7f6bc0503a5e846a12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn InstanceNamed False Passed
  • Model Under Test
  • Equivalent Model
ce881da8a5548312fa868803a6b6086f69267a48 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn InstanceNamedWith True Passed
  • Model Under Test
  • Equivalent Model
c3546b12ad73acc298e42e52906d37051c025e2c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn InstanceNamedWith False Passed
  • Model Under Test
  • Equivalent Model
8b58a699d95c5c8fb6148e52b057b6e76ab3f7da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn InstanceInFolder True Passed
  • Model Under Test
  • Equivalent Model
ab6ac15e2b18695c94b134156831be6fb578f9f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn InstanceInFolder False Passed
  • Model Under Test
  • Equivalent Model
642563eab2fb0734b02872dbbcce274e32f3eedc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn InstanceWithInFolder True Passed
  • Model Under Test
  • Equivalent Model
fd88e6a869ecd8b3bc44623c056f6c312762b815 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn InstanceWithInFolder False Passed
  • Model Under Test
  • Equivalent Model
300d8bf829e39ec950f1ab357a0c4d60c5459ab0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn InstanceNamedInFolder True Passed
  • Model Under Test
  • Equivalent Model
67e11455fae1cf75e033e851ce61e65f18ba11e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn InstanceNamedInFolder False Passed
  • Model Under Test
  • Equivalent Model
4a89b578b55b34a7c55a439e6dddc40d2648b276 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn InstanceNamedWithInFolder True Passed
  • Model Under Test
  • Equivalent Model
5a871914a8ecf473253fc478a1bce329ad53a6eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn InstanceNamedWithInFolder False Passed
  • Model Under Test
  • Equivalent Model
534c2d2c7c92309b2116017d0c2cded2d49f6b0f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Enabled True Passed
  • Model Under Test
  • Equivalent Model
e3ed5ff03eacdc989e734a93ed3e1df4529c990b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Enabled False Passed
  • Model Under Test
  • Equivalent Model
8de5a802f4c06017fa935529b57c2e8cf1cf09f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Cross2 True Passed
  • Model Under Test
  • Equivalent Model
e7a0b8c9d481d5327266dbeea07dc6f20ac75b7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Cross2 False Passed
  • Model Under Test
  • Equivalent Model
e1ba479d4ace08d5589528a9bfb104fcd1b329c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Cross3 True Passed
  • Model Under Test
  • Equivalent Model
d14e25cc6a855d462d0ecdfe0701b0567c1eeb28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Cross3 False Passed
  • Model Under Test
  • Equivalent Model
d42475ef058bc0070a48c50a50a9b895f14653cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn FunSet True Passed
  • Model Under Test
  • Equivalent Model
82dcdb32a506f313c4045d20c8ceadd53918f618 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn FunSet False Passed
  • Model Under Test
  • Equivalent Model
8aca4998c6529b7845fc669a015195cec8dde70d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn RecordSet True Passed
  • Model Under Test
  • Equivalent Model
501320df78e8f4442d59004c8a89d5a9b233e9cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn RecordSet False Passed
  • Model Under Test
  • Equivalent Model
0f5cbd78fc7ad3d1def9b502bd5acce1ed5f7404 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SetDiff True Passed
  • Model Under Test
  • Equivalent Model
2d6de99da4182c0cd8259082a0d92fbf5d4a90b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SetDiff False Passed
  • Model Under Test
  • Equivalent Model
9041c92dda62969492ac3cf773d91c8300aa91ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SetUnion True Passed
  • Model Under Test
  • Equivalent Model
d27e911bcf379827f4dda4eb27a77a8998bdb2a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SetUnion False Passed
  • Model Under Test
  • Equivalent Model
8448cb46463d8024516308742b5ad813add5f7c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SetIntersect True Passed
  • Model Under Test
  • Equivalent Model
37087ac97100e1101b7b6c504a20fad327cd50ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SetIntersect False Passed
  • Model Under Test
  • Equivalent Model
d2c505aedafa757c92d1fd77481daec058cfee42 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SubsetEq True Passed
  • Model Under Test
  • Equivalent Model
d8ca8788a39eaa5afd6301db384ac713b05cf0f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SubsetEq False Passed
  • Model Under Test
  • Equivalent Model
589b16902780553ee7c6fc9cce4564e28dbbaef0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn IfCond True Passed
  • Model Under Test
  • Equivalent Model
d8ec6c11e11693b150c64be6584c140133c9396c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn IfCond False Passed
  • Model Under Test
  • Equivalent Model
96d4013d86ea1585858f2e8c4d869788ff4f9883 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn IfThen True Passed
  • Model Under Test
  • Equivalent Model
cea8c61049f90fda524c10eebdae1c7ee5a8dfc2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn IfThen False Passed
  • Model Under Test
  • Equivalent Model
4c05afaf358a63398a11ae593fb93697bf473122 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn IfElse True Passed
  • Model Under Test
  • Equivalent Model
5bb392f8ac0254b279829fd5578bc13310962239 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn IfElse False Passed
  • Model Under Test
  • Equivalent Model
3965c9d0d489cb11e28da6540b185b830504df7a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Subset True Passed
  • Model Under Test
  • Equivalent Model
cf76961bc4f0cd1463b621e58fef5a8f9699d663 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Subset False Passed
  • Model Under Test
  • Equivalent Model
ffe8e9868a09b36d35c8131aeb3fbc4bd8ad9b23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Domain True Passed
  • Model Under Test
  • Equivalent Model
7b9d204dd7a3cf985c59e87d34ebfc1a54928760 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Domain False Passed
  • Model Under Test
  • Equivalent Model
a3cd2473f5d0aab2469ac5f093a321ec43029eee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Union True Passed
  • Model Under Test
  • Equivalent Model
e87223e8a177088535e88327af4b371bdf92a798 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Union False Passed
  • Model Under Test
  • Equivalent Model
378fb334b79b53a31091faa85d71b4b6eadfd443 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Unchanged True Passed
  • Model Under Test
  • Equivalent Model
0a79d9ca0e82a84ad92b19929d8b2655aaea5f2f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Unchanged False Passed
  • Model Under Test
  • Equivalent Model
9ca6f3c67c38a511db952a6aecb2f8f848e86b73 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Equivalence True Passed
  • Model Under Test
  • Equivalent Model
553dae524c9dc941818af8871398c283fecbcf84 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn Equivalence False Passed
  • Model Under Test
  • Equivalent Model
ab1a2a04e036655655c9389b832ab16408d0cd4b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn StringEmpty True Passed
  • Model Under Test
  • Equivalent Model
85aeb06fa37fabbeafbfff15ae41aae69ab23159 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn StringEmpty False Passed
  • Model Under Test
  • Equivalent Model
6f75c858183d922c1dc1a45f6f89003112f60d41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn String True Passed
  • Model Under Test
  • Equivalent Model
eb1d236295fad7572d61b24c7b9fbe216bc74f04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn String False Passed
  • Model Under Test
  • Equivalent Model
2467a642fdd3f00f066f76d04ad53ec45620434b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SeqLen True Passed
  • Model Under Test
  • Equivalent Model
db83ab5b704ec4e6aa6ac5c3e999064ec2a122b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SeqLen False Passed
  • Model Under Test
  • Equivalent Model
aa896eebf591f226b9b68b5e5c57f2078205c4d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SeqConcat True Passed
  • Model Under Test
  • Equivalent Model
503735e6480ba4b6d2a4ce01ab9d84a9535f04a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SeqConcat False Passed
  • Model Under Test
  • Equivalent Model
407cdbfb1738f409cc07b0f12aeadd9af5ad8763 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SeqSeq True Passed
  • Model Under Test
  • Equivalent Model
8168511e44da1ba5659c021c20c48ff6c0e85af3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SeqSeq False Passed
  • Model Under Test
  • Equivalent Model
aee098ff408d0cdd36329fdb8deff59f2b2503ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NatSet True Passed
  • Model Under Test
  • Equivalent Model
bd35ad15993c561935325df4014fc232b5122446 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NatSet False Passed
  • Model Under Test
  • Equivalent Model
35dc320305b5acf866a828da5a6d3c56a48d702b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn IntSet True Passed
  • Model Under Test
  • Equivalent Model
0aa77337177207b027f368f172de540b4625a642 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn IntSet False Passed
  • Model Under Test
  • Equivalent Model
54e235dc7b55296b81e70ab493c21dc1b8ae450d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn StringSet True Passed
  • Model Under Test
  • Equivalent Model
5873c85853e7b2857355506905ed88dc92654ca3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn StringSet False Passed
  • Model Under Test
  • Equivalent Model
cde840678ccb57abdeaed7e4a29a4d86bbe66912 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SeqSelectSeq True Passed
  • Model Under Test
  • Equivalent Model
20e5db31f5d11c461abf0e8227d602b4ba4f5472 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SeqSelectSeq False Passed
  • Model Under Test
  • Equivalent Model
328b10f1ce1f28fa7684ba66049e3a81baaea9e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SeqSubSeq True Passed
  • Model Under Test
  • Equivalent Model
24fc4ea671188c00ec94895b28ee069c58669d8a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SeqSubSeq False Passed
  • Model Under Test
  • Equivalent Model
9cee23a74be3f00b655d94df9c0cf6538c029c62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumRange True Passed
  • Model Under Test
  • Equivalent Model
12b10f9c1ce6142f74ccdaa1b926c226092f7d68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumRange False Passed
  • Model Under Test
  • Equivalent Model
465770e371026c5c272e1454fae2562937dd3cd6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn TlcSingletonFun True Passed
  • Model Under Test
  • Equivalent Model
7d6e92c1f40498d9e43f9bf7e0e9ff0f36afe27c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn TlcSingletonFun False Passed
  • Model Under Test
  • Equivalent Model
f2c3536e42e2b30b882d4cdd07ea8d5aaeecd8eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
0328bbb1d5dd90c4b4b4f14cea36d6c523391caf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
169dea7fdd01ed3e8c1206b9d5865be1504480bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
4863d8de686965cb3da510a9259f4d57034b7b44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
fb7756008d378286760f9d7b47fb27f6fcb207bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn TlcSortSeq True Passed
  • Model Under Test
  • Equivalent Model
3a8a05e1a71e12fe4692fc01901d210ca0accfc3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn TlcSortSeq False Passed
  • Model Under Test
  • Equivalent Model
9eddf44ab481a7c152bc4f69b5697f10a8187932 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn TlcEval True Passed
  • Model Under Test
  • Equivalent Model
891f8ff7ab6d63dc0855580a22842c88da3ce3a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn TlcEval False Passed
  • Model Under Test
  • Equivalent Model
76664c9d1f9eefe536c01c08db61fde0afd82989 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagBagToSet True Passed
  • Model Under Test
  • Equivalent Model
e7857cf4242604a38ff4e6bf87da47a87b935d4d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagBagToSet False Passed
  • Model Under Test
  • Equivalent Model
d394cdacc929cd5411b8fc1d772c578e228cfb1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagSetToBag True Passed
  • Model Under Test
  • Equivalent Model
584be1390c38752f7cb075016a5ff8176dee2269 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagSetToBag False Passed
  • Model Under Test
  • Equivalent Model
f7130263a010825c71a88aa16de0bff7ea6a2e90 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagBagIn True Passed
  • Model Under Test
  • Equivalent Model
dd08c98ae7331778bda239ae4a2a3ed6d8826ab2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagBagIn False Passed
  • Model Under Test
  • Equivalent Model
51b28afd23ee6b430f30fe05d2f10b92e1fb5da2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
f2d6ef81b45d7b42f7bc804809f3ac76c72cc76c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
3fb36fcae51379df02ac90ba04faa998f09e2831 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagAddBag True Passed
  • Model Under Test
  • Equivalent Model
b615f7b4134a2b5ce7a25c50f67001d57ce1688a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagAddBag False Passed
  • Model Under Test
  • Equivalent Model
b94f2522eb4be3e524686cdce70b18d0d8aaff62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagBagSub True Passed
  • Model Under Test
  • Equivalent Model
d0ab2f29b3c7401484f8a627e4512a8e26f90436 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagBagSub False Passed
  • Model Under Test
  • Equivalent Model
e0318eafa3b7fa171c089ea9554e43aa59498048 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagCopiesIn True Passed
  • Model Under Test
  • Equivalent Model
298f77440934a3bd2bd63c81bd9f50894da9f673 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagCopiesIn False Passed
  • Model Under Test
  • Equivalent Model
9df598991cd10164d620f1159c5760ae9a70ce34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagSubsetEqBag True Passed
  • Model Under Test
  • Equivalent Model
76b446ca19724cdadfc7f834db21312b5c67d1dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagSubsetEqBag False Passed
  • Model Under Test
  • Equivalent Model
151d2efc8a3b625e8744ac7d1967ef6241444369 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagBagUnion True Passed
  • Model Under Test
  • Equivalent Model
16dd891e36c0f6694c3340657a8e5e2b71c44ffb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagBagUnion False Passed
  • Model Under Test
  • Equivalent Model
e9b1c4cd474633316d07f165ec72dcf77225b802 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagBagCardinality True Passed
  • Model Under Test
  • Equivalent Model
9aad8890c9fb6acffb350e58cc6ad28519217239 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagBagCardinality False Passed
  • Model Under Test
  • Equivalent Model
ec3c02944a44ae3c457fec758ffd0c001d279e3e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagBagOfAll True Passed
  • Model Under Test
  • Equivalent Model
003bd073186ebaea29eff6f18bdaaf7317ee3e88 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagBagOfAll False Passed
  • Model Under Test
  • Equivalent Model
79c96d21aba73df598a672a12d0859275732c2b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagSubBag True Passed
  • Model Under Test
  • Equivalent Model
5c5756229e0da24861b54ae833ba4cc43645d89a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn BagSubBag False Passed
  • Model Under Test
  • Equivalent Model
de042543dd92bec8d38883f59f9008957cc79791 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn FiniteSetsIsFiniteSet True Passed
  • Model Under Test
  • Equivalent Model
231589c8cb59e4b419db9caf3f52c9215ce7aa1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn FiniteSetsIsFiniteSet False Passed
  • Model Under Test
  • Equivalent Model
8346ec52d13c144c864243bf8debf926b86c92fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn FiniteSetsCardinality True Passed
  • Model Under Test
  • Equivalent Model
82fac932b9da1155a7e1bedcf0f51c6f954cf2aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn FiniteSetsCardinality False Passed
  • Model Under Test
  • Equivalent Model
e0dd8342bc343514c50787d05a542b3d38ab230b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SeqHead True Passed
  • Model Under Test
  • Equivalent Model
0394df4bf6d790b11f30fde6e8e944f55a595e7a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SeqHead False Passed
  • Model Under Test
  • Equivalent Model
605b789d75636ce47f2918b57858dee5cd3a7b79 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SeqTail True Passed
  • Model Under Test
  • Equivalent Model
5968deeed2e1227d98fed5821f5703bb4af47776 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SeqTail False Passed
  • Model Under Test
  • Equivalent Model
2eb6dba17e64e14c6654dbd9af599fa78dff0b39 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SeqAppend True Passed
  • Model Under Test
  • Equivalent Model
ccf44a7987e51932a45ed42f4ba82016430c3b4e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn SeqAppend False Passed
  • Model Under Test
  • Equivalent Model