Index

Tests by case feature IfThen; CLI Option: -workers auto

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
b7f3311bf4519330885c511fc72ae7c9cffaa44b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen OneLineComment True Passed
ff5ab59d8b72a7aadf16c6eea863c7e99a81780a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen OneLineComment False Passed
ceae9391812ef4c48637b304dfb3b7fa89914fdd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen MultiLineComment True Passed
079cb88f63866b6aace9affbd82c2a42a406bbbe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen MultiLineComment False Passed
d51de2f7cec2d392db940b61087ab6507e887e14 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BoolTrue True Passed
e6d5d5d37b12b1ad5e17d6dfbdfe0cd4e6335b0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BoolTrue False Passed
f4d6dac47155fb11a508506567fbd2ed83ded317 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BoolFalse True Passed
518faaca974d0a83eecd148018d066c7a96391c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BoolFalse False Passed
4dfca975c84b79bd1b0fd2fff5c2b52896253360 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BoolSet True Passed
cbcf9252830dfac56c7583aaba22cac22b0e85f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BoolSet False Passed
741638cfb262f7b85dc7f6dcec323cc66b4c05be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen And True Passed
ada974bf8f19da04acff8a299ba1e3299dc1987b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen And False Passed
4c902761e0845443ab0fd9d23888bf8c56cc47d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen AndMultiLine True Passed
21599b35fe7ff25a984c3720183bce8a65d05d77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen AndMultiLine False Passed
28f547b97b4baca80f7612ed81840de825d90fb1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Imply True Passed
1780b689485ae959890a2fc391e6f36b542ce814 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Imply False Passed
acbe8736414bdf01f22cca6aa9e96312b9279325 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Not True Passed
427801e05aa9d62b2626da171528fc7f995781e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Not False Passed
b28ca7b76a0c57700b1b97fc0a4cc555eaff1b52 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Or True Passed
b35ab03b7f2aa27133dbf4e5fd0d96e6bd469490 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Or False Passed
6a40fefb521069de966f5d454c986d67f4a3353f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen OrMultiLine True Passed
c5ccae5ef1cea09a9c5e87d9af2e1847accc4f09 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen OrMultiLine False Passed
5cfa5396217c8fa6b33e235e19c8db362b379bea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Eq True Passed
8d07c5d01722007aa13fb936bcc1eb25814beefa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Eq False Passed
96f62da0450618ba89b397334a5301d1bd02e918 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Ne True Passed
66fce4c0d71081db89e5638a305e0cdbabdbb016 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Ne False Passed
a582f2be6fda64d176f3645a1f5c3a6f8a84ee2c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Let True Passed
bbbb0a3decdd1344787ee1e43933154a2311c07b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Let False Passed
7d0daec1373910f23fbf21af615c6180c7425252 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SetEmpty True Passed
b29617136664072880af99c8b7f6c46217466490 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SetEmpty False Passed
ded38af45c3a634454c8793f18587283b5843704 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Set0 True Passed
cd5ae8b214a1fb655bfdfb069d362ffd6a4d5795 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Set0 False Passed
b40c0a1c16575e0008bdaf36f03b0a05209c1912 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Set1 True Passed
ceb14c71ccccc1d6f24e23793b50c1a02b4a9e7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Set1 False Passed
d305fa960cf71e483d4fcb9babf76240a01617c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Set2 True Passed
3907a54316e924f171d5684ceb76eddd57417bca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Set2 False Passed
b883b4745b9d27cff10ac38ee2440ce936349092 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Fun True Passed
c2e3479ef5bdee9b516ec88b755df6f800502f43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Fun False Passed
016fa7edea0af6231e1e3ef59f4599f79a468372 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen In True Passed
e99eb5edd793663d49145432487e98dbabc0e500 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen In False Passed
fb6b22136645587b9e3fabef2d467a5c30a2d05a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NotIn True Passed
59833c24131662fb2a48168495ad18bd9eac3299 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NotIn False Passed
0d30bdbf71ad0cbad02d2eda04da0a8e6788794b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Exists True Passed
9acbeb94eb7168f15a209a3066a2485c7fd630fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Exists False Passed
3f83d57350e3e59c45fb0d155db9d40496365a12 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Forall True Passed
4fdb6a76691dcb9cff18a5ea2e9c3ec3ca7d9662 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Forall False Passed
b8164e04d72f7b3e7082f96973ae8c973b610f6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Choose True Passed
25e81555d6a3b97924e7ae2ae1eb5b51c69d8ac1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Choose False Passed
5ac1f5c75534539b2b4bb4691ee3f085acd1db0b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Record True Passed
ffba69ed2fa141b0e82e9bc35eee90b3a5ca083f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Record False Passed
3edd1270e1c61c7d1dcfc9f44c64c74b4d2cf422 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Tuple True Passed
865ecd07df09d5d972e4b905249dab6e397b3231 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Tuple False Passed
4c65be0429c3e478ce04fbf26f9c1516b612c755 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen TupleEmpty True Passed
d58a49b2bc334f9dc07dad9953e30de1314dcc4b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen TupleEmpty False Passed
b90af81af6dc7d965b9bfb4d3fffcd3e0d75d67d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen FunApp True Passed
1a5077972e9d95f667b5ab60554c7a0d8ee987c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen FunApp False Passed
b771a075a20bba69c8a6628aa35a9a7a9792762b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Prime True Passed
9c241fbf0ba399bfb293ffcad54b80b9d429c484 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Prime False Passed
a359329f5081ee039f7e7ee460d300f2b713d939 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumZero True Passed
d13a3360e3525905454c65e94fb1022733c3422d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumZero False Passed
1bd6b5dd62ba59d7d26db710a87431fbacd66768 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumOne True Passed
53dfdfcdafd7673101b3aacef4933e6f6d5036f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumOne False Passed
d958bd7056475ad93c80165f1bab41bc3f79e344 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumMaxInt True Passed
03e55b231a43cddabd11340775ef933af426fb4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumMaxInt False Passed
021f4e09f6ab0467bc2baea423a84a316e5bdf29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumUnaryMinus True Passed
93c77eb0faafcc9e4bb50a7c8473758d590c14ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumUnaryMinus False Passed
a81bd4efb1f083c9a08b52652e825d12b40da196 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumPlus True Passed
970a169688e672b2637e3ec699a0585694845435 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumPlus False Passed
847da720209599b138621387604771192ae4bbf2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumMinus True Passed
a2bc72f8b6eb73c239a0cd1da4d689bb71872dd7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumMinus False Passed
8585e880cbdafab6e67fc97b898dfcd0176017ac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumMul True Passed
b779e75b319b7bf47518c7c536414d54b80e9bd1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumMul False Passed
c97db002b8fe1d99271c78829c1028e4b16d2b28 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumDiv True Passed
c6d6aec4b2aa11dbb1637c5cb8eb4967caaf1420 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumDiv False Passed
933014bcb52c0e7f8fb1bf53ffb837ae4108d7c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumMod True Passed
84a15f486a8031750cf287b96ca9db87c299f5bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumMod False Passed
43174d0a071f386c598df12cd3561202931f8781 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumPow True Passed
8303a7a34cdde05af74c865d9300910b02f317bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumPow False Passed
e734e47c37220b39c6c446fbcbf0be45f1442ec2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumGt True Passed
654eaa84301a7ccc3fb5cb3d622bf6147fa6ff56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumGt False Passed
7f448db8e8cc1f754e4fdd16fca62c3ad73329d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumGe True Passed
7c32756e0faecc3652a8ce008f8519d8ea7f2181 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumGe False Passed
99bd2464cad347e2c455b098797c8db1e54c4396 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumLt True Passed
db6ffb7d488cd66e3754fe3f49acd132a7a0104d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumLt False Passed
e1581c3c8887e2a8f386ae88e034fce5c4c70ae5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumLe True Passed
5e032d1f225069ca3696ebb1f33b0178ee0a5c04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumLe False Passed
d247eabb48f79b84e570b5e30066f169b6b930a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen DefFun True Passed
9f28aa50526f4019c92b8384103b9d90bac89658 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen DefFun False Passed
e32f3ed939f835bc56d65526858ef5a37d3de5de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen LetDefFun True Passed
c48ac0af77e3de76e31193a74bcacae86b83d643 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen LetDefFun False Passed
6bbaa32881e2a397eefc4635e57242795a082d0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen DefFunRecursive True Passed
e792cfd1952bd9a494224c502126e96f31a41c85 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen DefFunRecursive False Passed
b14656b455f3dd15e42f0e8d965f734c7b5518ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen LetDefFunRecursive True Passed
40d2e1e0b115121fccbb203c1a562d09cebe182d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen LetDefFunRecursive False Passed
576f4ed64a7c3c9f63b5579a9af52f50b77708a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Def0 True Passed
fc036d01f274238541cf437316eb7be78e185a99 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Def0 False Passed
8b33ffd79b7f69a27b60b7aad52c6de97c616f73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen LetDef0 True Passed
eeae1693582f142df32dac01cdea8e775dbc6ddc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen LetDef0 False Passed
2407a7f3a8fe3db151c5ed5a2e18ab4239adbb00 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Def1 True Passed
3a05b26c8e6f72f8f3f40589a8933f90906ee3dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Def1 False Passed
4ab53d69cfe5708c5b10ab6edb5482b819658603 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen LetDef1 True Passed
720a328096b10008e2ce89af2030a782eda16a00 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen LetDef1 False Passed
fab000238c205e399bc453c90d2e031c42d5eda2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Def2 True Passed
f587228ef37b7b0e444b15f4cfd14493a157515e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Def2 False Passed
a566d9ddbf0974b311ecf2f26ad7c274e824ed4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen LetDef2 True Passed
84d9db8cf341b3bb2c86eff479b5b30a951d6483 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen LetDef2 False Passed
1a86708c7a01082c16fe486b554fd3efb6a65c63 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Def1Recursive True Passed
f48593c9611492fe92ff22061cdf68b66c20c766 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Def1Recursive False Passed
8ec7be7b184c75d1a70dd94978f24879bd2baa53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen LetDef1Recursive True Passed
046045bc63386e5cba93bae9adc723cbf60c36e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen LetDef1Recursive False Passed
93cc456b1cb932b3eb96fc0ebc26511a9dadb7d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Extends True Passed
35a9e1e259c255fa57dfc6b19c49efa2872ca67c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Extends False Passed
7eda8708cac48dc0c4950a120ff9e917f59d5d26 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen ExtendsInDifferentFolder True Passed
38854948ce20bb5debd721c718931e0f5a8e774c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen ExtendsInDifferentFolder False Passed
52f22755b10cd08e69e0c8a24712303d1f700af5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Variable True Passed
bdd3ce010a8e611d5c97c67897496436cddf2dfa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Variable False Passed
d1d6901a837ca7257fe33ccd93b054b75eaedf3e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Constant True Passed
8812b8fd23dcaf7ae8313ef544257be2673f2e22 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Constant False Passed
7d0cf78d5e3aadedfe3ba62f6ba729a26f207fe5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen ConstantRank1 True Passed
e17c2eb673e43692aee0ff06e7508f95cb4d34ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen ConstantRank1 False Passed
d39d6ec51324eae3577ea0d59b0abd3b97d4ba37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Instance True Passed
174d304feee5b19ac58e1bf6c90681ad95f3f005 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Instance False Passed
88df4a7bc9ae4f6baff9efae692dbccc772ab587 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen InstanceWith True Passed
d8a14710ffe34a9410c06e4ca15f1b7b32fb7c61 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen InstanceWith False Passed
9ec46deb5565de1566f5dbce485bea624e62f3f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen InstanceNamed True Passed
eadb4b76890734534dd9ea899e2276f8b1d6e966 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen InstanceNamed False Passed
b9aed8a16e553aa837c0c73290246d9b203d6942 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen InstanceNamedWith True Passed
fedb2ed6b79607e87f88585a3f365197115c9404 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen InstanceNamedWith False Passed
13bddecadc8b52e9690a5dbfb9c5e8f100d9b11c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen InstanceInFolder True Passed
a509080505b89b0e08c3e20855b53739c984db87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen InstanceInFolder False Passed
7a003f466e38bfe38850d1f77311ef777f2e3e3b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen InstanceWithInFolder True Passed
433709c8b71513ce60e4de77e538801449354822 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen InstanceWithInFolder False Passed
d30bcb654d844adacde00021c349917fb510f8b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen InstanceNamedInFolder True Passed
31409e77c05c523f8cafafbef9388d157324c0f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen InstanceNamedInFolder False Passed
82f37590dc84e4cb3ce7a6eb07c6e16e50db81d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen InstanceNamedWithInFolder True Passed
33ae746a95047458f96ed33fbb765a46fc8f0e70 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen InstanceNamedWithInFolder False Passed
073cfbbe200db6784a2ed44dbb1ab85414e75de8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Enabled True Passed
3b669511f6a03f630fac20c6ed5c01e3919a4fe3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Enabled False Passed
3188e905ec96dde74886e16a629d61b76811fa9b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Cross2 True Passed
9f3bf49d2985bb48ac9a3ff02b45f61ae42822c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Cross2 False Passed
b135e2a241de51d9c52959f24f40a607c4613ddf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Cross3 True Passed
992871945706234ccf88d877a020591d28551b1b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Cross3 False Passed
c168a42f88ae1c169a09bd9dfe9607b96f41e2c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen FunSet True Passed
242040075442ef1ab7ab054866d1c098683cc253 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen FunSet False Passed
bdd5cf6274b75b332a6d9c79dc193fbc331d4225 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen RecordSet True Passed
faa9c8fcd6de8e56a153f17e24db12a211ce1c48 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen RecordSet False Passed
945d6209c575dc8c1fa76a07f6b254bcc82e4e6d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SetDiff True Passed
b50f91ed2e9dd00cf74f2b32a72520d1646d0984 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SetDiff False Passed
e3ed4e89c35b5989368cb15a3e197479ca23d00f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SetUnion True Passed
49526be3d63c404c2f24a8bfaae7130fe1a306d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SetUnion False Passed
c64df8b9eb7ea5660b6449d8ef675959acd71842 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SetIntersect True Passed
d061db0514918ed2e9f10bb97f0bc766b6c204f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SetIntersect False Passed
86efcb40d4b0713bbf42845c52191c34e9d350c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SubsetEq True Passed
d0b17c5906e64389bd32604971f664176c07d451 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SubsetEq False Passed
4e513f0c2d3d3eb8601989a5795e864459208125 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen IfCond True Passed
f312e9ba5573afe593715a4c4ab1cf90e49d3e80 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen IfCond False Passed
15366bfbd7821840500d32a33e19d311d8403eea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen IfThen True Passed
3a7a19143a494a463dcfde92e4ba406e12c98a84 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen IfThen False Passed
6f1abc5d8c8cde18225e2b9bf5b1d39791c4b852 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen IfElse True Passed
719f1e5b44dee98f3c3193ffb3a4eaa3791b6f5b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen IfElse False Passed
14a3a6db7053754733e4caad5e102a4cb6b18ba1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Subset True Passed
783739d2ecc9cc55ee8d7533ddad41b8049ecb44 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Subset False Passed
51cda874d3712dd521ec2e34256d6458cb8f4a77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Domain True Passed
068eb7c8a100f1c076f007a6693199575d69d41a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Domain False Passed
f5351dbbbc2888409d9f207f3ce4db2b9a325cf4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Union True Passed
4269b27bcc56552a7cd44fd74a7785c0a2aac2f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Union False Passed
b8a95803665f3865141edcf0c79e236d739eb2d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Unchanged True Passed
1b3036a0b1c856d47f1b522892b1063f1727f8a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Unchanged False Passed
b10907ff7f867635bba50820d60f88b143081876 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Equivalence True Passed
7d0ebb1c16af5aea7f337a92b67da14862dc1927 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Equivalence False Passed
409032d48c2e0b0ceb521f2188e07a4e5965fe06 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen StringEmpty True Passed
da48e8c7970f5be1359983896f0b1c46f25f8ab8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen StringEmpty False Passed
aa09bf8e8e2d3a0c427c3a309d0a2c31327c35b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen String True Passed
c5c4f1c046b21ef1fd67da4d87b598b13a79f6ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen String False Passed
9be23c7283606825b5426758defb3ceda9d06a8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SeqLen True Passed
553cfebfaba16610082eb4c2e025c4c46e8debcb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SeqLen False Passed
bde3f8e6f656fa9628e6fedeae63e8360ff65928 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SeqConcat True Passed
a6061cb782290ea450f9b7ec0e1902a8d9f37b4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SeqConcat False Passed
d4e6f04a5a43840b012294435f2d75638778696e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SeqSelectSeq True Passed
1a2601138b467de60c13715c9a527278d150c55d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SeqSelectSeq False Passed
5477ccef14aa4be5868da44de4c89e408ecb1a42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SeqSubSeq True Passed
dc01f8140da91cbacd9b8110b93a18b2a37c6cfc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SeqSubSeq False Passed
df8f953944c526e07d753a0fe06fdd06cf7461b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumRange True Passed
da3f35babe279d131ac34b5fb91bdef12dc65f89 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen NumRange False Passed
9fcd6e18df2f31016c96cd31b2e38b043d070a21 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen TlcSingletonFun True Passed
2fd0ef48e39403e3e8761aba3579b5c10438f21d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen TlcSingletonFun False Passed
f0e16fe8cb320a691823c2aa0202ae2abd78c8e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen TlcExtendFun True Passed
08e93b075a9670a23e6e4be02a0d53174d355dac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen TlcExtendFun False Passed
c5075f4ccf0343fa0266ed8dc363ba87b19b432b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen TlcPermuteFun True Passed
2c9ee9ca94c0b31c9859723c913d1938164fadad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen TlcPermuteFun False Passed
a86f01d0b573fd5a369e9a529e063a1ca4ba0077 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen TlcSortSeq True Passed
f46b11bce99da03cfa158268c3c5eee8f8435484 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen TlcSortSeq False Passed
3f75a868469e7aa59a5b241b0dd9f82282eb4fed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen TlcEval True Passed
42184dbd47c944e0291e7d91f071973d8d40f926 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen TlcEval False Passed
f244819aabe0d2ca4d17f78fc818aff2ebd5ee8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagBagToSet True Passed
fe0a353f953714a266f7a1ce215730458a885913 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagBagToSet False Passed
eafbddff48cac44cd7503af764c5e9c07dcce668 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagSetToBag True Passed
fe01845d5c0f23e0ecd838cd79a79a9a5203c50e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagSetToBag False Passed
93de4c1768e217515e6f92f940a197909a6c82d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagBagIn True Passed
09d018cc440613ea971dadf7d5f5970b66a44e1a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagBagIn False Passed
ef2c56b45990fb9a9d47591779b3daff06aeb599 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagEmptyBag True Passed
ec4bec0776864ec79a414e18e56ac8ffdcdac73b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagEmptyBag False Passed
5aba2b9a17adecf3e57bf2699ce5bcd6b59d9227 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagAddBag True Passed
5e86c28b06793b9aa0b38b677ea74e8de6024a80 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagAddBag False Passed
5c13adea8a605baff3d3826254c5362b4a4c0461 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagBagSub True Passed
7758779d9256239968b394bebe37ff8c75ddf451 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagBagSub False Passed
9d8b856959ab9c85eca21743a5f06fe5c3444676 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagCopiesIn True Passed
16220d74373011d3b8f0b999878e3a7d3ca250f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagCopiesIn False Passed
97c5a5612582cac7a4f9ac074d349c8a2e500768 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagSubsetEqBag True Passed
77bcebebc5fae16656a1434be6e845b13acde372 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagSubsetEqBag False Passed
c4a5b216b440c5ab88de3da3f35b5cc69884ba1f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagBagUnion True Passed
e420caa77a87d8d2bda22c7296b8200d3115cd7c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagBagUnion False Passed
91ed9aeaca8ed3ef330652db4b533f8d2f9885cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagBagCardinality True Passed
b9d867c94e096eb7a81e439fdc9aaea2b02487e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagBagCardinality False Passed
4dbd35a51c51e8c1fc3bc7a0aec5deebf3acccd8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagBagOfAll True Passed
4333a05f6853b34c10076f2829e32c206280b4ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagBagOfAll False Passed
c2884be7cbe2ec24205809f2cd49aced8b141fb0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagSubBag True Passed
bd6c74018401d7eb9587c799833a3bacdc8440a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen BagSubBag False Passed
7b9fb8c3860f96cd82cc28bf55681fbeabbf08a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen FiniteSetsIsFiniteSet True Passed
d9550b7cf210ae7b0d84237fca2b885a17fe469b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen FiniteSetsIsFiniteSet False Passed
1759d84b269ea7a28b203e665c16a70e42337c6b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen FiniteSetsCardinality True Passed
aec77c8e5c6d8d7450c0f02df43d95c7250075b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen FiniteSetsCardinality False Passed
aec0a8e4dba2d5fe31805d6e5e9c7e597614e198 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SeqHead True Passed
92323cd252bc6baffd3de80ecf7d658e498307db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SeqHead False Passed
cc40d11a8d7e2b825b7043c0c1426a37a3b836b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SeqTail True Passed
0df2f4e62de47f5baa97003898039719b79a849a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SeqTail False Passed
39f0ff71c3210cec8760d6cd5ff49351e109202e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SeqAppend True Passed
18e4a1eb273954fe59e0284995a1a000ebaecab1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen SeqAppend False Passed