Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
5f1bf1cb8df9acdbf256374e3dc68f1e898aeb2a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And InstanceInFolder True Passed
98a5e37d6805725cbe201a8160be41c25be0aca4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And InstanceInFolder False Passed
1a3243df07073a9f63dcff7923f2a14f0a1458db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine InstanceInFolder True Passed
5fa1a223021a34ba24e7f65b370323372d1334f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine InstanceInFolder False Passed
3407dd0b4ebb7f731a5aad346f75d02194ac3580 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply InstanceInFolder True Passed
60ae1bf0758567ed45cf9746ac9612db71899736 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply InstanceInFolder False Passed
962b8e2e2546f7d12a78cd9729d43ba5e91412bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not InstanceInFolder True Passed
10fa3fea6a9c7a478157807e702414cd44abad8e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not InstanceInFolder False Passed
f7aadcdaf8101beb1361996478363e9b0c988af0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or InstanceInFolder True Passed
14a764f3d4bf5779931ef3165c45223f21a3350c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or InstanceInFolder False Passed
f9ca2e3f1e45cad1388072411cc5772427d14ec2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine InstanceInFolder True Passed
3e4024bc52ee1e55e8decda5532439feb67784ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine InstanceInFolder False Passed
1651745d50591e9fe8cecc80b13f5ece68fcd07e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp InstanceInFolder True Passed
7a4c32b9ca4cf4751374240988902c9ff11f8b4c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp InstanceInFolder False Passed
22618ec3542d3210805e67a893501afc0a47cf33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed InstanceInFolder True Passed
89bb0832778c7ee18bdaee26cfc2ba757df97960 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed InstanceInFolder False Passed
ee42528de1fca78d29769a54b7814e298f0a05dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq InstanceInFolder True Passed
a44cf5952bbfc6e93133ffb136ecd69d4c2e2dfa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq InstanceInFolder False Passed
053fb1e03a916904691ecbd4fcfdad1e3c0f4f86 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne InstanceInFolder True Passed
e3706b3e1982303f6ecd638a0869bb1d1cb7340c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne InstanceInFolder False Passed
a81a6393d1b4df09255318f6cdb0d0226ae3eebc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let InstanceInFolder True Passed
501e09a8d3114945ce13d32343edf43d895bb58f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let InstanceInFolder False Passed
34a5a672abb5909e580d5766a973afa06f55b998 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 InstanceInFolder True Passed
2e20614fd2f934adedafd2280113bc6f91d6385b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 InstanceInFolder False Passed
e31008d0e3d8e5f1ab0fdc46ad90418a29dd2326 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 InstanceInFolder True Passed
9e8f8f0a82827791fa037015a52707fd19daa74f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 InstanceInFolder False Passed
1de64f1ccb4165756fb758a6e2bf9c37126dfe7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 InstanceInFolder True Passed
9666e440ae50f09ee8614a84c3cb2f116f0cbbd3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 InstanceInFolder False Passed
594a28e6971e2a9e19e880d6b322de6ac6d98402 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun InstanceInFolder True Passed
d0299b0937924900b3a9c94d4dec03c18fb87816 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun InstanceInFolder False Passed
1fc5b861037267f5e0d6991f05dc9e4a5467ced0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In InstanceInFolder True Passed
4192ac41ebe948e0f237d385941b1d2abcf0d743 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In InstanceInFolder False Passed
8b58a699d95c5c8fb6148e52b057b6e76ab3f7da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn InstanceInFolder True Passed
ab6ac15e2b18695c94b134156831be6fb578f9f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn InstanceInFolder False Passed
8276f47e5bc134e68228723ad620f64e0f96d9d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists InstanceInFolder True Passed
46d28442ee905e67dbf096ec23f41b72add050ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists InstanceInFolder False Passed
0982ebcf6214ad7d5d657774ed7d88862641114a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall InstanceInFolder True Passed
320a19e318721df06b984133e78f0959dc063f8a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall InstanceInFolder False Passed
c32a822a9e75834ecec474d83924b9d0190ae912 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose InstanceInFolder True Passed
d0af33dee2dc2008cd041849eb978fe6910014fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose InstanceInFolder False Passed
36d09be8b410e7738532babe69b840f734814c15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record InstanceInFolder True Passed
03058f5839a448b8d1ce8b807b79478124d6a3df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record InstanceInFolder False Passed
557f787c2561a2cbca300f55b79ec915ad115aa7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple InstanceInFolder True Passed
5d0c718a31c6aff6a029990eefb83759daaf0b8a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple InstanceInFolder False Passed
bf48e441d784ca18d23f5520f589c55f197fd0e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp InstanceInFolder True Passed
6399a55aec37c5121f1e5056f781cd4f23f13b73 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp InstanceInFolder False Passed
94afb3445aba8fb933cd3482ad0c606bc4cb8267 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 InstanceInFolder True Passed
d50074c3f875e8d5bd9664401e9b156e5425c88c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 InstanceInFolder False Passed
ab2e4e61cdc198c8012f3d3710c0d0fa7d767be3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun InstanceInFolder True Passed
84e5d50acc81c29e3e79b4b67e0e1c009cf15d0e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun InstanceInFolder False Passed
46a16bd9eae6d9659e190657b9bf17b3ba46d867 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt InstanceInFolder True Passed
3658d35c73411131e59d6904df4971cfc413de2a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt InstanceInFolder False Passed
3f0509268e44690e9c97098d39e3d3c2c9efe7dc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec InstanceInFolder True Passed
222ac53c417efaede0dd7298d1be3579cc0716f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec InstanceInFolder False Passed
d579e48b086c6e92f0c943c3fb26dbc21733c7eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt InstanceInFolder True Passed
402a84757826f8ce0fc323165ae3a66b9fb98abd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt InstanceInFolder False Passed
a06d21ccbb638c27bece2ddd424d7befc28e5cb9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun InstanceInFolder True Passed
8a280b4710d37ed1dafb037efdff5ba7d0c45747 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun InstanceInFolder False Passed
71b51ef4c3a78e9b4daa344d01ac7917b3d6d066 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple InstanceInFolder True Passed
9171551e673ea5f4a5ea82a73f6fbc7d711886a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple InstanceInFolder False Passed
5c4ff78356353e4232f4b930620d0e25e5276713 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime InstanceInFolder True Passed
1ef75f20f0536a47fef0ae163cf12d17bd36c46d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime InstanceInFolder False Passed
ce046d6c001e553702f31485874074c8845ff2fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus InstanceInFolder True Passed
9bd7be3f1d2af340a75a4786a3a4b35e4f84b73c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus InstanceInFolder False Passed
fbbaae3b848a70594c43742de7ca4e54cc5f288f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus InstanceInFolder True Passed
efb24d40dbdde82bee5b5c492a5ee59817cc2398 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus InstanceInFolder False Passed
7e5360077ec0c19360b2426195a38f8a1a64f9f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus InstanceInFolder True Passed
0aa1fbd7656a958597e408f4406963f5b37e158a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus InstanceInFolder False Passed
51f28dd74c8f228038b7bb945a106ef64629f617 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul InstanceInFolder True Passed
765ce8f6c35fa41d72ed17daa4a6b2a94c96beae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul InstanceInFolder False Passed
d660d1a59cb0ec5d0bf86cd5ce163c1fc2a06904 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv InstanceInFolder True Passed
e63c8614b2c8ac4db036b8923349623af38b6603 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv InstanceInFolder False Passed
7fb90553671f2f4f04e84f8e9fd752f03400c56d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod InstanceInFolder True Passed
6c740cf0b4303f22b93cf65f58f7c65983b5ae61 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod InstanceInFolder False Passed
535c80deea35069573d247184c8f6c1cf08ce9f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow InstanceInFolder True Passed
6f4a3af8322ab5ec08c6929171c42b5d48de8617 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow InstanceInFolder False Passed
bd02b6975968bf1024e3d802941c47435422b982 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt InstanceInFolder True Passed
2f5d7e0c79bc15745f92023499be7ebf37eaed3e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt InstanceInFolder False Passed
ae29a2bbbf6ab0f05f8dbc500e672d0e97a9f780 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe InstanceInFolder True Passed
eb718d8cdf51d86fc3d86e9ea8130b9f2dadb577 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe InstanceInFolder False Passed
06177b40eb78119e0c09be99275bf361bd09971b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt InstanceInFolder True Passed
056678bf30204f75fefcc95892502014dd3e8ce0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt InstanceInFolder False Passed
2886e2745d557c8531895bf00b1f06c911097c97 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe InstanceInFolder True Passed
e1fdbc5ae280e2365c608169fb344e7a157c8d03 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe InstanceInFolder False Passed
e54626d6731cfda6fb45fd85ccb84d7e428bbc69 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun InstanceInFolder True Passed
be4fe0edae6396b2a99764c0188aaa5eaf7534fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun InstanceInFolder False Passed
c45ceb6a27b46dfae4261bbc4d8ed1d2344e9ef0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun InstanceInFolder True Passed
274ba62195c11186c4cd26a729d922a44d0dae70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun InstanceInFolder False Passed
781ff9851ac5f0f009f03f1588a23d8c9a6704a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive InstanceInFolder True Passed
271e2b05ea64bd3414c7927a64bd8e4859358cc4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive InstanceInFolder False Passed
47922ed28697657cba9754af3feaa9d05042e83d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive InstanceInFolder True Passed
f3b6fe50ec44eb6ef8c2de9a567da9dab242aceb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive InstanceInFolder False Passed
b4558511e8cf643877edf804bb235f013cfe1c12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 InstanceInFolder True Passed
53e70dd6df5d8386450aef033c1157fb7b5542e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 InstanceInFolder False Passed
b1f66d780720e30c1e55505f0c08af621f2a83fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 InstanceInFolder True Passed
abdf410ca0f50e4554007440fd46361a94e84d90 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 InstanceInFolder False Passed
6c14308cbe17334021eab8540d71769582bfdd74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 InstanceInFolder True Passed
b715d9d3bbf28afdb3eeb03e09a2117fd41f2174 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 InstanceInFolder False Passed
0630ab733d121e71ecae5b54dd21bbf1f0428fb0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 InstanceInFolder True Passed
7af17d937d09aae957ceb4a28dbde3b11aeeb059 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 InstanceInFolder False Passed
68e5579973d9de02444ae4874604464ef436432b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 InstanceInFolder True Passed
e83bcf3802212862996643b8dbd5eaf0ae5225e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 InstanceInFolder False Passed
7b2ff2379407d12dbd725e353a2c6e20eb6f2abc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 InstanceInFolder True Passed
6df99c72c60db0e659d1cfe7b98a6358304bc86e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 InstanceInFolder False Passed
009b95f0614ce2f6b7d2c1162be38d04331e9eb3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive InstanceInFolder True Passed
8832eb5330a0007f9248c95393d4440b0282ddd7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive InstanceInFolder False Passed
fd42c4123f28b4f903622b130cbad229321806fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive InstanceInFolder True Passed
55444358fac398f5da9981a8d57d61f7e6c4fc63 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive InstanceInFolder False Passed
2ceba12aac4cb5cc610e1875cf1ab2ffe0a4bc84 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends InstanceInFolder True Passed
b301551826fff9b304feeb957c70a005fe9360d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends InstanceInFolder False Passed
ededbad50a8a7eea5ab33ba9b7ba4e52528a97d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder InstanceInFolder True Passed
6ef1357f655adda065c79508ce8a98277b152a64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder InstanceInFolder False Passed
d98187eb4e387fd531cca27a651e1ef6219e9a39 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable InstanceInFolder True Passed
45ad83a6790bbd1c8880e83e734e0bb9fcda4f13 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable InstanceInFolder False Passed
41401513fadb2c4310fb5c13d904035419063258 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude InstanceInFolder True Passed
6b8e44446c7e3d87c37e46a8c718f2ad973d0bdf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude InstanceInFolder False Passed
35d36336f8805d1a325ff732b939a6849ba2b3c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant InstanceInFolder True Passed
77b4bb3ed4819e6f0b3b4ffcfa2534c3fd2df27c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant InstanceInFolder False Passed
f65181ee108da0894e377d3147494c7e8cb2badf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 InstanceInFolder True Passed
0da98662bc411d35d37badbbc1d2793b24e9dda9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 InstanceInFolder False Passed
635f37eb414b39e9c9156e9f865d3ddc77216f19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance InstanceInFolder True Passed
086aa3d31f9bb514173cbe9181361e3ae08f2181 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance InstanceInFolder False Passed
d53bc50ffa697fddeeb71395aa20dec1bf4fa9fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith InstanceInFolder True Passed
f63af3c1e956f0fd87a7df0631d178a68064fc39 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith InstanceInFolder False Passed
6bbf71f280382b7fbab6650d9ec945c4e850f668 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed InstanceInFolder True Passed
8aa8d635fb288ab1a7d18a32a081603eb93a5f95 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed InstanceInFolder False Passed
f0300c1061eaf9adff2e22ad73679e222dc6432d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith InstanceInFolder True Passed
1092d6feafe2be744fc28ff46c85a206941109d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith InstanceInFolder False Passed
2ae48b3ab57e8d21165f3233b0d43ce16f54892f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder InstanceInFolder True Passed
e023410c499618703af9d5aa754fa08a2413095e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder InstanceInFolder False Passed
9d7e3b94023bdc19b8a0f97adf0574d10a21e414 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder InstanceInFolder True Passed
615b1cc790b9ec7d9ca42e28b18efa73c81bc2c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder InstanceInFolder False Passed
8fe75196af823b8099f81bfbe5551682700a8538 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder InstanceInFolder True Passed
4817d971e5aac7b98c23090b93d5d7ede45139c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder InstanceInFolder False Passed
1e2d672b261f93c5894cb81b2d41690954af4d8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder InstanceInFolder True Passed
3b5ea04bb8c7295ca3059bf3149a812ace01a781 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder InstanceInFolder False Passed
abe0d12392f54cfd168d72eb0e048f63c9ad36b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled InstanceInFolder True Passed
b190b7bfce0d2459f8f64258b48bafe04a6ac37b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled InstanceInFolder False Passed
1bc26f6c669de57eb033712bdffe7509358f7974 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume InstanceInFolder True Passed
fbe8a1dc3aa6f19c743655a03c1be0863032923c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume InstanceInFolder False Passed
990cf8fa4bf669846418324cff7d0a33d7b43077 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed InstanceInFolder True Passed
fc1f01c85814f463edf3383c7b082b65b2175340 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed InstanceInFolder False Passed
d6f46c8ae91b14e847f777b28326c094ad824da4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda InstanceInFolder True Passed
29547626d43b40f2b224ff1612d5bba472191d0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda InstanceInFolder False Passed
d41a2bc038336a98b05bbfa2d07ba73ec7e03efd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 InstanceInFolder True Passed
0d2446de48481f66d6a359e84401da3fee39f2bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 InstanceInFolder False Passed
655394c499d66646f9d5e171474971b81307b503 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 InstanceInFolder True Passed
d21c9d9c6dc973fe20fb068f8d7bfab3b120299f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 InstanceInFolder False Passed
c6cb305a1d8d4badecb5e3cb65242b93cc73f6c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet InstanceInFolder True Passed
7bf62dc6afb46c2e260ce959cb53e395056cfedb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet InstanceInFolder False Passed
c2e10fd0480c2859c05e68bf26e9883360012e11 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet InstanceInFolder True Passed
1617c5e4af1d4f44d0713179b89e43fa77c03978 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet InstanceInFolder False Passed
a4fff01b34b3572c91eb253dee1429f37abe565f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff InstanceInFolder True Passed
fc5bd5bd0b2772c552c13a078bffd2f9104dc34f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff InstanceInFolder False Passed
448393efa65a7a8fbdba23e0d5da9efc28a854b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion InstanceInFolder True Passed
2c9df4fd76a87c59ca6f6f413811039939724d8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion InstanceInFolder False Passed
60e5bd2f9a99d079f460c08c0a67f69bb8cb1a04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect InstanceInFolder True Passed
8f1bf6cad02bc5b8163586e7148aba02e2761b8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect InstanceInFolder False Passed
d0069bb9aeba0cfa31035345562f2f6e968f3012 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq InstanceInFolder True Passed
0d95b0137e8309c0b39e4571549488aa8efac65a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq InstanceInFolder False Passed
411a94883945139c17d45c0f43d875554e8c7627 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond InstanceInFolder True Passed
5c33f2a34f47defd87b0eec393787de73fbcc82f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond InstanceInFolder False Passed
bf04c0b8ae82cd3d25a7727ed7333e1d8bb6e4f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen InstanceInFolder True Passed
3b667f39c01226e2a32acec92d1240ac56da5d65 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen InstanceInFolder False Passed
8a4f1d8e82f9273683e093f6a8164add9c6eb9c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse InstanceInFolder True Passed
105e1de7251102534f0bb64fe5fc44767f7a44da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse InstanceInFolder False Passed
d3be2f1d1ff04d98e2296c7962ac12410efeb9a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset InstanceInFolder True Passed
22a6c1fec3bff0cf8eb9eb45153bc15170bb5a5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset InstanceInFolder False Passed
3d600da9d8218d04089fe80aa119391f3cc974ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain InstanceInFolder True Passed
8c326f006f77bf52f04268acc30d65c3bda70806 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain InstanceInFolder False Passed
c3c378206975649a7a4351b6acbf72ffe2389e96 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union InstanceInFolder True Passed
3b243cbf8fe0adf0b0ccaaef2c913490b623fc7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union InstanceInFolder False Passed
3e23146a2b4d221e8a20d35e294096ba6661c13a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged InstanceInFolder True Passed
f59180d6ff178f7db672683e0b0f0c301803cdfc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged InstanceInFolder False Passed
9e00f28b9b688b28a6c1109cc9a54f7151243d0c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence InstanceInFolder True Passed
4ec25778c38b9510d68f5ee2b14eaf4526e3e8b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence InstanceInFolder False Passed
88b0202eb33beb0dcfc1500f836cf83af86717f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen InstanceInFolder True Passed
22c2747ec1e03ca79eb74a9627492299172f281d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen InstanceInFolder False Passed
c8c9bce4b9435ea5e2e265a3d65d5d5fb96e6359 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat InstanceInFolder True Passed
d1bf9cbbe8d65b39dc005390fdea2389cf153ec4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat InstanceInFolder False Passed
fde63769a100e1c35e700a884a2ce564b238ac37 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq InstanceInFolder True Passed
e31e9c20413c97703231f14bed3c6a7d137c04be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq InstanceInFolder False Passed
d1982412d7f91f9c3c54372dd78bc5005b305455 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq InstanceInFolder True Passed
c0f6ea81c882f8399d4b86f5f8c0be08bd44ef5c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq InstanceInFolder False Passed
a91f9c62cf9d65e256aa96a5475124b45c4c884e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq InstanceInFolder True Passed
207800c4ef4871a36565de61ecffdc72eca7c55b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq InstanceInFolder False Passed
e0a9385620f66d840fd356629f83eba112558b3e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange InstanceInFolder True Passed
593cee9df60871b5881f680ff04d8f15bbe88752 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange InstanceInFolder False Passed
86bd58e42298adcc5505e9c363da57ce3b9d8485 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun InstanceInFolder True Passed
d26557e258873fd28fb438452e5ed3023c6ee66d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun InstanceInFolder False Passed
9083a20d9e580b7cf68d83cb6e857132533edfcb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun InstanceInFolder True Passed
9a96d3e1729ad986ff6f663a4aafb6d762bc9aca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun InstanceInFolder False Passed
02d884b4762289dbf39f21e6eb6f1e22a399d0ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun InstanceInFolder True Passed
561cdab32d676fb1f75dd250d4b6bcfe5168fa35 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun InstanceInFolder False Passed
431f8b5453a2bb39661402eb4542af6f5cb00cb6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq InstanceInFolder True Passed
c360895f25b1fe8d07d843f3be243201de712d83 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq InstanceInFolder False Passed
4cee8bcfd0499f066bf03374b473e2459bf027de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval InstanceInFolder True Passed
31af1c2ed565bc358c4060270a9b64b323bf1fd6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval InstanceInFolder False Passed
107ac22d455aa34f2b9d0f6453cc7616c363a507 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet InstanceInFolder True Passed
e2f9bee10817b26a27b183d004f0311a7f0336ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet InstanceInFolder False Passed
a63b2e99e5ca78da5f5c0e55a4c7edbbf761f802 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag InstanceInFolder True Passed
446cc7311a249e70b095f80486063d9b63d27284 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag InstanceInFolder False Passed
ded88638d81efb9ce39f71f842780cb8a334b4e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn InstanceInFolder True Passed
9eaa37e7abd67f180555ca6eca2e6812568caff1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn InstanceInFolder False Passed
276b635ec3be4d5829cf0d3a6fa5ffb1b7355a60 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag InstanceInFolder True Passed
3b03246e54ea7b9204800302e36657423d435561 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag InstanceInFolder False Passed
3dad4ac93ac14176c1f6d99c6db2bb168f49fa2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub InstanceInFolder True Passed
787369cdfc210e398c15acfdd45cdb1e23fc0c07 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub InstanceInFolder False Passed
e60df4c5e2eb479ba6c3b2cf3bcf835fa5aec815 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn InstanceInFolder True Passed
0df0c3f37b77efca9f70f07f8945ca28212bcbca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn InstanceInFolder False Passed
3f1bb32b4952be70c5ed6d9b6c365654c420b1d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag InstanceInFolder True Passed
c66e87f13bf6d1b005f580821922ae96e88c07e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag InstanceInFolder False Passed
1c2dda15420dc4ebac06ee865813d8883552ab06 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion InstanceInFolder True Passed
d1d7decb1fc86e75a758b52f72f24baee2d1b90b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion InstanceInFolder False Passed
ff9aee5ed099145f64170849482ef0e9360a8ddf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality InstanceInFolder True Passed
c8d252638db68266c127457afb29e3c40fed4023 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality InstanceInFolder False Passed
f031b3a456427fa47c2ae1bc156be65e65e18e50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll InstanceInFolder True Passed
3e0ad35c1cc59751b9276d9366f1225eac8af0b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll InstanceInFolder False Passed
d8d3108d7edef5574f0d79efb7136e66d361e5ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag InstanceInFolder True Passed
acd0d83f9b8ed5b12e4d4bffb6b1e9a6cddd1fcb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag InstanceInFolder False Passed
62dbd128c4d321dbef67434aa65465832f5b9d7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceInFolder True Passed
07abcb6aad485c41666ccdef8f18346f5beddb66 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet InstanceInFolder False Passed
2abb9da37d08764801ee3720c04181daf99a9d4f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality InstanceInFolder True Passed
21502ccc3e54505c4f62e5890333400aaa845158 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality InstanceInFolder False Passed
bea803a9c209d0221bda369e188194de9f8b27cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead InstanceInFolder True Passed
b92e27f901fbe166761761f6130d675d39bcd860 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead InstanceInFolder False Passed
ff91afab8f7fb9901c522b8e34d375dde7ee0882 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail InstanceInFolder True Passed
c36acec4dfbf60ea830dcf827ba20a497540e74e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail InstanceInFolder False Passed
bc62cc61e396519e54e2c10c5e52c876129d4d5d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend InstanceInFolder True Passed
018261f132fe21d306ff06f2f53e78e7be758e81 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend InstanceInFolder False Passed