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 InstanceNamed; CLI Option: -workers auto

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
58642fee2c0921d02e5186b63b7e158f3cab5e47 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed OneLineComment True Passed
  • Model Under Test
  • Equivalent Model
5b0a2ef67917088234f5ce19178af791d088f0ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed OneLineComment False Passed
  • Model Under Test
  • Equivalent Model
65803bdff2dc4dd0cfc61bb73fba2a33133942d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed MultiLineComment True Passed
  • Model Under Test
  • Equivalent Model
62e4ef7303e6ea7b63dda3994b050eae435e3719 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed MultiLineComment False Passed
  • Model Under Test
  • Equivalent Model
be85a3969e34bc34ca6128e3b087a0a23c2e966f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BoolTrue True Passed
  • Model Under Test
  • Equivalent Model
e94319fde3d3e733dc679807f8bc08c2bc7f102e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BoolTrue False Passed
  • Model Under Test
  • Equivalent Model
91fd7ba0e119c66fc8db0966975e7f898e5a9b0b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BoolFalse True Passed
  • Model Under Test
  • Equivalent Model
95d7cb76db667d5ad84353f1dc88d648a97f6ca0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BoolFalse False Passed
  • Model Under Test
  • Equivalent Model
b820337c7f79539b453117944340e38df8b79a9e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BoolSet True Passed
  • Model Under Test
  • Equivalent Model
cfc688c9e99eb6d66c7ef49b94eb11e8843b5d42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BoolSet False Passed
  • Model Under Test
  • Equivalent Model
a86677af838ec99ebccec4bd8f824e9d0479d00f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed And True Passed
  • Model Under Test
  • Equivalent Model
5e795d959eb510976d6a81fb25299f0b933150d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed And False Passed
  • Model Under Test
  • Equivalent Model
1b57d1e7eef627b869e515a35761e1597fbeb9f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed AndMultiLine True Passed
  • Model Under Test
  • Equivalent Model
45fb3cc8c0cd1cdf70811a931565627f1e593ab5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed AndMultiLine False Passed
  • Model Under Test
  • Equivalent Model
957ed54a5de90f8d8abf6f553c5e29ad431519f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Imply True Passed
  • Model Under Test
  • Equivalent Model
020f4df01bd141550b0a5f63902f5a42efaa1404 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Imply False Passed
  • Model Under Test
  • Equivalent Model
e8ab29ffce659835c657c269cbd12e2460ef673d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Not True Passed
  • Model Under Test
  • Equivalent Model
23cfbe4994364918a468df494615a0fda5fa5cd8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Not False Passed
  • Model Under Test
  • Equivalent Model
98b0bde5624c2e7b73d8d8fc1a2f975c059eba6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Or True Passed
  • Model Under Test
  • Equivalent Model
f597bdb56f1d1c5e539341710230f16cecf85620 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Or False Passed
  • Model Under Test
  • Equivalent Model
75bf1b51bf1b2c00048784ce6530df35689c510f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed OrMultiLine True Passed
  • Model Under Test
  • Equivalent Model
a05f6a4f19727aaa11a36985ca873b9d6bdfb1b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed OrMultiLine False Passed
  • Model Under Test
  • Equivalent Model
16e0baf29aa5e8c7479c77f4328a6405be5bd9f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed AndProp True Passed
  • Model Under Test
  • Equivalent Model
f004a74013461e812b5510ab4095f969d3303977 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed AndProp False Passed
  • Model Under Test
  • Equivalent Model
48508d9d39618bdfbc6111fbcfaa5a67cc3b2cff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Boxed True Passed
  • Model Under Test
  • Equivalent Model
2bb0d1d740c4f82979b25eb76c730293a89daf57 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Boxed False Passed
  • Model Under Test
  • Equivalent Model
82326037af85fe6a851f5fcac0bbdbce2575abbf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Eq True Passed
  • Model Under Test
  • Equivalent Model
1052699b655cf7051e77519d4fa8781a1936fd71 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Eq False Passed
  • Model Under Test
  • Equivalent Model
2d8d1acbdfc4e1baf341b40a77edeb1c6888561e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Ne True Passed
  • Model Under Test
  • Equivalent Model
72919f542c3601109870dda8b41e8900bd966bbd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Ne False Passed
  • Model Under Test
  • Equivalent Model
d4b6acc50824982173649795c08a00aaa18f7880 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Let True Passed
  • Model Under Test
  • Equivalent Model
af8962a7349b2b961a4d67018d434228273696f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Let False Passed
  • Model Under Test
  • Equivalent Model
b4ecc6f8ea544de2e7ec7fc843516a88f64ed1d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SetEmpty True Passed
  • Model Under Test
  • Equivalent Model
98b46eb9b77b784d76f6700c0e570824a7c517c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SetEmpty False Passed
  • Model Under Test
  • Equivalent Model
b961c944f471ad59a9db26f1839e27686dbd2b95 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Set0 True Passed
  • Model Under Test
  • Equivalent Model
ad5934026c4f79c56c990342fba1692880de7603 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Set0 False Passed
  • Model Under Test
  • Equivalent Model
7b204c4a19403ee7a345d2bef2d5daad82343285 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Set1 True Passed
  • Model Under Test
  • Equivalent Model
df8786c390fa7b1d79b619a9032b049dc3bb4234 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Set1 False Passed
  • Model Under Test
  • Equivalent Model
73dd3c0d07a0ced4ee4ba97dbac6d1e3f69c608c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Set2 True Passed
  • Model Under Test
  • Equivalent Model
f4a140c544a30d0b764b74224165c6cfe59e5683 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Set2 False Passed
  • Model Under Test
  • Equivalent Model
45207f39b0f6b6bdaa1d2a07546343d84a5bf4d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Fun True Passed
  • Model Under Test
  • Equivalent Model
b061169afbadda187e0c0e0cc23e9ccc06512c74 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Fun False Passed
  • Model Under Test
  • Equivalent Model
6a1ee4c37998077dffb4528b178cbb6f2abe1c6d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed In True Passed
  • Model Under Test
  • Equivalent Model
6ea2bc8124fc2d20876a5c70595d1fb1629dc893 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed In False Passed
  • Model Under Test
  • Equivalent Model
faaf82312ea2c22798b688775f5a85e40582e85e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NotIn True Passed
  • Model Under Test
  • Equivalent Model
d5edbf539fea2b5be71b9864523ddb8986f7ef3c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NotIn False Passed
  • Model Under Test
  • Equivalent Model
0df2b7d7f0c1259ef254b06720317a587cc5e04a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Exists True Passed
  • Model Under Test
  • Equivalent Model
effaf305285dbff08e1179ba1475fe391553b9f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Exists False Passed
  • Model Under Test
  • Equivalent Model
263e295774cd0e463cc45146d0d8aca627cba884 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Forall True Passed
  • Model Under Test
  • Equivalent Model
9539dbf863be9c52a684883100d7b0e091ff8898 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Forall False Passed
  • Model Under Test
  • Equivalent Model
f17f432762b82166caf06e73ba57ca38266cba3b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Choose True Passed
  • Model Under Test
  • Equivalent Model
cffff93b2acb96aa2671b073a4d0f096b3c9ce47 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Choose False Passed
  • Model Under Test
  • Equivalent Model
4941dc5c2312656e3c0943e71eb7837f13e90a23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Record True Passed
  • Model Under Test
  • Equivalent Model
6d77ee3ff00dfb59e0ea64f38d819c3febc992fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Record False Passed
  • Model Under Test
  • Equivalent Model
1f9dca8b500a1fa2b90aa3648debff2473258187 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Tuple True Passed
  • Model Under Test
  • Equivalent Model
0b7c605a40cce0649917e53d27123b65cf6fc154 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Tuple False Passed
  • Model Under Test
  • Equivalent Model
a88fc079be4097cd3676c10ef41644f4bcdf95e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed TupleEmpty True Passed
  • Model Under Test
  • Equivalent Model
92292422a0d753caccf02eed5fbc53dc8b323011 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed TupleEmpty False Passed
  • Model Under Test
  • Equivalent Model
49fdf8670cfdab75376940c8409b0692b468d7c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed FunApp True Passed
  • Model Under Test
  • Equivalent Model
9c1e9cf6eb7c205b02d7f3a4645e9ced0a9250e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed FunApp False Passed
  • Model Under Test
  • Equivalent Model
34fa0e172ea42a48561a77a7f66348916b69fe01 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Prime True Passed
  • Model Under Test
  • Equivalent Model
1e7ed87004fdc642938b1833173df5c1fd84891b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Prime False Passed
  • Model Under Test
  • Equivalent Model
851402f0ce3d991fcb36473f6e3ebfc54ae985b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumZero True Passed
  • Model Under Test
  • Equivalent Model
1b3a7883a3b0a2b088f55f5f54db3169655857a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumZero False Passed
  • Model Under Test
  • Equivalent Model
b4db591a9e36c53e16929c363a5c01dec61a4495 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumOne True Passed
  • Model Under Test
  • Equivalent Model
15e24241c684e18039957f9e6dbb44268652d79e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumOne False Passed
  • Model Under Test
  • Equivalent Model
abf3f6fa337eeb0315e36eb487e95f4da919cd88 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumMaxInt True Passed
  • Model Under Test
  • Equivalent Model
5d21e64258f993aefa04e43a9e48c2a0d6e54a51 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumMaxInt False Passed
  • Model Under Test
  • Equivalent Model
f7e812819555975dc1692d433b77186be15cd185 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumUnaryMinus True Passed
  • Model Under Test
  • Equivalent Model
b7ccb8b7257e4e152b6b7c293759c8a1a1cb1e4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumUnaryMinus False Passed
  • Model Under Test
  • Equivalent Model
45bcf7fbf3bdb634d1560b653c893df4ac29591a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumPlus True Passed
  • Model Under Test
  • Equivalent Model
33642d6101ba4130fc682703515dd7cfe654a0ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumPlus False Passed
  • Model Under Test
  • Equivalent Model
732d34cb0cde3a34f089e778832b91cf215e64cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumMinus True Passed
  • Model Under Test
  • Equivalent Model
dd02d5183d330d55d43ff71e46515cdfc771fa61 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumMinus False Passed
  • Model Under Test
  • Equivalent Model
6cf52dbc3db143bf291b8bcff2e0454d878642a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumMul True Passed
  • Model Under Test
  • Equivalent Model
e33e1db25ac2c2234e9e6dcf9694552f478823fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumMul False Passed
  • Model Under Test
  • Equivalent Model
159affa527aa4c4d373666e353a6858a9d3e9337 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumDiv True Passed
  • Model Under Test
  • Equivalent Model
408e4731dd5db3be5637bdcb7fa67c39ed6de4f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumDiv False Passed
  • Model Under Test
  • Equivalent Model
e66817b3eaa445bf0e3c96114b3eb6c0554fc145 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumMod True Passed
  • Model Under Test
  • Equivalent Model
df7827df0119760529e763358532d6dcbbb6cedd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumMod False Passed
  • Model Under Test
  • Equivalent Model
e1a3d506ef2799fa28be80714f52a886613bf66d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumPow True Passed
  • Model Under Test
  • Equivalent Model
b851b4ff86853f4704d5cde7e3d07394c89aacd3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumPow False Passed
  • Model Under Test
  • Equivalent Model
16dea4474e1648c7df814838b1830659992a4e82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumGt True Passed
  • Model Under Test
  • Equivalent Model
03e104ff80444b89a89b1f12bbc3e653fd6c0038 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumGt False Passed
  • Model Under Test
  • Equivalent Model
8442c88c0f0b7749e1b457bac5d3ead2913a795e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumGe True Passed
  • Model Under Test
  • Equivalent Model
62feed936f742a2d1249fc84ede5b39a86f2677c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumGe False Passed
  • Model Under Test
  • Equivalent Model
4f03182be868aadaa0bb2467c764f19be2bc8916 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumLt True Passed
  • Model Under Test
  • Equivalent Model
9a36a5d8a7ee49412921781730ec87441d378f0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumLt False Passed
  • Model Under Test
  • Equivalent Model
1414d6a37d0a2993b2fae7c8215b5203e421ffc1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumLe True Passed
  • Model Under Test
  • Equivalent Model
31c356e718cdc975b91efec04ff52b34fd731654 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumLe False Passed
  • Model Under Test
  • Equivalent Model
a311e8a0bba5a7aa55f2e6df137192dca16e7be9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed DefFun True Passed
  • Model Under Test
  • Equivalent Model
5cacf5626e1f165494a84be8add92e6ecc6b943a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed DefFun False Passed
  • Model Under Test
  • Equivalent Model
d839a817a239f0ea92471c5c9dcfe6f7807a7bf3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
6dbbb7aeae9320f06e26d04a52d99338a82d41b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
70447dadaea5d67a52959d640bc54751868279a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed DefFunRecursive True Passed
  • Model Under Test
  • Equivalent Model
50a8e6070f489cf578626b79536548b270e300ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed DefFunRecursive False Passed
  • Model Under Test
  • Equivalent Model
d14b7da156dfa6e520423198da895081cdb96328 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed LetDefFunRecursive True Passed
  • Model Under Test
  • Equivalent Model
ac349f4bab2cc7619865c5fc2307832fafd21249 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed LetDefFunRecursive False Passed
  • Model Under Test
  • Equivalent Model
26ecbf0980ed21e1a7180c26cd18b58e14b40ee4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Def0 True Passed
  • Model Under Test
  • Equivalent Model
1000817897698563b272e20936142ba6bf9ee4b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Def0 False Passed
  • Model Under Test
  • Equivalent Model
6d705e1846a50c95d1f6ec7096bf8af099c7ff63 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed LetDef0 True Passed
  • Model Under Test
  • Equivalent Model
20627be43c177f24bde310a8e6f60eb35aa392ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed LetDef0 False Passed
  • Model Under Test
  • Equivalent Model
36b7aeca0842213ae07354646e0ee31b9b627a11 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Def1 True Passed
  • Model Under Test
  • Equivalent Model
0414ac80313f6867cceab4195c848f645503f2b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Def1 False Passed
  • Model Under Test
  • Equivalent Model
225a8c253ebf4dbb6e151254c88ce3efa89f87cc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed LetDef1 True Passed
  • Model Under Test
  • Equivalent Model
c2c190510b5c27770a9518d899253642c4d9067d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed LetDef1 False Passed
  • Model Under Test
  • Equivalent Model
88473367968c3051ca8d2363a7fead3028154eb9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Def2 True Passed
  • Model Under Test
  • Equivalent Model
fbb39b6b50b9ed8a3c4a128d4b13d19c484aa6d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Def2 False Passed
  • Model Under Test
  • Equivalent Model
6ceff9ac7a307fed6de2113082b27c7da6645e52 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed LetDef2 True Passed
  • Model Under Test
  • Equivalent Model
871ceb6f86e1ddacaaaec4749f650a064a9133f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed LetDef2 False Passed
  • Model Under Test
  • Equivalent Model
d5d28ef800a4d95f6bdfd9eb7c291255eb0a0a26 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Def1Recursive True Passed
  • Model Under Test
  • Equivalent Model
339a42e119493371456193f88694fba1d0b0c12b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Def1Recursive False Passed
  • Model Under Test
  • Equivalent Model
7f1eac75a26d9620011bfad4b4333784043a3163 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed LetDef1Recursive True Passed
  • Model Under Test
  • Equivalent Model
036a632a868a653ca44e53a1449cdb7df7135eda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed LetDef1Recursive False Passed
  • Model Under Test
  • Equivalent Model
f450cc7f623af0e69c50bc7d03d8483155524e39 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Extends True Passed
  • Model Under Test
  • Equivalent Model
b1f5db56317d335f4c266ec75d2fc699d1b27712 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Extends False Passed
  • Model Under Test
  • Equivalent Model
f53602370f83a74156502cdb420f05260df04fd5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed ExtendsInDifferentFolder True Passed
  • Model Under Test
  • Equivalent Model
cc7cbda78b7c25ea8b97576ee075e89d0963dab5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed ExtendsInDifferentFolder False Passed
  • Model Under Test
  • Equivalent Model
e975c376528864b181233985fee03b073cb75434 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Variable True Passed
  • Model Under Test
  • Equivalent Model
5594b66889db385e363f5d43dbfe2f65a6f7350f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Variable False Passed
  • Model Under Test
  • Equivalent Model
8fdb91155704a7714840399411793db183505114 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Constant True Passed
  • Model Under Test
  • Equivalent Model
11a074acbfd764180bad521daeba1dd3254e2f12 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Constant False Passed
  • Model Under Test
  • Equivalent Model
3a1c58da130a4caee58f2cffee8a48fbe54f73ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed ConstantModelValue True Passed
  • Model Under Test
  • Equivalent Model
f43604bb6d42b3e1b944cb73f7b9c5a473e44c13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed ConstantModelValue False Passed
  • Model Under Test
  • Equivalent Model
53f2160d80d562177c4053c654ea4f957168de9e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed ConstantRank1 True Passed
  • Model Under Test
  • Equivalent Model
9db43ba0c98ba3b53116bebcde3310f4811f100f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed ConstantRank1 False Passed
  • Model Under Test
  • Equivalent Model
408a4ca9f6945f5cdb9d8bb091eb8acbe90c32e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Instance True Passed
  • Model Under Test
  • Equivalent Model
de0a5fdc34bb7f0f168204805de29578ee30705c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Instance False Passed
  • Model Under Test
  • Equivalent Model
4f1bff94e2359c182e58f9ad6f945c2f43befb25 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed InstanceWith True Passed
  • Model Under Test
  • Equivalent Model
238ec208c6fb9e8927680b61f5b980c2d42b31ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed InstanceWith False Passed
  • Model Under Test
  • Equivalent Model
e3b11cb481a6580b7f3e2ab9c1ddef369c0d9854 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed InstanceNamed True Passed
  • Model Under Test
  • Equivalent Model
5eabf0794e3b8db6247665123ff8925e7faabf7a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed InstanceNamed False Passed
  • Model Under Test
  • Equivalent Model
9c49d392a6f96888688133b9a2cf4026d9b351aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed InstanceNamedWith True Passed
  • Model Under Test
  • Equivalent Model
e254ec82ab1f19d9003690f511601c4457ff3b77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed InstanceNamedWith False Passed
  • Model Under Test
  • Equivalent Model
2249a3e8b38923276dfa62d357799c4ac9a5cc10 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed InstanceInFolder True Passed
  • Model Under Test
  • Equivalent Model
9bd6b24332a00f91284eea5127b3a6d2bf0378cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed InstanceInFolder False Passed
  • Model Under Test
  • Equivalent Model
cf4d07e29543243e1f79d4eae9ac015d9f1f33b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed InstanceWithInFolder True Passed
  • Model Under Test
  • Equivalent Model
ef7a84a0d45d71f883d6ace24e929138a19fd725 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed InstanceWithInFolder False Passed
  • Model Under Test
  • Equivalent Model
9b2f263e18c5bd3be3e4f94fe0ec6eadd5e95e5a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed InstanceNamedInFolder True Passed
  • Model Under Test
  • Equivalent Model
36efe3e7ce29b58674f8e32f8cb1605be396d86e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed InstanceNamedInFolder False Passed
  • Model Under Test
  • Equivalent Model
e476d5e6f2d2ecda8ebf025c0f71ac5717e44c93 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed InstanceNamedWithInFolder True Passed
  • Model Under Test
  • Equivalent Model
0aba356637d6ff76fed578a9b4a36c380a61c19e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed InstanceNamedWithInFolder False Passed
  • Model Under Test
  • Equivalent Model
3c5e1b7f668492b13c638a4e4b6726adb157129e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Enabled True Passed
  • Model Under Test
  • Equivalent Model
e7ff8964098ee9fd3afe0a050018e2905cfa7c5a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Enabled False Passed
  • Model Under Test
  • Equivalent Model
b2ba7e16af9c8aebbdd8e0f58b4afacdd859be76 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Cross2 True Passed
  • Model Under Test
  • Equivalent Model
5ad3da8a6130b6dceaa32020ac7ac4ff20255c21 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Cross2 False Passed
  • Model Under Test
  • Equivalent Model
2715915900ab5ab6ca78c48d95023f3311478177 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Cross3 True Passed
  • Model Under Test
  • Equivalent Model
b2d22ebe7bf134e3e72076614aeaa204d6b106eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Cross3 False Passed
  • Model Under Test
  • Equivalent Model
b211b0c629e6823083c510634362d1c3ef0a40dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed FunSet True Passed
  • Model Under Test
  • Equivalent Model
e04f33540aad211a3708910deb704e7ee82b42d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed FunSet False Passed
  • Model Under Test
  • Equivalent Model
cdbd1239e72f214d1da6ab98db00b190d3c4cb3e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed RecordSet True Passed
  • Model Under Test
  • Equivalent Model
d9bd06fbbe3390a6cde497a4451eba1dca191407 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed RecordSet False Passed
  • Model Under Test
  • Equivalent Model
28c23aa5f51db696870223780db98dc9d50be358 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SetDiff True Passed
  • Model Under Test
  • Equivalent Model
ec9dcd5083c68470de815a7ee7e958c54423ec7b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SetDiff False Passed
  • Model Under Test
  • Equivalent Model
e3a980abe6591039ccf5a3acfdd920e720d23186 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SetUnion True Passed
  • Model Under Test
  • Equivalent Model
90a3498aa4a86c1b8fce1313dc68d9b4a3cbccf6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SetUnion False Passed
  • Model Under Test
  • Equivalent Model
cec1996213ab31c1d236132870065983877bb631 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SetIntersect True Passed
  • Model Under Test
  • Equivalent Model
e14a24e69c60a06ca1f92086ffb14556ae2d0d46 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SetIntersect False Passed
  • Model Under Test
  • Equivalent Model
42ed4f23f7f79223004614acfa33ce098724a206 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SubsetEq True Passed
  • Model Under Test
  • Equivalent Model
d1ad4b90d028c0174951f5706e8ce3f02a3c0783 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SubsetEq False Passed
  • Model Under Test
  • Equivalent Model
b594afbd627a9d46af291c52c5b6acff212adc32 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed IfCond True Passed
  • Model Under Test
  • Equivalent Model
9621e842b7efd8d8d2f71528b1e70c56f0681614 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed IfCond False Passed
  • Model Under Test
  • Equivalent Model
689465b2c9b857aba168d3b7283afe0703744837 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed IfThen True Passed
  • Model Under Test
  • Equivalent Model
9504b15f6b328d94b024fa5789409860e99908ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed IfThen False Passed
  • Model Under Test
  • Equivalent Model
e3085c913e17037494d5efd6431163b577c1ba72 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed IfElse True Passed
  • Model Under Test
  • Equivalent Model
03c6c14d9fd13ef03ebd96feebf9877f733976b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed IfElse False Passed
  • Model Under Test
  • Equivalent Model
69f399630fba5cf1ba01da8e7f962ec873892aaf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Subset True Passed
  • Model Under Test
  • Equivalent Model
8fdd16af11e42db2549e9c740f7c316accf103ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Subset False Passed
  • Model Under Test
  • Equivalent Model
92c8213ef5acdc80154babe864c49e34103d3e56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Domain True Passed
  • Model Under Test
  • Equivalent Model
e4edf60820dad774902034e7e58abba4223a840a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Domain False Passed
  • Model Under Test
  • Equivalent Model
572bc60bd1f2382caa79553cf2b21c35f3f4c9af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Union True Passed
  • Model Under Test
  • Equivalent Model
bc76c0b5c438c7836d04ddd1f93581cd13c07f77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Union False Passed
  • Model Under Test
  • Equivalent Model
ff600029c3ec2cc055992f8bba065331015d13fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Unchanged True Passed
  • Model Under Test
  • Equivalent Model
c6bad57914694e0dd64fa6b96ff9fd5e779adef6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Unchanged False Passed
  • Model Under Test
  • Equivalent Model
872a29ed7acb8ab32053423605fe4a0fb1efa5d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Equivalence True Passed
  • Model Under Test
  • Equivalent Model
9a977c45f8d2d42adabd0e535cc20a4f3ef8affd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Equivalence False Passed
  • Model Under Test
  • Equivalent Model
3acf41edc210e1540e757218d7bbce595aa492cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed StringEmpty True Passed
  • Model Under Test
  • Equivalent Model
6826e25b2ecb6addaf3a1186c29b8c4e3d4c8125 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed StringEmpty False Passed
  • Model Under Test
  • Equivalent Model
65de970a691bb888bdf7cc2033e6db90983b20ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed String True Passed
  • Model Under Test
  • Equivalent Model
1edaec1ba68e5f16c52f21a27f9356a48f1f87a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed String False Passed
  • Model Under Test
  • Equivalent Model
e64b5c7d1748c1053827bac2dfc22921de91e265 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SeqLen True Passed
  • Model Under Test
  • Equivalent Model
e1c3b05122c526ad1800f7bf05e22add488abd75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SeqLen False Passed
  • Model Under Test
  • Equivalent Model
e7ddc6fb80cf8bb0cb5942a7ecd5dde3409faffe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SeqConcat True Passed
  • Model Under Test
  • Equivalent Model
92647e32baa57ad242543d9c71e554b55607c599 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SeqConcat False Passed
  • Model Under Test
  • Equivalent Model
a6b92793cf8dfbbae0a20115a4fe45583650718d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SeqSelectSeq True Passed
  • Model Under Test
  • Equivalent Model
d49ea08d1aaf398193b1da1e488ed2772979840d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SeqSelectSeq False Passed
  • Model Under Test
  • Equivalent Model
26344cb116a091b8d193060effc32c44bb886482 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SeqSubSeq True Passed
  • Model Under Test
  • Equivalent Model
b4e1cddb5f5a61123c69674abb4e2297aade1d27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SeqSubSeq False Passed
  • Model Under Test
  • Equivalent Model
bc80e77cbfc4ece0419376da0ef88dd7686e52c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumRange True Passed
  • Model Under Test
  • Equivalent Model
f6adb9180dd548a32dc0f318380abddaa809d750 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed NumRange False Passed
  • Model Under Test
  • Equivalent Model
d64939352503882a66d4139b10887721d3934e65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed TlcSingletonFun True Passed
  • Model Under Test
  • Equivalent Model
4984a92cddd743274b4fa15926c9efdc648fcf75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed TlcSingletonFun False Passed
  • Model Under Test
  • Equivalent Model
b2582cf88d20e7cf2dff727c1727d5ffab2e2ebe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed TlcExtendFun True Passed
  • Model Under Test
  • Equivalent Model
57615542f304a0cbfead90023737d7fc7dc639b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed TlcExtendFun False Passed
  • Model Under Test
  • Equivalent Model
acf8683c3a36b755fb8b0734d806ecb82caac326 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed TlcPermuteFun True Passed
  • Model Under Test
  • Equivalent Model
5dc682629d075631703b00397644587a9c0b78c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed TlcPermuteFun False Passed
  • Model Under Test
  • Equivalent Model
81c0326f0599fb6ba2b6a363072bbbb758ee051c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed TlcSortSeq True Passed
  • Model Under Test
  • Equivalent Model
80ff728426c71ae06fb99684ae82b53818ed4d53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed TlcSortSeq False Passed
  • Model Under Test
  • Equivalent Model
c524644742daab6e969ad52a071fc9201d8b5ee3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed TlcEval True Passed
  • Model Under Test
  • Equivalent Model
d1823cfcc033faa55219951aea784aed12574580 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed TlcEval False Passed
  • Model Under Test
  • Equivalent Model
e163e4ba2c75a055135d72170d08ca9d24e5491e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagBagToSet True Passed
  • Model Under Test
  • Equivalent Model
8e7622d9c026e591eb44aef6cc921fbe928ae5a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagBagToSet False Passed
  • Model Under Test
  • Equivalent Model
21d4f0384634f5dff93ea37283a10ae7d8a98ded TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagSetToBag True Passed
  • Model Under Test
  • Equivalent Model
e11d375a834958d13f2fadce1f93a7e90a33fce0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagSetToBag False Passed
  • Model Under Test
  • Equivalent Model
fe76111b1d94518518b8d4ab1a860273ce9b8d0d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagBagIn True Passed
  • Model Under Test
  • Equivalent Model
d374b29dc4c354c0310180690c83fa5f165c2bb1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagBagIn False Passed
  • Model Under Test
  • Equivalent Model
bdaf71d258aee08b16737529e219ddf7363e7e59 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagEmptyBag True Passed
  • Model Under Test
  • Equivalent Model
5d4e09e8a896161a532a4e13d7a30c8d0e1bf674 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagEmptyBag False Passed
  • Model Under Test
  • Equivalent Model
5e16b5b9edac96b129a3ee89ae4a31afdf202850 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagAddBag True Passed
  • Model Under Test
  • Equivalent Model
6e61465c4c0c83ebc52f5181c086c8fb336b118e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagAddBag False Passed
  • Model Under Test
  • Equivalent Model
2e3c37b8b4c3548710b7e98536b2e23aa029f103 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagBagSub True Passed
  • Model Under Test
  • Equivalent Model
e739293aef809636072c2118637ee15d77944837 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagBagSub False Passed
  • Model Under Test
  • Equivalent Model
af592debcc83254edbf8fda4867e9918e2b97217 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagCopiesIn True Passed
  • Model Under Test
  • Equivalent Model
5ae5289d0f26c3461ad318d6f023ad2049adc176 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagCopiesIn False Passed
  • Model Under Test
  • Equivalent Model
f35c68873786a4be5b02ab6dcf16adaeb9a261d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagSubsetEqBag True Passed
  • Model Under Test
  • Equivalent Model
9417b5c74718d38345d32e21e003f0f5e76a9c04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagSubsetEqBag False Passed
  • Model Under Test
  • Equivalent Model
3cefd59109595a2721a1464ea351bf14df075f86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagBagUnion True Passed
  • Model Under Test
  • Equivalent Model
0e928d03d55d54663c7a4aeda92ca0f987755113 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagBagUnion False Passed
  • Model Under Test
  • Equivalent Model
1a8d7b320ef47528c0684f1676df385dd9ec2fbe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagBagCardinality True Passed
  • Model Under Test
  • Equivalent Model
5bfa14451236101d23eba70b91601c63a1879975 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagBagCardinality False Passed
  • Model Under Test
  • Equivalent Model
d6264bddc2a86044325d065474408e7a3f3cdefd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagBagOfAll True Passed
  • Model Under Test
  • Equivalent Model
3db71ab255c3245b6c36cba132571cdf5404922e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagBagOfAll False Passed
  • Model Under Test
  • Equivalent Model
dc680b841d25ca6307cf4cf1b3fb86f961d36ad1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagSubBag True Passed
  • Model Under Test
  • Equivalent Model
29eaa23afb882610cf023185f71435d61f02d1af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed BagSubBag False Passed
  • Model Under Test
  • Equivalent Model
0c4807005a3b019b66b4caac66c16effaec16771 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed FiniteSetsIsFiniteSet True Passed
  • Model Under Test
  • Equivalent Model
0213cbfeec1a394767f410c1f8c47fa7f205f92d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed FiniteSetsIsFiniteSet False Passed
  • Model Under Test
  • Equivalent Model
b27a553269c95da7bb07690ba3fffaf2acf0d1df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed FiniteSetsCardinality True Passed
  • Model Under Test
  • Equivalent Model
efc0f0c3d0f7da4ee1204a26dba204ba540e24e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed FiniteSetsCardinality False Passed
  • Model Under Test
  • Equivalent Model
440592e61af355efe40879691fa6abf5d37c5c91 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SeqHead True Passed
  • Model Under Test
  • Equivalent Model
ad283ddec4990ccc344da332398fee28ed1e25bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SeqHead False Passed
  • Model Under Test
  • Equivalent Model
51fe27e028c04aa80a20f0b953e45e157685b403 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SeqTail True Passed
  • Model Under Test
  • Equivalent Model
7493c4415ee3f164919de17c1710dbfd0b2e79bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SeqTail False Passed
  • Model Under Test
  • Equivalent Model
018358676a6a8d4b3405f52d3f6a36181e7e1074 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SeqAppend True Passed
  • Model Under Test
  • Equivalent Model
22cf3c1e1aa27dbbbee8c73f02a63dbf769be34b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed SeqAppend False Passed
  • Model Under Test
  • Equivalent Model