Index

Tests by plug feature InstanceNamedInFolder; CLI Option: -workers 2

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
70afd73d001fe8f30f675f27ff2a4c9c1ada4d7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And InstanceNamedInFolder True Passed
f895706ba88b2d229715fd4a7cecd6fff6a8aa29 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And InstanceNamedInFolder False Passed
b7edb7af379d032e0dbbe2358a5cd2b598cddff4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine InstanceNamedInFolder True Passed
beae1e00f9155934ce509bd07904e516fb12dfb8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine InstanceNamedInFolder False Passed
b4534fa39ae5d097f96e1b53b6b0e06153b3ec27 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply InstanceNamedInFolder True Passed
0053ec17a5bb7b6c17b4746cc0cd6f036e62a88b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply InstanceNamedInFolder False Passed
067e373566097c1f225c2e936d2d954ce64cfbc4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not InstanceNamedInFolder True Passed
31facd5be8fd95ab9c8e4ad65a4bac37e201e008 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not InstanceNamedInFolder False Passed
5028cb8aed735ee3b0d83575964cc8e58cb9f734 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or InstanceNamedInFolder True Passed
6483e23314eba7e936ebdf5d78ca8d1d5f978991 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or InstanceNamedInFolder False Passed
c7daa355126b02a3277c899180322d36d46241c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine InstanceNamedInFolder True Passed
867c8ab04373e13d6b6bb25d62d630484f7bb9cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine InstanceNamedInFolder False Passed
e4a654f36ca77f4bf5c8ba4e77565330969451ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp InstanceNamedInFolder True Passed
9b973e07c6f14245281c2687c5dccca6c69b565e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp InstanceNamedInFolder False Passed
41eaa9b52b017d45774739a74d9b6c9e49db3eb3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed InstanceNamedInFolder True Passed
81828dc8a59ca44da131857aa87112887f7215d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed InstanceNamedInFolder False Passed
b0ffbea569dcaaf76636b7cb998a5b8821bdf80f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq InstanceNamedInFolder True Passed
f569c580d2912772a6c11d723377c3a9ffb9df50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq InstanceNamedInFolder False Passed
2bb776ee3f53d18b0d734d903c8b61845e188895 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne InstanceNamedInFolder True Passed
b93348ffdde2ac49cd4a0f9213436817839358f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne InstanceNamedInFolder False Passed
a478740971415ebb16d1fd4cb040f1ee705c4d24 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let InstanceNamedInFolder True Passed
6c5019470668a26b61a7027c4b3cdc61d77c2933 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let InstanceNamedInFolder False Passed
574b222fd7a0685239ebdc2336505f79930841b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 InstanceNamedInFolder True Passed
093ae8a09d0915bafdda126a0a3a625abe1e6fae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 InstanceNamedInFolder False Passed
413a47a6f78d3cd4af6c320a6b9e5d49a5737e39 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 InstanceNamedInFolder True Passed
de1255af8d78dfbccc0f307f1b2e65cf5d0279ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 InstanceNamedInFolder False Passed
493add805bef20942ecd7b3eb0d296b6336f1976 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 InstanceNamedInFolder True Passed
9e1ae107a24ba555cab95af9221e6c9964af82be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 InstanceNamedInFolder False Passed
25c331da8a501364296f120f049ee6ae130566f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun InstanceNamedInFolder True Passed
689173c93276f9b98965110bc214f639428a9be3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun InstanceNamedInFolder False Passed
432b50d80f1985b9a26593e803fb8cee02039985 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In InstanceNamedInFolder True Passed
4b1124664a84d41d042b81fc788bf8be3caa0643 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In InstanceNamedInFolder False Passed
300d8bf829e39ec950f1ab357a0c4d60c5459ab0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn InstanceNamedInFolder True Passed
67e11455fae1cf75e033e851ce61e65f18ba11e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn InstanceNamedInFolder False Passed
2d9c576d76e7319f1ef20071b088fa2bfc1953ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists InstanceNamedInFolder True Passed
fb78761c974dd4e7cd208f1af1ad910abfcaeb10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists InstanceNamedInFolder False Passed
666340e555cb2cd27f22cbcb655b6465480615a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall InstanceNamedInFolder True Passed
85156ce41c225a5dbc53c5ca2318400200522aac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall InstanceNamedInFolder False Passed
3edabb1c1c4097383fb60948af7fecdae728ae4e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose InstanceNamedInFolder True Passed
d89efad9ef1a9b0e606ba18796a012cbf9412512 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose InstanceNamedInFolder False Passed
0b1b8ad219f3cc5530cfa769bdbad0f21f09c0ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record InstanceNamedInFolder True Passed
a212ea4efa23b4110deae860f0b1eefca75d79de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record InstanceNamedInFolder False Passed
d60eb90f7eaddd6e0551200fd464e5c79f93ed4d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple InstanceNamedInFolder True Passed
f2c064980d9f08e2612827cf1b789b49677bd6b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple InstanceNamedInFolder False Passed
b330f4b89665d8b7b93be9104586c76eaac96c6c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp InstanceNamedInFolder True Passed
0c45fa7a1a520ffcaec781f39560917b57c44188 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp InstanceNamedInFolder False Passed
f18ff4714cac32d43a165095df2facad16852e63 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 InstanceNamedInFolder True Passed
cba67e8d634375cbff89c4a78f9753db0a34968f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 InstanceNamedInFolder False Passed
27a4ca35c3441223cef237cf12f0a88e9176daad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun InstanceNamedInFolder True Passed
4ab33f91d267d9890994b75aec79a1abb307fea5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun InstanceNamedInFolder False Passed
4c6bb34d1dc6c932bed38e1a4038369ba38abcab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt InstanceNamedInFolder True Passed
67dbb5a07f2e2ee06d4af185e3510e6b0da3b35e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt InstanceNamedInFolder False Passed
e58add721dfb6d194a7f668d9e62ecfe1e724d2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec InstanceNamedInFolder True Passed
c168fd5550f9a8ee886756d23242c670c15a2e3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec InstanceNamedInFolder False Passed
4f47ff648aedd2a2e955cf8d049fd1e0eaef09dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt InstanceNamedInFolder True Passed
41300dcc7a35afda2e8e15768b663d0e45207937 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt InstanceNamedInFolder False Passed
093be77a1844843064e2f78f272ab087e2e4d558 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun InstanceNamedInFolder True Passed
fc79bf7f6371a861466b3fe38e0a1ab7628cf58e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun InstanceNamedInFolder False Passed
d58365ce0898258448d0be6fe4f945b5017bf606 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple InstanceNamedInFolder True Passed
22aa7ea05d44e6680617bcfe4cabff099184acb9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple InstanceNamedInFolder False Passed
8b15e2c86bbad80170a11089bb4970738bafa21e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime InstanceNamedInFolder True Passed
dd4aabc79f37c13ca75d91b5934592fcccff9acb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime InstanceNamedInFolder False Passed
3fde64f693cde2c0697e2d8776c92ce1af67e138 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus InstanceNamedInFolder True Passed
6070b6f770b40b4a870b2afebc9d3b90248aa0cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus InstanceNamedInFolder False Passed
43aeb7cf9138abed0dd90099b3dc7e466bc984e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus InstanceNamedInFolder True Passed
d1329da4bbd0296838dd9b389a5d47941ab4afd3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus InstanceNamedInFolder False Passed
1d879b382ebc5102530ed6d22e21f94c22e8ab1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus InstanceNamedInFolder True Passed
3e073c9549e078fbce7e09af9f67921de244cc00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus InstanceNamedInFolder False Passed
9ce2bbbd5484e872c74cbbf802c9d69002bb673a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul InstanceNamedInFolder True Passed
a6eda9dcfd3642f4203b39eebc607de916f69bf2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul InstanceNamedInFolder False Passed
8a28d2d773c255e8ececc1549510abe2b43e6dfd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv InstanceNamedInFolder True Passed
0b6f939be0b80b3d279ee55542719e1ed67345b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv InstanceNamedInFolder False Passed
a0ee7936d744d5bc7e1e835dc8c38f0c27b2121a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod InstanceNamedInFolder True Passed
3256330d9a96a05cc16a8e8dafff32c1302d4ec5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod InstanceNamedInFolder False Passed
782acda19f1ae73152f8e1be53b7bc2ef79b0b37 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow InstanceNamedInFolder True Passed
895ce7d3f6069d5829eadeb3018fb5ee2210f8e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow InstanceNamedInFolder False Passed
4c8619a932cc588eb1d6849067b0a0e92ec4b298 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt InstanceNamedInFolder True Passed
1030b725e913de3a716495fd3c40f1e44863ddd6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt InstanceNamedInFolder False Passed
f9bc3f182d67bcec861662fd0fd54c9fb5a208f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe InstanceNamedInFolder True Passed
20e6014f2b36829b7c4caad18c0385338d686b08 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe InstanceNamedInFolder False Passed
1ceede6bb41903e2fd3f6be4baf708d02d3c7603 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt InstanceNamedInFolder True Passed
5ebb4fa32f6e6f376537259eb8530559b6e6e892 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt InstanceNamedInFolder False Passed
ce22475be25728b9e9db008820f0feb2aa130e33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe InstanceNamedInFolder True Passed
c0c4e3fe31178c3f91c7aa11c6ea20030a3afda6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe InstanceNamedInFolder False Passed
cec445acf2280536a3b312adce57e2a58b79497a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun InstanceNamedInFolder True Passed
a8b283c7f165905e781bc26fee0c4537467b0b4c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun InstanceNamedInFolder False Passed
16bb72c3635904bb6c087e946c7196fd93863eb0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun InstanceNamedInFolder True Passed
2270281759d37c2e8a152e3333500a279bb1f3a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun InstanceNamedInFolder False Passed
19baae631f3add7f202a9fc3377beca867343dcf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive InstanceNamedInFolder True Passed
2c9fba83dfc4f03ecf7a515f738d628fe376c4f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive InstanceNamedInFolder False Passed
210da794516971a2bd1f10eb8c323fd5719b2540 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive InstanceNamedInFolder True Passed
3cd4c33b916c320f75de49f8ca5b5ff3943c94ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive InstanceNamedInFolder False Passed
f89b93e2e104f1cce024d6b5cc72fcd9064f32bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 InstanceNamedInFolder True Passed
b968ed7d61aaef37f408e7d86859bfb10abb67c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 InstanceNamedInFolder False Passed
029890e8daaa7b2d0cddf07096048d2d4757d91b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 InstanceNamedInFolder True Passed
cd820315e6996a0618f191af95be3351aa448fe0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 InstanceNamedInFolder False Passed
48d8852077f738540d6c6a7ba596c45ccb3f11cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 InstanceNamedInFolder True Passed
f13fd44c75fb0f73bfc261dfb9aef21f41d9b984 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 InstanceNamedInFolder False Passed
d5fdacd369c273057db3e463a9138c5d2ca6d2d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 InstanceNamedInFolder True Passed
205c086b06b73406d5bb766f1f20bda70a1ec86c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 InstanceNamedInFolder False Passed
5fe56184218ffff7e8f8d526d7a78e4a2ca43d00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 InstanceNamedInFolder True Passed
b5cf547f7dfcc1a1dff9c4cfe1e435c1e68938ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 InstanceNamedInFolder False Passed
2681fed87fc0b78940537eaddc19b9254d582744 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 InstanceNamedInFolder True Passed
749183acc33362e4f2339531655d7845dcff3c32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 InstanceNamedInFolder False Passed
692d636d74325a9724f36bdca7525ec9740aa6d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive InstanceNamedInFolder True Passed
78d27ee0d2c27138121d85a97d308fc5d96103db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive InstanceNamedInFolder False Passed
2f55a82c35130727e65e4543ea48d7ecaec00a52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive InstanceNamedInFolder True Passed
077f9c2d2a368cfe53ed429bc4f3e2302d64ee9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive InstanceNamedInFolder False Passed
362ee68e6ec854dd7d4a1ebb14f9c2e7e78d4541 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends InstanceNamedInFolder True Passed
f8c1c82347c79b3c471e46e4ce88d411d558d62a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends InstanceNamedInFolder False Passed
d3a0d6d551d3d2280f59e30249f62362877242ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder InstanceNamedInFolder True Passed
0c8af16b9254888ad1fed7adfd943b7cdc1c8e5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder InstanceNamedInFolder False Passed
2feef6c23be4533b1c694037cd50a654631d68b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable InstanceNamedInFolder True Passed
9af1a3211b62c46d324086b1914082525d3566fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable InstanceNamedInFolder False Passed
7608d2758d8c7919dbaa0e4cd41d2c878f834bf1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude InstanceNamedInFolder True Passed
51c7c11533d865da6436b60bb7894f4c0279ac19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude InstanceNamedInFolder False Passed
5238c8ff4702096ac612db5111ce949d0e439fba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant InstanceNamedInFolder True Passed
ff7f4ce7cd76228e97e84175864fc82427a9c367 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant InstanceNamedInFolder False Passed
0a3cbb028eac01cdc68813aac2ccca6d7057458e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 InstanceNamedInFolder True Passed
d009037c305e3c4e8f13674cf71a334b434737e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 InstanceNamedInFolder False Passed
fabe3c31f17b1da4f5836e6991e7c70708ec14ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance InstanceNamedInFolder True Passed
ebbea9383266a31e7ed0670ad9112726e6f99e54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance InstanceNamedInFolder False Passed
82d0654c94532e8362e399b3625b0da228db9a4d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith InstanceNamedInFolder True Passed
e0adad8809d0d0a20bca3dfd09fa7b0ddeef5ea7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith InstanceNamedInFolder False Passed
d1dda4b9081e9507534c83a518d2db966b8ddb8e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed InstanceNamedInFolder True Passed
a91ea3e95a0e8c8a0d04ebc5181366cc95eca2ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed InstanceNamedInFolder False Passed
1eee98a95fed42be6167f577c302b4091e98968e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith InstanceNamedInFolder True Passed
7f4db84f7ed9883a45070450b41ddf8fdbc6d988 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith InstanceNamedInFolder False Passed
68298a7b95c4557add55906fd4f97b58c746c4df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder InstanceNamedInFolder True Passed
e37dba64cd5639a3c6b1ecd6e73b0bed39770cf2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder InstanceNamedInFolder False Passed
87c7149632611dc1aefb44a102de29aaa7e8ea25 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder InstanceNamedInFolder True Passed
654464ed66a5566a39c0c494ff768d2c8131b228 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder InstanceNamedInFolder False Passed
2138d60b878b4f0e7c5d20985710eed12008f28f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder InstanceNamedInFolder True Passed
2b4e13519c68c6f9ffd90e374b0718890d6a3616 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder InstanceNamedInFolder False Passed
d0b3a2a3c69b595da1031c36b35c600ec12ca253 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder InstanceNamedInFolder True Passed
b0bb0ed911b8520d8fdd83a4ac4bf5ca4636c41b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder InstanceNamedInFolder False Passed
5898ba8f85ac3da83bc90902804dd764aceb8178 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled InstanceNamedInFolder True Passed
08560df6f61a42dcabaffd18e7a92f984296aca1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled InstanceNamedInFolder False Passed
40e06a1ead40af54abb4d7b96bb37159b86d20c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume InstanceNamedInFolder True Passed
eeb7c50cd4198e97ed37e1f6fd9fafc164cb67e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume InstanceNamedInFolder False Passed
05925b8c9e5b42343a874238c71825b854718595 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed InstanceNamedInFolder True Passed
2b12d2d5c4849e2d00c1ecbaa2dbbc971e36c887 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed InstanceNamedInFolder False Passed
382e4f18762331527a7f29deb54df8bd4bdf1b57 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda InstanceNamedInFolder True Passed
de79813e2463391ca9e28865a26245dd980cef9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda InstanceNamedInFolder False Passed
23a8da91103814057ecfcde1da958333cef8538f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 InstanceNamedInFolder True Passed
f97923e59258f401f62f66a7562fa71c6d8caa19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 InstanceNamedInFolder False Passed
ae0a486fcdb54619766548b9ae442d1880eb7e7a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 InstanceNamedInFolder True Passed
3d18d77f198afa9a4fadee23226b586490f4ff8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 InstanceNamedInFolder False Passed
60a7d0945ab39f8d0bf66e26b5d6640b011f6c1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet InstanceNamedInFolder True Passed
31f4c3dbeb80aafdcefdfaa1d55993efa18e5ae3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet InstanceNamedInFolder False Passed
1c517a9df6de91016f31169313b5f68367d10c2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet InstanceNamedInFolder True Passed
1d0feac9379f0727c021470cb61e7e680c4010c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet InstanceNamedInFolder False Passed
9bb395a1873a6de7eee6fda0b51302c0ca5ad27d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff InstanceNamedInFolder True Passed
ae9893a8e67bd65c6f4f56c913e80746ca887848 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff InstanceNamedInFolder False Passed
c41dd966111cf0b99d4107d1f2955f05462aa4c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion InstanceNamedInFolder True Passed
d226c5724bdc3b44612ebce7485b891b8dcb0aee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion InstanceNamedInFolder False Passed
75fe6470b0538ded279d45d415ce2e2d281f430c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect InstanceNamedInFolder True Passed
ff85cb77947fbf352b7b442f862d5a730b9e4814 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect InstanceNamedInFolder False Passed
3e61c77df7c902d2aab4820279e84661ae4cfdaf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq InstanceNamedInFolder True Passed
b3abcac8437628af3a5b4cae4e78a207d1d487e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq InstanceNamedInFolder False Passed
529ff6579794ba926534acb6c2efcbcd4bb05a97 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond InstanceNamedInFolder True Passed
21b00f36c66f0bcec2be1dc3382c609fb1fbc555 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond InstanceNamedInFolder False Passed
d6da9c21999a5dfb1af3ced07e81d1b39d92109c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen InstanceNamedInFolder True Passed
dcb08435c6fab5569e0d2cdae1050e2ee7430f8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen InstanceNamedInFolder False Passed
788fcbe00f43177238c36baa75810561c5e46700 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse InstanceNamedInFolder True Passed
363f895fb04fba0f4f3d70cde817d741e7a36bda TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse InstanceNamedInFolder False Passed
a15d941a7c3d914ff24294c2d5ce90d539e18c51 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset InstanceNamedInFolder True Passed
def2f6725a7ef296d97d54e7f6bcf55f1242ba2a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset InstanceNamedInFolder False Passed
a61f666b4f3af4c648bf6f0e9c39a1cc31cf3190 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain InstanceNamedInFolder True Passed
e193b11c36a80101dcb6230104a2ae3ab7b2d615 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain InstanceNamedInFolder False Passed
2aa18ba298db474fe56f8cbcc28cb309be9055c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union InstanceNamedInFolder True Passed
95790781d07f52bca41194c6edc4020f74005d0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union InstanceNamedInFolder False Passed
ce0511d54266829dcf4c6951677d29e0ef00fa52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged InstanceNamedInFolder True Passed
7c946ebcb32906b82156ff1837b6b3e5be0f2138 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged InstanceNamedInFolder False Passed
2339c8a000d69c4c59ccaf3f657538dc9107d218 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence InstanceNamedInFolder True Passed
afb27b100689edeeab4c9fd1024c9e2e4742ceb4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence InstanceNamedInFolder False Passed
0af456ccf6fb6a5db9002cb5e6ac747139ea2b93 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen InstanceNamedInFolder True Passed
28e160eea2ed44e3b11be188c3a7331c3c22919c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen InstanceNamedInFolder False Passed
7e532f5cc09b056254e25aa2730a14e0327ccb09 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat InstanceNamedInFolder True Passed
865caf3d8093e5914b55550afeb5ad2bc183c007 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat InstanceNamedInFolder False Passed
3b1e01cdceedf8b8d762e151d0784914c1bd5733 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq InstanceNamedInFolder True Passed
875f13449285ac8318d0c50dcd71a910d8cc3903 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq InstanceNamedInFolder False Passed
9d0ddd4f6c77970b21eb2d7689d3ccc7aa2e2375 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq InstanceNamedInFolder True Passed
63509296f639d825f997ab3fbfff0b6a5389b4a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq InstanceNamedInFolder False Passed
9316ca1b072f1f25d17436908257eb4c3e90bd30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq InstanceNamedInFolder True Passed
4501a5825924bda72737dd0323726f070ae8502e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq InstanceNamedInFolder False Passed
9c00d0e4f72d7776313c741b1e7187714047b78b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange InstanceNamedInFolder True Passed
1ef3e8570844a728e026e4a4adb66c71ca781d8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange InstanceNamedInFolder False Passed
4c0854404ec4bc1749ef5b7dab23a90f04b8c27f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun InstanceNamedInFolder True Passed
03ba4f438c49da1445a22351ca87a7395ac1e653 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun InstanceNamedInFolder False Passed
1f8984feeffd61cda4cc54fea52fbc58c0473bee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun InstanceNamedInFolder True Passed
f538a9f54470b5e5b62d2d0b1460693d39c112c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun InstanceNamedInFolder False Passed
273e77563383dd8f50a4b356241ed093b52227d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun InstanceNamedInFolder True Passed
36ab9383cd55e208299aa520153c88f83a080315 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun InstanceNamedInFolder False Passed
d3ff33dbad3ca4af6146f9472ff9ab7f5665bc39 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq InstanceNamedInFolder True Passed
c27a7d4dfa8b8a997981340bb9a2a1689b73f522 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq InstanceNamedInFolder False Passed
929d0f00c9d5c3e34037f9b9f71dd068ffa27be4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval InstanceNamedInFolder True Passed
e47063585f7c755dcebe7b30e883cc578bb67fa8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval InstanceNamedInFolder False Passed
410453de6745c3e151e2d299f9b66c383ed8ae94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet InstanceNamedInFolder True Passed
98425c37cb561e7bd473f2b5c2dacf701afba403 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet InstanceNamedInFolder False Passed
a56867214e8153f3bdbae72d9ba564a286eb1bc7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag InstanceNamedInFolder True Passed
ae3c069e5986e7c0d10354ba1745b61dc1837f6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag InstanceNamedInFolder False Passed
0e68bed56c43c1c881daff81b7d4a8241324d834 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn InstanceNamedInFolder True Passed
3b5d4946b8b91fd5fa61cc274884ced49499810d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn InstanceNamedInFolder False Passed
d74142fa853e27195f0b3a98b00a4564427837be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag InstanceNamedInFolder True Passed
1113a347e5772874cc33b529f4b6060c74371b9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag InstanceNamedInFolder False Passed
7a8a4b6b702c830e1c76edb5a240b65d61ae56c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub InstanceNamedInFolder True Passed
c53f09b9144dbbf81c1dec9fc12e48f3f0f369b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub InstanceNamedInFolder False Passed
b9aa49142ef44e8e596fa080f06ae2862a0607bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn InstanceNamedInFolder True Passed
e0e94a55d1f6b015e29830532f65a2a4dee56587 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn InstanceNamedInFolder False Passed
b0732ba57f15a8e6123993ee9fd6f06bd665b4ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag InstanceNamedInFolder True Passed
6f3057cf958fdc0d2c5f9c1e01d689df70d5aab1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag InstanceNamedInFolder False Passed
5c232dafd60590ac8bb3254d5ac6958a5c4206e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion InstanceNamedInFolder True Passed
808bf9173205461ee9e1f23944a9d81406d827f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion InstanceNamedInFolder False Passed
c6b7f3c454bcb29c63354f4c479dc7ce838130b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality InstanceNamedInFolder True Passed
7d2759593b9be94d4c1510d446b91fea19227749 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality InstanceNamedInFolder False Passed
6edbe91d1778d43cb0b9dd1313f9018fdf57a928 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll InstanceNamedInFolder True Passed
5e91d38b868c0b051aaf89b2706de000c77bf5d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll InstanceNamedInFolder False Passed
221b258a48a2bc36ff8d9b8292d9c7b864dcb41e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag InstanceNamedInFolder True Passed
238f58eb1e7c2fde6d15e55fb46936ade13d9a7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag InstanceNamedInFolder False Passed
c37771a68d4f2e534414599dbc98b9f22f861f0f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceNamedInFolder True Passed
23f158c08e436c591216e8a0e0f93b385117761b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceNamedInFolder False Passed
cb70ad94ab018b344737660eedad169eb886124d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality InstanceNamedInFolder True Passed
3917baffde247bff20085c3a3618561664ee1ed1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality InstanceNamedInFolder False Passed
d69e00b4b9990528aa6f56bc2ca9ed3e733cd847 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead InstanceNamedInFolder True Passed
ac2f48f170899783858cea8b4b4f6422c3857f73 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead InstanceNamedInFolder False Passed
d0507553a3396275cdc491f05809996e7143c1be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail InstanceNamedInFolder True Passed
e49e505bebc8fd204da392e7f9602b963df5762c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail InstanceNamedInFolder False Passed
94f90c3beb72e8a7ff52bdcb2a4ccde33a12c07e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend InstanceNamedInFolder True Passed
68d9656aed570047608a3ff9974bfedb67578c2f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend InstanceNamedInFolder False Passed