Index

Tests by plug feature FunApp; CLI Option: -workers auto

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
a2d4f8b7d2d97df7c3cabc2432ab4e7022b939d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And FunApp True Passed
58925fdaaf88253bb38d3cb7494c3a9c1d5c34e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And FunApp False Passed
cf22e57cf1c2c1a0d5e612cc69a547a716a22a93 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine FunApp True Passed
7f634e5442581b1644428a1d00f62cbfcf2e2ea6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine FunApp False Passed
507bbde3f8666d20898861a5b11eba08c1647eba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply FunApp True Passed
89d8a233f895a1e1e1fa083235f472a0bcbfcfb9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply FunApp False Passed
f6b7fd86bcabce7daa5e7b1dc98e612a13d9db71 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not FunApp True Passed
39083dd06f1098cc1a448754573b97082e74c30a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not FunApp False Passed
0f0ec3d17761aaa3f45bf1b2260119a30c583078 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or FunApp True Passed
c17a6759861e99ac51de7b1adaeeb2aaa8813b8e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or FunApp False Passed
117438ffd5c54d0a016deb243f0f020da0c92d8e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine FunApp True Passed
a17dab24c8fc6e2312a22c3fa55c9106e7fdea17 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine FunApp False Passed
d52341c76a7f8f5e959bd4367190c48a8024f786 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp FunApp True Passed
667286318e22a18e6a94312098c90de55250e6bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp FunApp False Passed
31f34b022a79a36cb329be54186cde8e0b6fb504 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed FunApp True Passed
fc7a8fe62f62ed93e2c67121340dadad1d002a74 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed FunApp False Passed
73ee9e5dea9192392bb33ea3efc97480893c9190 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq FunApp True Passed
a3387df36aa5ab81ac87576f0548d9b3e7c2bc1c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq FunApp False Passed
332cf1789217fb0b9f58202fc50b0791e1a7fb7f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne FunApp True Passed
49b480768f474ea7d9821b400d8a994074f91ea4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne FunApp False Passed
369244e4dad4fb5109dcd21f8c7b6317cacc83a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let FunApp True Passed
2ab509f389514b1512000b9700ce88729bc5949f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let FunApp False Passed
8e73e43db7512d6bd156e9a19ec0217ef3a387af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 FunApp True Passed
f12e7d7e6e08fbc679941c84a4788fe5b2b2f4f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 FunApp False Passed
429ca32e6028033d6366c2a7bdc3b6313ec3524a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 FunApp True Passed
629bc5b97483de70f264c778299730fd61d7aa04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 FunApp False Passed
a470c4bfa9b9be49ccb817e341aed1781109f96b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 FunApp True Passed
a0db733d043d8c30206c6ab927a444dd11a6dab0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 FunApp False Passed
a07fd8b0713c3650e87d42c87c068e0d1f20dad8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun FunApp True Passed
b2b90604ff8b89d848febccba0daf88a376d4f30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun FunApp False Passed
b34f35fb8aecf362bf1936f55b55838a55487a5d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In FunApp True Passed
cc8af3592dadce6c2ac127ee421fcf31ff768688 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In FunApp False Passed
695ae7de80c9c6cf3b136cdcd577862ba0125196 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn FunApp True Passed
2407dc6390c4a79f438931fd725e8bbd2eb21d36 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn FunApp False Passed
a782cfb97c14b82af0de43d2f5dd36d5816485a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists FunApp True Passed
a8555b2917b5196feeeb0cdd7dd2a4c057a47854 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists FunApp False Passed
d5a2c3ba38c76bdafd1725c8a3de8261df3ccf38 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall FunApp True Passed
c2927b3b2553359d2e934cbf0feebf16ad932c21 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall FunApp False Passed
ec56a3e0776618c76aab13f7b803e87df8b2a438 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose FunApp True Passed
d0bb04fcd4161badd742f1327df10d3bb4b18ee2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose FunApp False Passed
4294f5cdaad00dd018ee93d68bbeb757b4b9a676 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record FunApp True Passed
8be38c43514fc8845665cc56699722d992b688ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record FunApp False Passed
833a73f00e13dd7d6e592a2f31e578d9d07bf8c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple FunApp True Passed
f9f3a5326d9eaef608ebb73d0da579649315b2a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple FunApp False Passed
b95d10adac57ee6683da01ff9eadbc362e2f3296 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp FunApp True Passed
c6371ffaaa0265e1ff3d708476d2d999cbc5f821 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp FunApp False Passed
e6e51ca080f46ceef35f2f985a6e2c32d99802a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 FunApp True Passed
eeac75dc87d77782ff2a4a3f85f9889943879a32 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except0 FunApp False Passed
3d77898651baa9c6f635e5a6f04d2b191c197985 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun FunApp True Passed
7d5014620afc8e5665641d6ae70a5a25f4ceae2f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun FunApp False Passed
c6d8258705a3cfaf4773a3a5f41e767358caf83a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt FunApp True Passed
de0d4201b498ea1c1058aea75eaaddea9f00ed44 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt FunApp False Passed
4ca30d83eaf3f0ae2d628f0ed9d2839b4582573a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec FunApp True Passed
480b15c789b41493e9c6f763db370990f49dc297 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec FunApp False Passed
8bfabe816bd78020733c126d98c96eb20b531240 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt FunApp True Passed
d922da52d587c0b8138d82ddeb89869e6887bfb6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt FunApp False Passed
b3c1464dcf936910b0208b930c2c49d63fb5127e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun FunApp True Passed
dc15fbcd8e360b60dd3ca4da03e1090d9e1b7eea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun FunApp False Passed
7b44cbb551dcb49815c1d167f0b764c442683a4b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple FunApp True Passed
808a1d6529c5768bd5997618ef92760b11262a2e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2FunTuple FunApp False Passed
549a17488bef727961b37d58a57fa44e5c0730d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime FunApp True Passed
7ed570da0e9469d75db6e6db53cfe3f100fdfd94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime FunApp False Passed
692fa5bd73c019e48782bd01700b2ba27af7de5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus FunApp True Passed
9386cdbde020022d248b916bc65a638e1ea474ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumUnaryMinus FunApp False Passed
73afd37d265e5972bba9aecdb17067a99637cb50 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus FunApp True Passed
dd06f2f14caf6dce96f8f5dfcf05297b66165d5b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPlus FunApp False Passed
d29b37d47805d8ae0a3e5c2df1e3fb414b69403d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus FunApp True Passed
8f82a0bf852651be47061ac7a777107f75c697df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMinus FunApp False Passed
87353ff6b205386a2290d3efa23ad4358aed0b4f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul FunApp True Passed
9d290aed0e58ef6d33772d734682dac47fcdcfd6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMul FunApp False Passed
a1b21ab9b509dbfc247e82c20af5cdf5dd221dd1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv FunApp True Passed
b158d97b0eaa127de0b7abb1438f66676a430cab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumDiv FunApp False Passed
79c0017e6a6b5eca4b24d48e0bfc8a2a34ff070a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod FunApp True Passed
1759a2356a22a709bbd2759b3a18e09e6b3974d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumMod FunApp False Passed
bf5e40da1207b046695ed7ad18463e147d0f53f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow FunApp True Passed
1a0e69f1107763fd67c6938cf302c1e324430dba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumPow FunApp False Passed
7037e32bb5b78bdbd2bb8dc43580c7e1ad435510 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt FunApp True Passed
d8df817fb8769988fb99be0b1ea7d0e45e0d64a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGt FunApp False Passed
da1f0f6331a67cfc714d30d3dfd59bcfb9b58a80 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe FunApp True Passed
aedf0a0c74e413f6bfdb6885a3970207913b794e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumGe FunApp False Passed
16865132ed7484a2a22aafe2a9622b32ad43d5a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt FunApp True Passed
a61d4af50aed8775a845372c2233609ad668a713 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLt FunApp False Passed
7d7072241746513acf2f43e6e2150f9db6a107c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe FunApp True Passed
31805627e69c01e369e96098785d3ab09765f2a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumLe FunApp False Passed
d2f4aeec84a20abddfe1c061f2959bfb505eca53 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun FunApp True Passed
43d22c0e4f731b368bf27d690393ff37c9096dc2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun FunApp False Passed
7efcbba83084ceeb221c0a5517fef4116f617c5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun FunApp True Passed
2c6859b858ffb0344343b3a991f9efeb3e713c2a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun FunApp False Passed
078d7d37df8edcafc9f97fe6c66260dc675a4cd8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive FunApp True Passed
bf104cfcf17b8746a289a42d974110fedbfcba42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive FunApp False Passed
b7f91d10c731743d8652aca860fb6e560d49b388 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive FunApp True Passed
0435fbe439fec7b98a8380809bb3388a54c10909 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive FunApp False Passed
bfc728625e355eafc34cd89892e53f284918f5f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 FunApp True Passed
3d4aa81cf0846e1892505386dc576a4230be7be8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 FunApp False Passed
52ce24960b4c12650533d7ea6c491e9a1115bed9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 FunApp True Passed
145ac27c543868a578bae128ec2ec75a4e2ece78 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 FunApp False Passed
031cfe4120d4433bb3823e9025818e20c326dfdd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 FunApp True Passed
a6608c4878d4a7e5972d519a2d17227aecab46fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 FunApp False Passed
7107f919002553d47e4ffe52f8231a95ed1d59e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 FunApp True Passed
46dd14da0d4663dd57fba3a6ede348784ce1944e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 FunApp False Passed
eafb967229061ea0181e4dab487a798228eb94ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 FunApp True Passed
ef70953c325aeae5ff6b5a0e46df14d962b812f7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 FunApp False Passed
fa4f6ef1f34102e16ec5dd53804b34b039de52c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 FunApp True Passed
8607fda8ab2e8f13dde3ca0be0651d6557b25adc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 FunApp False Passed
8ddf186b4d3156aa748c5282901a10d1831454b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive FunApp True Passed
0aa3771d1e6b65f971575baad0e7a673c1fcd799 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive FunApp False Passed
d6571651a88f8e85418368a5dd648d6cebbb33bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive FunApp True Passed
ac172e109f1ee5f6ddd8b3964709be449d968392 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive FunApp False Passed
8cee18d929ec2ce2cf388965b23a4caa5ae82069 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends FunApp True Passed
a36632be5a07713fcad758fdd70206011d75bd75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends FunApp False Passed
93c4fa4246548a92321d39db0b54e5d272a9c49a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder FunApp True Passed
8f3ec16655e1d9418f5b9e7c2e95ceb18001cc06 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder FunApp False Passed
df5b5736b335549700821c75a7d90bf71cc7cc7c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable FunApp True Passed
4e509d4a2a55c248ddbf92d811fdc0bf7ec24feb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable FunApp False Passed
93c01c0e5cfa2ac36c525e2d0cda9cdb109fa55e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude FunApp True Passed
7c553cc82e2aaa8a21341228cc2a7e67c8ba1b60 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude FunApp False Passed
11c7936677dd4d4988ec9d17b4732b507348b13e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant FunApp True Passed
05bcc6f80fa79d5e70f8d74b850237ce3607eb10 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant FunApp False Passed
d1118ea21d7427032648ba8267672439d5cddb24 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 FunApp True Passed
b88581b423aac40536a034083f1540b203a9259a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 FunApp False Passed
2e44812daab0a78c36a6c687b6bdf278fe7edcba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance FunApp True Passed
369241520dae24f8fb30ad729ce41bb27b13d1d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance FunApp False Passed
dbcfc3163a828a23ad4ac62faef7b80f9d8db9fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith FunApp True Passed
fda03ee721c5f64e4e3867289519305bc08d0d27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith FunApp False Passed
49fdf8670cfdab75376940c8409b0692b468d7c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed FunApp True Passed
9c1e9cf6eb7c205b02d7f3a4645e9ced0a9250e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed FunApp False Passed
0006cf6d5c2ee95b7c433e584f0e0c1961751638 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith FunApp True Passed
854c02b5992fd19bae7875c8628700e04f46264f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith FunApp False Passed
642c7dc70638133681a58cebc1755f2f41937c31 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder FunApp True Passed
4b423b193024bc47635a740d2f7aed6770c9950d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder FunApp False Passed
054952576aa01cf4ebf299d77dab241e018a3b04 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder FunApp True Passed
d0db77e1b2d9046725746d3bf3d427a23917cd0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder FunApp False Passed
2c2004e47270a82ea871311ee4ced8f62c753337 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder FunApp True Passed
ad290fece355e20b60af5ae0286f2d8026abd268 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder FunApp False Passed
f55084d482f2c1a5f6abfcb7163066ee5e0dc9b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder FunApp True Passed
75875584ba966c9921f48aef6cb1e26aae7b275d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder FunApp False Passed
687ba79a58b68fa624a861d9bbdf8e181fe97e29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled FunApp True Passed
fbc80449ca1be0e0f834d8636da967fea59d884d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled FunApp False Passed
a3cd3904cafd21b6329240ddfba302b9039bfdc5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume FunApp True Passed
631e5bfd1198c4a21e15bfcd52bae4f77313d08f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume FunApp False Passed
86dda680c030d39205b258cb274d6ec9d5b047a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed FunApp True Passed
a8fca9acc51980eb47ba6fb8402618b99d821087 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed FunApp False Passed
3a267ad1ec93217eea9aa6394e7dd67455e38736 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda FunApp True Passed
80c2d78ffc1e320637545bb6d289486809c5dee6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda FunApp False Passed
ceb84ed3e46bd61fedd4e006d6ccdf9e68bf1e8c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 FunApp True Passed
d39d9137eb37eecbeb167be0cd81e1157eb76219 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross2 FunApp False Passed
4f2e5a0e1758b6d5e80d5bce82edac34df9f453e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 FunApp True Passed
ece73279abac0d40da2324fd4622ad5437a1b017 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Cross3 FunApp False Passed
6c5bee4e11c726aff37d517ad5da0d52412ca0c4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet FunApp True Passed
bd192b821363294f528b415e084e1269c7018945 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunSet FunApp False Passed
859ef70d203b92fa987c9bc8e5fe729b66004d30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet FunApp True Passed
33ec56f02923bcb143a56eda223a8ee083a642a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
RecordSet FunApp False Passed
7409b13603019711108c35df694ac639ad7abbcd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff FunApp True Passed
dc45693351ea23b61be2acd19bcb9cb72d7a7c2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetDiff FunApp False Passed
ad544b17f8deada0d33de603a95102dfa0d110b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion FunApp True Passed
412b09f4a22b7666c0feba3b529425966e06eb75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetUnion FunApp False Passed
1383789a51bbec9b3d1bf787eee6e01f5b76b8c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect FunApp True Passed
20f2ebad34aed3ceb5a45368f657fb6a85e0fcb8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SetIntersect FunApp False Passed
50e6ba660b3dacf83627ce5c64e2a9b96bd8ecde TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq FunApp True Passed
407da01c227d017e93af1d4a9714c484d3ed5fad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SubsetEq FunApp False Passed
dad32c70bc8d5214e9bf8a88dee4262bda1e1c0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond FunApp True Passed
9053552d33c515f404d945c938b92e2c15813d02 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond FunApp 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
a08472d4fd803d2e17d46f68901a7cce9d985730 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse FunApp True Passed
fd1bd84af26f990b570d8fd36747e0cd9d23fd59 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse FunApp False Passed
20155dab54ce7a67edc11c067fbd1f4b3005a939 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset FunApp True Passed
a019e0ae2484995b54274374e05b3fa703ff59d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Subset FunApp False Passed
e49126f8bb152c7936396a9865bc3d7920b0bdc9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain FunApp True Passed
4c1648a37bd094c12e83d9206ae36401bdf1ee42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Domain FunApp False Passed
551d46b648e65840b1f8b8195dd4963120b1aab7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union FunApp True Passed
45f6d5bb42c7e6c138b3af1a6a8bffac18705192 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Union FunApp False Passed
9ae2138d76e3414ec7a5d14a1d0741d1f57aa281 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged FunApp True Passed
6cfb1b5ac32f6bdd6061ed10c520f8e488fb204a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged FunApp False Passed
5486f939e6d3807b863fe1971ab0584d09d352e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence FunApp True Passed
36ce298437cc7c5ea1eb013affbddf066a8d2395 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence FunApp False Passed
7556ef74a3bd93655b6b893143ca7ff7809b3ba5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen FunApp True Passed
b9783bd74ee596eca8598ee63827bc9170097114 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqLen FunApp False Passed
570dad6ef6e9bd9736f05c4eb81513a359a83163 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat FunApp True Passed
aa06ad9519cfe3295ffed5716244d0472718fbbc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqConcat FunApp False Passed
9d6b84ed5c5ce33283511517f452538d4d5b9666 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq FunApp True Passed
87b0d5eb90246174a75526de1d1d451e299aa53a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSeq FunApp False Passed
03502c5adea33248eda579a436752862bde2262a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq FunApp True Passed
7a2824e83f722146d008d6d90e7b1c20902e1f6b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSelectSeq FunApp False Passed
d057ff09b2be7895de2237995d2baa7e60b40886 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq FunApp True Passed
9ea1d57f8f45318bcf2d1203a624bb26ee6812d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq FunApp False Passed
15865c6e66a95f772cf9668290a42825e9b0388d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange FunApp True Passed
86a8b4ce5c99092a043447d2830791055e3687a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NumRange FunApp False Passed
a4b0c41ae7dae7e2fe2bb6ed3ee70ce60c05658f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun FunApp True Passed
148f41f4fc83d703771f81a0517026604b71cd4d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun FunApp False Passed
40d2547ac273c0ea47f71794652e6a58eaebe3df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun FunApp True Passed
9c8424b44bc7ee904ac676bc06960b1dfbe52530 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcExtendFun FunApp False Passed
0a3b19b99cfb1db0e4764b99d06679695ad4a477 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun FunApp True Passed
d31996441c2a5c9c108007b02a180f035a687dd8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcPermuteFun FunApp False Passed
7eeb7e01b66037b3258b67b51197b76856d75c4a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq FunApp True Passed
d52ac6849fc20b5a32ccc22c0b621578eb10658b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSortSeq FunApp False Passed
6ac244cc4f6286dc78ddfd8c1ca4f370f575fdf1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval FunApp True Passed
2dd59e90358aceeff248e0218c30fea198decddf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval FunApp False Passed
9fb4ff974bc450c1a49943479fb5b1553f3e0668 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet FunApp True Passed
83a8805040b080d7ab35049e40176c2696a3f249 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagToSet FunApp False Passed
be5f4bb559c3dc8339752e93d32ebd9c5fd5305e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag FunApp True Passed
7d7cc0056f0cf9b21ea99066fd949ca729e7d210 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSetToBag FunApp False Passed
1caf7affc70fa4c51fa839783309c617e66c7082 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn FunApp True Passed
0e0f9d038639bf5161c3d189cb256dd2b3f76154 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn FunApp False Passed
09e4d9076b30bb14310a5ba43218abecd3904fa1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag FunApp True Passed
013bde64a3f615ffa08d336045da5dc2ca15e97a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagAddBag FunApp False Passed
54acdf8a9ff1ef950251d518007bb8e3999cebb3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub FunApp True Passed
5395fc3611137cee34fbb05c459307346bc40c22 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagSub FunApp False Passed
112841f4034d1d8afd816ad8355bb211659cc6e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn FunApp True Passed
f41a8036c7725a86383e94883d75c186590c32d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn FunApp False Passed
35c3a12aa77af07f73d1c83afd86a112442c4ecd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag FunApp True Passed
d3259e35bcf7b94546b7a1a917306395e5869423 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubsetEqBag FunApp False Passed
fa919f84478338af4f8fce3fedbcf30175421602 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion FunApp True Passed
eab30b68ce4b958f20cd449a97beb6defbb301ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagUnion FunApp False Passed
a973b1f55ac9aef83a1beeffaf1abc78ccc02c22 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality FunApp True Passed
982681e15f3dda3889e8ef87abac0bb30e5d618f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagCardinality FunApp False Passed
41892566db8a2db6c8f3a5051887c9dad839edc1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll FunApp True Passed
3460db8b395ef6d232b49a2ef197afa5fd25b4d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagOfAll FunApp False Passed
cc35500f7a5efe6869027fdbdfccfba2c30ae2e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag FunApp True Passed
b02f91a0a40c101fdf0b9ef61b06a5398747c714 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagSubBag FunApp False Passed
a089b8c6080c493d079228df87bddf6fc69b8452 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet FunApp True Passed
5f7985bb9d14a3f71dd0f8e304ff7deca96a8805 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsIsFiniteSet FunApp False Passed
931edbdd1db5c4767faafdb3fe38f899f648de75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality FunApp True Passed
29dea4900507dd6bb4d92318954dc0be8a27a2c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FiniteSetsCardinality FunApp False Passed
a5587229883b924b12dda36f088406aaa36eb75a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead FunApp True Passed
e0b2e6b923e386a1ca84c8758c4dc5fc664aaee6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqHead FunApp False Passed
df1ae7fa417e2d09ed01c16380cbd0d4ba6b404c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail FunApp True Passed
dceb5abc785bcb21dc83247f5b81e3b5332aae8d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqTail FunApp False Passed
6fbe1d285e6b790e6ba3614666abe2970d6ea981 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend FunApp True Passed
256770e1a0e72640e0c02b59e40419b8e9bf51b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend FunApp False Passed