Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
a89de76918bfd676c83da75fb06ad5883f6e3e50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And FunApp True Passed
7b28b978bfdbb79b0f63c64d57f034c8ed12b093 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And FunApp False Passed
54d89a7b0e7cc455ff16cdb4ece0a4241e8b136d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine FunApp True Passed
ba47e1776c398de1d1e843df0a68f23efe624e82 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine FunApp False Passed
e4dfc87672d3bf5905878cd3a1a5bf3cc49e1f68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply FunApp True Passed
7271716bd320270612e7a6b0d853efc1fc144e1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply FunApp False Passed
0d0c7645dd276d74976c9ede6d3516d663792ba4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not FunApp True Passed
fc57640ab1a29799ced4f1524b69cabbb6714b70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not FunApp False Passed
7ef6713b8de226fc3984114d132b5c302dd877fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or FunApp True Passed
298ddbab5771c11ead59019184585384edf14344 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or FunApp False Passed
b56d2064bb0aa39eabafb8ebe8a7a76161253213 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine FunApp True Passed
ade68642a2c311adddefa2a6db09f0575172568d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine FunApp False Passed
59cb5d4d8ad9ebb9f25f3f33f8cf048afcdd4ca0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp FunApp True Passed
00a4f85fb668dc2ef23a68ec3b2d32561ec9682e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp FunApp False Passed
2da5c821c60710a534aaf0dd869cd21bc642a999 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed FunApp True Passed
fb466f954bf8bf58024495e76c6407aac12ec169 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed FunApp False Passed
c189588767e56a2f3846fbd6f1f7453e3c6c1f45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq FunApp True Passed
a19ae528bac8a5982cdd776df239b55c368ed72f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq FunApp False Passed
97f19b3bdbbb26d6ba88f60bfc0dc1e59f2d5006 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne FunApp True Passed
2eac35023321d70b8d027f42311c2f60ed26acbd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne FunApp False Passed
a819fb42efe3d8dea4d34a2a507e42f75e8a28e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let FunApp True Passed
e93cd2ea115f70226f55c6231069d585356d3dd5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let FunApp False Passed
6c873e0fc28f4125927328927f4f3fef906a3088 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 FunApp True Passed
e06582ab3f1d217a6444c2786f6548ece20ffc23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 FunApp False Passed
fb6b65842833dd8acf4c38f9fe31a34d23354719 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 FunApp True Passed
f8c3fdcfc1d3385d4209110e162a6fda0dedd118 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 FunApp False Passed
baef411e54c53dfaed4addf63c573925f7fbe7b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 FunApp True Passed
ad4e8162f23e9007aad253ee170630f032eca067 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 FunApp False Passed
eac4fb97bcce617cc0b7f7e473f5c18e2cab086e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun FunApp True Passed
cd5c1889f1ed62ffb543549f678aa457b8991a4a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun FunApp False Passed
58a2a85ce4db36639dc0ef099cbede7b8202f3cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In FunApp True Passed
7d6306de0e57f7547187261dbab96d699fd637b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In FunApp False Passed
54af2618d0a4b13abd0b2c0fcb72f1d49c0df382 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn FunApp True Passed
b4eb523c9b96e7dbbcf8c37f010a3469f0d6fb52 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn FunApp False Passed
7b137f02995f9e99a63c542537e2917e4410d461 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists FunApp True Passed
62e27750924a8a2d8f664087f402ac7157fd232e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists FunApp False Passed
e40f8e168a3416b4f1444fb1e8d04ae4056e96fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall FunApp True Passed
8318f98fd245ee78ef068a183e976386348e5f60 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall FunApp False Passed
1a02a33bcd56becb3af656698ac03f5ab764575e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose FunApp True Passed
1bfeea40f57dc0ce1987470faa64295fb650d54a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose FunApp False Passed
438eff9e2b5eff2239938d8bf5a0bc5ad9629d70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record FunApp True Passed
f9c9eadc015e45b33aa95a850dd3b03ab49912b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record FunApp False Passed
c60c13685b8cbcc42578e8f3c1f27c9483a62695 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple FunApp True Passed
75fcf4479a0811291d14f0c3d3282da2f5acfb87 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple FunApp False Passed
bec0da610288584291eff912b78c3267efa5d411 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp FunApp True Passed
9a518140a5e09744f89ddcafa0dd933d6e92b2bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp FunApp False Passed
396433d04f838e13184cea672b3d2e3355ec9445 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 FunApp True Passed
4b4789bd24992cd2bf6f17d2712ecb361e169dc0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 FunApp False Passed
0775810820ea1e0118c9b10831b501e023b4f60f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun FunApp True Passed
3e5638a7e56358255869be30a6bda6c1d1a0a963 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun FunApp False Passed
29588a316af53c45101d5f75a7aa3aeddb153626 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt FunApp True Passed
73f66e3702e784a810ddec8342a9718708b34f3a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt FunApp False Passed
719408394082d48602693b2e00427bd4cf9ab608 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec FunApp True Passed
7088b7ee329a6ad9df2be135d5c03b768f6f885a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec FunApp False Passed
616f6c8eddc6ad58c9b1537c52c8b2af40ef959d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt FunApp True Passed
a13e276ef2d81a51e0d91c821742195b1853e65c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt FunApp False Passed
a89f98174777590d1ce0f912ede84e7a89ed1401 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun FunApp True Passed
81ed6a2a3b0b1708effaafff779fcb92c57e6ec6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun FunApp False Passed
94126ffc1cd49ed30a2c71da474c381fc33a06c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple FunApp True Passed
b4dfa60b9891319c365263cd1a6cef7252311976 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple FunApp False Passed
d518bc770143db4775531f1b79872e9928274a49 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime FunApp True Passed
b3fc462ed885ecbad3b154ab4973068b14fae87f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime FunApp False Passed
2e0f0771b19cfa814a79b18d1713279ff3713bcf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus FunApp True Passed
50e8d8c0203a9a61ce99a043d85e9f87134fd699 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus FunApp False Passed
f500eb43d93d66a5c95badc377850dcb9d28a956 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus FunApp True Passed
7f09f8254751aee65d292f98b9c2b5bace9455c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus FunApp False Passed
c9e64e191d4b59a82ac748b014aada50c4a021aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus FunApp True Passed
9e81d56aac691608f282ed80cc385d09f2ec659a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus FunApp False Passed
a744ba098cb846bb6c1502cb98c58b66e26b4a69 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul FunApp True Passed
f1959ce3aace1eb99dea63217a992b287f42efe5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul FunApp False Passed
90b0d41b2f504d4b7d8a010d50bf1473a403d6b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv FunApp True Passed
23d8ae85e8a0c3ec39abcfd0ec32efe81fe3e8da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv FunApp False Passed
fd4a090d1bf84ec78a136ff915215c7cba9622bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod FunApp True Passed
34e67c3caf8a0dbfa1adaedf4aa918d5a8d50fe8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod FunApp False Passed
2b8f29ce54be09b95de104853bd222bdd61c1d1c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow FunApp True Passed
8621fd668e1c0783d0242ac55aba69552ee81561 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow FunApp False Passed
cee166c2f25cbfc745ebd462b670daf33823a58e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt FunApp True Passed
ac92ae6d4eb9b2ec94dee5d707a2e255308b87ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt FunApp False Passed
46efda9c69e3ca3d3c4f48d133ff0cbafb8882ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe FunApp True Passed
ed5e7d47aafee190b39c783ebee1bcc719a34717 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe FunApp False Passed
f68f7d6491c3f2e7ceef0415a2802e261dd0ffc4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt FunApp True Passed
8bea5984c33b725bb7d926b3b62b2e27221baf27 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt FunApp False Passed
678838957001c94f74b3330ddf981a8472cf77f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe FunApp True Passed
fc6bb9f69b2107f19ec03746f272a907daf23bf2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe FunApp False Passed
c8bbfea589d8cf8b768307a83fd786975ab5eb46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun FunApp True Passed
8fcc9e67254f23de5f6cf933d8da013ef5f7d859 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun FunApp False Passed
4687638ff54ef15d6035743837d11b38507e21fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun FunApp True Passed
bced5cbfb5a07095191749b0abbcca4aa83ed943 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun FunApp False Passed
80222caa32838f2d1d4cdb0a0f37d07abe69fc25 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive FunApp True Passed
f1cf07bb774b9c07787df272089f644a1f47327a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive FunApp False Passed
8401e15c7e4ca23734b0efee061e382bfe01342d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive FunApp True Passed
43f34ea2d7239c268ef308dd11254af3d2ef995b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive FunApp False Passed
2f067f6e5922b0783b1aa0980338ac100d52812d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 FunApp True Passed
c1e145f2e331c6fcedc7e5fc836a1d7a36a1f2f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 FunApp False Passed
7d96e0615c145f69c8d2457933ff5ea11c76d69b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 FunApp True Passed
26ef304a176553294ab07dae515016729c6bed6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 FunApp False Passed
552b06fd9953bdaf0630a48c5962bd31f5fd88ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 FunApp True Passed
c3ae4e07b78a91ad1e3e4db8d6f844097d866a53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 FunApp False Passed
fcf590f3404454e1e5c822c649f3abae606d9218 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 FunApp True Passed
08900886f43241db385a682117204d11c514fbf6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 FunApp False Passed
2b1f64b5156d8a107d51e3b03d5c1fef60f5391b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 FunApp True Passed
ce948e63777c5400097b024810b4b76c4afd5dc4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 FunApp False Passed
f15a0e084049f28d416448808dcedbba8afd468f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 FunApp True Passed
299627aac0c8b74826f54110a2fb3832fbc4f4c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 FunApp False Passed
9495634a80c7e5c79ce5aa34f89f7e8119af8a7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive FunApp True Passed
d2ad214788f3d03b3f1d2ed7bc4cfb52fe70f3ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive FunApp False Passed
2afef2a2d0ebabdf4bfd575e75e53c173b53cb56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive FunApp True Passed
49eb2db4946e4f65f0d425dc37b88038e00bffdf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive FunApp False Passed
24fde334c7e9d97547e64c4a63bdfd72a7e29d38 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends FunApp True Passed
8579765e82b8ddab5491176fc43b6360956a4294 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends FunApp False Passed
a74576d4c01f7cececde75e59d7fa0c642e78bdd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder FunApp True Passed
f6086686494211a296ceba70a7e327caf20d508b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder FunApp False Passed
9fec91a7113532944b6543209e39fb52a07f4c81 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable FunApp True Passed
614480b3f43682a34a89976db248cbfc96734269 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable FunApp False Passed
2f62b668ebddea689dbb6ac1d0ddc61d0a904618 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude FunApp True Passed
d00d8cb937468bd25b5febf7f582cf99783f38dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude FunApp False Passed
32d4b03786337e8959371ce3a07b89990375e62a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant FunApp True Passed
cabf223798e139024ed1e3e60109b0b9a3924ede TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant FunApp False Passed
d2f4d9eb6a1a1f1d5ce4a4b69d8e6711c0607595 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 FunApp True Passed
1c62cf3e74bc8365cfd7591f1bf40953a525e38a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 FunApp False Passed
dd779d7094a948224d94f03347384d49efb52664 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance FunApp True Passed
ba44fbdd2fe6a5542a2cd88501e026ec000c40d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance FunApp False Passed
adec3772a91acefab5c7fa7bb8029a3a9800f9ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith FunApp True Passed
10f3102a87a908f76504f093b306fb0a074fba05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith FunApp False Passed
d34990e3f7d3d6ba5bea74b66d3e26487ca0e9db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed FunApp True Passed
11dad5cbb6e7ded63807ab130b58f6891abaf2ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed FunApp False Passed
42602e937018fe2dae7b1cb683ac4ee4d884ac74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith FunApp True Passed
a57f5c4fd46170b0fd2f6fc1c5983aa07aebb70d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith FunApp False Passed
04e0b63b21e97fc6ad8e5c004e960d2c8e066dc8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder FunApp True Passed
9a581f02f4901a5492299e3da9bcd1e8ecf7529c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder FunApp False Passed
1ebb24234cfee03cdf9613039b6977d13e2bcd5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder FunApp True Passed
dd8c79f3abe974a3bb2d13278b8d73a39aa7c5a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder FunApp False Passed
284bba7ae812218114c422c06a4ef7dee7964e1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder FunApp True Passed
433672b5d360f44feebf2b63cfd5b96bed7da47d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder FunApp False Passed
948af919a2f31dc18d9a739e7020c631d1844277 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder FunApp True Passed
309c3d11d52a2a18b79f12a850871c2fed3e800c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder FunApp False Passed
e2df461dd71a108297bcd87a5839dcea594f67c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled FunApp True Passed
0a18d91dd459ba7655c2c0ff9926b0463fc6a99f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled FunApp False Passed
51ebd1cb010cbe868a7cce0c87280e72f0423b6e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume FunApp True Passed
7cdb9a681cf5e0754c7b6dccbac6894b5aa91e10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume FunApp False Passed
cf0312adfe9b6ef96c037020dc9c443cc20badee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed FunApp True Passed
e532e68413079e6509fbf5a314ee1334354d687f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed FunApp False Passed
3a6367afc60a55e38c3b3b946f6a696916b1275c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda FunApp True Passed
0a251307dc8097de16493a9d430bc970f50b8566 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda FunApp False Passed
8827129c19cbc6edce4437ffacdfa1b022e1a308 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 FunApp True Passed
a41d642d209d0f7fef6ee0c34a245d9bd4b5ff20 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 FunApp False Passed
99f22b43fadf6f04737824fd0817a49e8cc3aaad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 FunApp True Passed
116175f9e30978859303fb25a470407f55febaad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 FunApp False Passed
79874e8186b00565d5b6f3dfc85fced492408a42 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet FunApp True Passed
802fc97358f715619e284c95a9f4f33a96ccc262 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet FunApp False Passed
029c7b1b8f539269ad2ef5a20495078bace87d4b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet FunApp True Passed
75b786d966c80d6fac2dea5b74a667910a806a87 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet FunApp False Passed
abc1279cbfdec16dc9e9873da5d3c43db55ab014 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff FunApp True Passed
424bcd060c6d9751a89eeed41115eddfa53facd2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff FunApp False Passed
d9a0754819b30120c13b143752d0fa0c7cf829eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion FunApp True Passed
f6bb2e3c25585e42c7a52f8efd78a2548622cd45 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion FunApp False Passed
73fc74a9e797cfdeef5d006ad5b958dc7fcd68db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect FunApp True Passed
28409931502e77c68c101d33758ecfbffdd70150 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect FunApp False Passed
b528c7e839e4a73257648e42201cfbdb6a568221 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq FunApp True Passed
6379342b9c39cdd19428dd4c7a134c2c7e0883af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq FunApp False Passed
bb8e50c2a7bad364a67f491ca26c2923c4a95e47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond FunApp True Passed
66dea1d1e846f28e57f4c23e4d91ec592865b1a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond FunApp False Passed
e595357c15acde7b92f50286592895e9da173d8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen FunApp True Passed
76355e4af90414abc91f7c0a95683e364004cf04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen FunApp False Passed
6ff0a623d0c23be263b56ae2b7837d6c7f721f5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse FunApp True Passed
87f241b850847688c71bbbbe14a1235c839930dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse FunApp False Passed
60831d3c5fac1c2006f4476434dc12211923d1c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset FunApp True Passed
db274da0b46d0eea23988454e28a75ced8612ac7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset FunApp False Passed
99481dafd75a49fb1a72da11c89b6a86dae8635a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain FunApp True Passed
1ac14c449c046ca4894b4e7aa327296fcba60736 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain FunApp False Passed
2326bc20007b639bbd3c4a5393a9dd12950f96a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union FunApp True Passed
2dd534bdd02230da05af290d7bf84d9265ae53d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union FunApp False Passed
ad955a07436639de9cca6323cc06d6a17443c741 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged FunApp True Passed
318e36221282d3618ee287805d3f7eb7f9678769 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged FunApp False Passed
a37ce47423c6a2c8ceadfa37e0af84d680fe167b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence FunApp True Passed
a939c7928611cdd6cd5a40c5198a63a4cd0f5608 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence FunApp False Passed
754f6cfe252da380871f740bc5a55685ea898f89 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen FunApp True Passed
744ea386ec455b79d7a1e5930e1affc67895e57a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen FunApp False Passed
52a5a87b144ce58899cf9b5dae0c537444a4fa22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat FunApp True Passed
dc8c6bb70ce2b52d767422958169e81e4ab27408 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat FunApp False Passed
08695d7cc005397aba96e4a7c9a78984490abd2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq FunApp True Passed
1fd154f9789dbbef1a04610d31d3496f89827410 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq FunApp False Passed
8e2abc2f62875534ec1d2e420b0390fefe88bfe8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq FunApp True Passed
6be07e26362551550410bde8f1d12ddbb63334b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq FunApp False Passed
238bc89b0d04ad5b2e5065e43d372981a86560bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq FunApp True Passed
cc67406b1347db81e397765e0692c5350d8ef495 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq FunApp False Passed
58560f68f2e15e580da144cce724067aba780e4f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange FunApp True Passed
e79009c48d6ce292dab1ee6e6a2edc0923976e22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange FunApp False Passed
71b761deb522bb1bccf7d5a7b6a3263ae7d52775 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun FunApp True Passed
d69f72676f8e8b5253b8e362b317a6724ec2bb8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun FunApp False Passed
883d54bc4aaa07c2d543f8282583f837055b9950 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun FunApp True Passed
0ecd901aa6c03b42482a08ccaf0ffd50fcb33ae6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun FunApp False Passed
18822f8297330166b004c036cf4a68537b5c196f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun FunApp True Passed
f99fe6d2a89ae4d3337dfe1f3d1084fd3d95fa1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun FunApp False Passed
7aaf81e5cbd124c041ad0995d96f4d0aaea87afb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq FunApp True Passed
9210f4e2f8f08b76ef06e4299e2bc8e151b952be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq FunApp False Passed
f5757f9bfc82132ead3752f18d159e40f41e2123 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval FunApp True Passed
76dc42ba114499a547987b438c003e9793739abf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval FunApp False Passed
b157ee3f896f3a0746daae77520a9562e8970dd2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet FunApp True Passed
ad0f09a192637d550e2ccdce7490aaad2439a234 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet FunApp False Passed
e4ac3bd10c11f734451450e7a2f9ddf15276d5a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag FunApp True Passed
83573cd368e7c991ae5bb37003d2cb9061e5a8aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag FunApp False Passed
51f5162eba8cfdd45bde6c8d6d68f3737e20a548 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn FunApp True Passed
4b96c0188426442c48d283150b3101e81f744101 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn FunApp False Passed
655039d2143761268d1898762902ce11448dbc51 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag FunApp True Passed
8f20e266bfc2f2c1cecfdcddb0dcceafabd045ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag FunApp False Passed
1520c3fd3ec6056316fa5771fa450dd4fd1c2454 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub FunApp True Passed
629fbeb9320821d0da619a484af5f5a0e7209b9b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub FunApp False Passed
f50e684ea6d83006e3ee2a6da1262f4fe794cf5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn FunApp True Passed
277d2ef599139d37d81ece0ba113d6564fe5ad5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn FunApp False Passed
678b03cfd2daa22e04faec6f1d07267112bf62f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag FunApp True Passed
35487b574f4d1e37e00241464bd9ab27a786e6f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag FunApp False Passed
eaeca10d140fd9504852e3d36acfc1d1c23ab99d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion FunApp True Passed
671c2bcbf7d905b164dedc27cc52386423c99889 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion FunApp False Passed
1fa96adc8007f555ed9cce5e066d1efa3e3fabfa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality FunApp True Passed
ba1cd2f85d636159e07c7d02cb11882265cb68d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality FunApp False Passed
ff426a1919d96e0bbf811614cfaa64c613f94799 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll FunApp True Passed
8f54a230418a57ca02b6e97891ca86c02c8a2ea1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll FunApp False Passed
8fc984503fb13b06b1884e9e7d206b9f8f98d922 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag FunApp True Passed
a6ec3f7d08efd21f7181647f6461bd250bbfa862 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag FunApp False Passed
1dd370391f57d1989b956353d7f89022c20be30d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet FunApp True Passed
7ce397a0752f6c9ef222cd702f4f974b180bcdc3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet FunApp False Passed
05a0564b760630571105ee83d171950ff84b6448 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality FunApp True Passed
4c6f026a099c042714b2c5d60d49a396031f27e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality FunApp False Passed
a4303dce9aa5cc1705c5b9b25734170fa7e3047f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead FunApp True Passed
47833bb7e9db9e7244da2c159cef70c6597b50aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead FunApp False Passed
af2fa1028660420738022fdca7c8fd81e5a53c47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail FunApp True Passed
322ce9ee529a8238b22a34dd8f8ce71d3a295ba5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail FunApp False Passed
2ce0cc6327c6ca6081a5f93eb19177e23272e068 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend FunApp True Passed
35664d7a78a202ecaf1c62ab24c4b1e46c005299 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend FunApp False Passed