Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
b1ffbb96e33bda7ba8b8ba2fec79353dc0a9de8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And ConstantRank1 True Passed
76895718377a3f2873b308445b0e6949c25b662e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And ConstantRank1 False Passed
96bac5e98237ac60c7a1acc6c3dacb777a50d5b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine ConstantRank1 True Passed
6b4fe1eaadc4db90aed59cd750d51fddd0dd0114 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine ConstantRank1 False Passed
0aab1003d0b206d93be9b5b6f203a6f2593d4cc8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply ConstantRank1 True Passed
6a4655f38620dfb039a3bde3a327dfb95722b437 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply ConstantRank1 False Passed
96b29c10a1c57abd738fe17160defc9a29c3273e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not ConstantRank1 True Passed
c2534fb0ec6bebeb5f00730cd340960c6b4299bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not ConstantRank1 False Passed
dd39e73d39d446a6809a962f97f6f816be6281d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or ConstantRank1 True Passed
4a4e0f434f00b0e95cc193072fbe72a5d4340907 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or ConstantRank1 False Passed
9f7e8c1b1c72ed5a8fc17a00a07757e2ad427435 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine ConstantRank1 True Passed
390d9da6a0368278b4ae0cda7b1cb75efcc1d36e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine ConstantRank1 False Passed
80b04f27ca6ab6c6cdbc02780b35151349be5883 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed ConstantRank1 True Passed
d7193f86431baae6c3f8cd0a73c10c55cb3a5705 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed ConstantRank1 False Passed
2206671a89497e2bdab992701a4e8774aed93dcb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq ConstantRank1 True Passed
c2b0cb26714093bd0d93c4ee0b7754194595a7fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq ConstantRank1 False Passed
1a49a28355bb02ac8282c1b8d9537fcccf7046f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne ConstantRank1 True Passed
d7686aeb022a07be49ab28b14c7b868e5eb25ea7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne ConstantRank1 False Passed
11b7fcf2ff3b2037d4e84b16c01244c69485c9f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let ConstantRank1 True Passed
14222ec7c202165e8cade937ea0c112baba7d4f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let ConstantRank1 False Passed
f4bf8585f2f975d4e1fec37321a85f7d0278535c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 ConstantRank1 True Passed
db52123fd74cb750abee05d73ada6a6047ff4d4d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 ConstantRank1 False Passed
14aa3d1cf0edcdbbb43432af2936b7cc9e51b329 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 ConstantRank1 True Passed
7ea7f1a158c0de2486a9224c946292ea1ce90cfd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 ConstantRank1 False Passed
a82620c8ddfeb67de5e33f136bb4e1268af65014 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 ConstantRank1 True Passed
fa0d7ab97cfbba77a5fdd4df991f5fb731d66369 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 ConstantRank1 False Passed
6bbfc2e5af005ae9ea80dcf539ba6338ff77e5a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun ConstantRank1 True Passed
3bc57da63d5ce8bcfbaa21af9db1e959c94a44db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun ConstantRank1 False Passed
969ec8fa6cf42131f24122308dd0bd0b4fb6667f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In ConstantRank1 True Passed
c00d774b5c888276936a9102eda17edf2f4cf22f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In ConstantRank1 False Passed
f46265ef68efc9fcfad2aa904011d4aa873285b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn ConstantRank1 True Passed
270d59144dd86009a8d18248c2500a79aae4d24a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn ConstantRank1 False Passed
decabd3d20083d9dbbcec6dbdc9f4e2f571372b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists ConstantRank1 True Passed
a3bd9f9ea94c00196721414d2849b8afa2264a01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists ConstantRank1 False Passed
fb9c12a629582f86ac7844893525967b4a55159d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall ConstantRank1 True Passed
2a6401633d5cfc7e6a7fc6da88579b6a9ca9a762 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall ConstantRank1 False Passed
198c8ed60c5acab811a6dcaa30c555e8f88437cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose ConstantRank1 True Passed
9087db0dd66396fa827677f3ea84bb5133bc5484 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose ConstantRank1 False Passed
f53a0f0e36d668ca7b8fc8305b691ce1aefcbb58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record ConstantRank1 True Passed
a7b7b90eac2e090063882a7e1a325a221548bf44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record ConstantRank1 False Passed
123816d981da18b90d17290894ec4fc88a2984da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple ConstantRank1 True Passed
261947d75083b3d17e133b047f111b048fff9b06 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple ConstantRank1 False Passed
6084a9d83b54c732f916fa4efe81d778d40c5fc7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp ConstantRank1 True Passed
6286218f4e6868ef90e56e505e6871bcefb15a24 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp ConstantRank1 False Passed
3d0f944c674414d0b5fc500fc1e5e5aab7f4474a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 ConstantRank1 True Passed
a97d6a6ffaca341fc27fe1bb43a41cfc4cba87c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 ConstantRank1 False Passed
19e1d35ea8ee10b3e8808a87f3ca898ce8d0f02d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun ConstantRank1 True Passed
9766eb5d746e5af908b0fecf70c9665b60873469 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun ConstantRank1 False Passed
42085aa175260f89a3c12ad73d127a1089c4a381 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt ConstantRank1 True Passed
2d78ddb1796ba550f90f91c949f7b80b8be9548e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt ConstantRank1 False Passed
9ee34771d1fa3a8f17c50827f3c182b932180a2b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec ConstantRank1 True Passed
1493b8b936b7f74bf616ba5f360561b26bedc2c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec ConstantRank1 False Passed
2a715396198d71cd5401f258dd8a6e2c0fd9b404 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt ConstantRank1 True Passed
e2957b58cb1282fd1c57d9bc60b985e22913a7bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt ConstantRank1 False Passed
7f2ba19251b0e159f38b58fc7e4ce5f8965940f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun ConstantRank1 True Passed
46183d2d6f00942ef1f7d07dad3e6f356377e8e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun ConstantRank1 False Passed
640b9fcb2d9823530abcfef3ed05b925d9c43b94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple ConstantRank1 True Passed
a651e6676389c9267e3abbecc5e4f9ed603238a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple ConstantRank1 False Passed
78bcbf2c5c5e691d77ee87d580e135698024486f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime ConstantRank1 True Passed
b92a4a270f05df0713d98711f08ca3d0be19b03c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime ConstantRank1 False Passed
58ecc9353b66191b1421b55578a864f5cbcfa81b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus ConstantRank1 True Passed
bc4e5946fd1e97dee0bc0cad9e59bc31fc25c19b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus ConstantRank1 False Passed
742cc6d759a1e1e34f8ec99abf0ddd46ed3cb389 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus ConstantRank1 True Passed
cda3ebafed8a0fe6bad567b6d08ba081e2aee1b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus ConstantRank1 False Passed
d943a58c4e498a3cf1d8350000ee9710ab732c17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus ConstantRank1 True Passed
65f30d4d82c44c143c426916044b5684354d839a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus ConstantRank1 False Passed
ba6c39270809cc175ae556aa381abd2b338ab248 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul ConstantRank1 True Passed
fde22ed532149d2b64f75438fb8b399dd58d5a74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul ConstantRank1 False Passed
9f240aeed10f950ea91383b67e0fa8b50c582120 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv ConstantRank1 True Passed
800a812a076c56b79bc373341506fd6490ab8067 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv ConstantRank1 False Passed
2010141ba639b0a9dd187831729703bc8c8d9a44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod ConstantRank1 True Passed
ecbb174bd2d10956bf56ee1e6b882ef4906596fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod ConstantRank1 False Passed
327e6b2d4affb690d42523112e0d727513169ec8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow ConstantRank1 True Passed
e01fe9e142ae598fbd46d1292ca9b495fb792d53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow ConstantRank1 False Passed
3f05ff359eaceccb7c859736043e8b3b6c44de2f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt ConstantRank1 True Passed
962d9a64b375cb960e3d0687d8493bb56ced65a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt ConstantRank1 False Passed
8157609a15c5b732c416b78d3b1f1a302b22fa1c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe ConstantRank1 True Passed
f6dcc99b679246d945d5adbd5e9e2cea03dcad7a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe ConstantRank1 False Passed
d7d5acdf7210b898b259a13f5c987b0c1c31ec03 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt ConstantRank1 True Passed
778481184754943f3906d29822a54cf691bc2302 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt ConstantRank1 False Passed
3c85f67551a5b341691718f3303c51ece0c4f334 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe ConstantRank1 True Passed
0f7eb4a78b5ff699843d52e3e350002ad2568719 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe ConstantRank1 False Passed
5a7d3e4fcd004c308b1d658ef07b9c6fed1bd9fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun ConstantRank1 True Passed
ac6ada734b8421f1079aa3c508d9073132211858 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun ConstantRank1 False Passed
e0ac9d0b87edee1a60bb98c35bd50e4a76f93d07 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun ConstantRank1 True Passed
b5c57be6b554928804b78983dd6b7bdb896740f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun ConstantRank1 False Passed
16094b3ac5782f6d86c34c11904dac9aa3cea697 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive ConstantRank1 True Passed
a45baa7628e57fe17934266378a007c32555dd96 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive ConstantRank1 False Passed
fc577b10a8e241c5fafd5c2a08fab3b7f1e95dfe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive ConstantRank1 True Passed
443549ecfe5fb52240be5d4e6d90420686170d8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive ConstantRank1 False Passed
fa8d1d63c41c5a2c906a3181b941fe3b13dd501e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 ConstantRank1 True Passed
021b86ace224ba944ca20dee567cc0d67c70677e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 ConstantRank1 False Passed
1083ed72cd4a889ced9843527ac2baa5b2441b4c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 ConstantRank1 True Passed
613343be2e19047e7c32660317a8308e887d8852 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 ConstantRank1 False Passed
917bfc5b906d9f8ca4a1e5858bc68545f14bba60 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 ConstantRank1 True Passed
5ce06ffa59e6c990820948648da88e2ed13cb983 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 ConstantRank1 False Passed
d93a7d1776788d05c8d71ba4252bc5fa83a9fb6c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 ConstantRank1 True Passed
b3e98588727e7992ddefe21dba3840b1cc2d2022 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 ConstantRank1 False Passed
7f057bee0cc0f10e241b374b959238c1db450bfa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 ConstantRank1 True Passed
33dade405c84ba27c6ac04a4b318c28ce7a812c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 ConstantRank1 False Passed
e3eb9c057cdf28fc9604eeb16543fda6d2662b18 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 ConstantRank1 True Passed
b5027a982dd68a883cd57bd6f16d947959cf484e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 ConstantRank1 False Passed
e10ee77f8543f412c8db5e4e98b888f609178967 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive ConstantRank1 True Passed
b1d54b8f5380ad911768f1e4375224dc80993220 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive ConstantRank1 False Passed
fc91a3d25214a71ee554c5af89dc5fd1e165a72a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive ConstantRank1 True Passed
f9a573ec8368e913a111b0bb5d89ca93e7b87fe4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive ConstantRank1 False Passed
5f14df5be28ce48ad1723c0b6dcdd7788fa11fdd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends ConstantRank1 True Passed
689e6b5d545af8123f6527ecf64e1a456a8ade56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends ConstantRank1 False Passed
7a634a2167620ebda68280a5ecbd55644a2713d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder ConstantRank1 True Passed
4e389949074e31cc3d851d6f504f036a39e892af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder ConstantRank1 False Passed
f7cf720cb069478c57e5d4ca149a40d1689eb1e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant ConstantRank1 True Passed
22a433cc68bf84041a291ae115e1cb1b4b23095b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant ConstantRank1 False Passed
31721973c085d19e115c4c964e8dedc3e47b962d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 ConstantRank1 True Passed
7da4abeba58183cb8b772ca8e9efde40c97ce5db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 ConstantRank1 False Passed
4c714fcc00fefa9b97766b5c02e81038bdcc3c0a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance ConstantRank1 True Passed
e1b59265cb5414372d4ca36817ef7b01e3fcb474 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance ConstantRank1 False Passed
321f6294bab4657daff47dbb3ebfb257e75b8abb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith ConstantRank1 True Passed
a50e802409af01ab31802aaaf69e1456e320e635 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith ConstantRank1 False Passed
f7cc7a470b12b3ad4ae2b2600de694dd7ec14de3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed ConstantRank1 True Passed
dc15c4da14e0aa948551e50d29c79ffbdddd4591 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed ConstantRank1 False Passed
4aae51623daf62ca6ba88aa9e44ac1bdcf394574 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith ConstantRank1 True Passed
e1f07085dbc8c63170cb82acf0c8c4d6be579690 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith ConstantRank1 False Passed
1e27aaefad764b264fe56cd00bf265e82140c9a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder ConstantRank1 True Passed
64ab5d9e96f9932ef0edadde25e80594e714e194 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder ConstantRank1 False Passed
4c846fd310ce221cc0cee4122846e60da79f11d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder ConstantRank1 True Passed
cc58e6f2127b455346e2cb22b7581b08343dbe89 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder ConstantRank1 False Passed
f6580efda0773cc0bde8a099095b4d30a88884ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder ConstantRank1 True Passed
0eff6e083accc0f5b463b8c29a6dc595dfe96a4d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder ConstantRank1 False Passed
0b1818ee077c1cffe0d411ab3d3fccc179ccb39f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder ConstantRank1 True Passed
7649653909c0ce027d77a40fbfd85c355f9c436b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder ConstantRank1 False Passed
e1df2d99633724a68eea7047ac8f15255d6db0f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled ConstantRank1 True Passed
7279df1d4670cf6e876f47381eff669c9b59ee62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled ConstantRank1 False Passed
977861d4e6a7346a3f11f43e7abedc3f6c004d78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume ConstantRank1 True Passed
b25542a61c29a5c11011d076559a49241d1f0869 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume ConstantRank1 False Passed
c26f59b4926305fef162c1f9b4888adcc688de70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed ConstantRank1 True Passed
7ea86e3350a25df75ec48df2a6a76b9d312f90ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed ConstantRank1 False Passed
df21ba86d17babc98cae77c5886a47ded88f0d93 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda ConstantRank1 True Passed
5bff05d5febf0dfba16e2f914c38ca788023bb5c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda ConstantRank1 False Passed
8465cf3c8ba32fce423d817e8adbb43a35ed3008 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 ConstantRank1 True Passed
dbf2d38db285c531eedeb42f14dba32f2eb02464 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 ConstantRank1 False Passed
12831f2bc26ba6272636f60139755cc815579da6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 ConstantRank1 True Passed
410a48c6de893d495e07e22cfd04a6d5729050b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 ConstantRank1 False Passed
5e7632cde799687f2d301e3c96702c7516496d10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet ConstantRank1 True Passed
619732fc07b1a794759879d919c0053c28c231bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet ConstantRank1 False Passed
0e42bc90c06ef79a9e8f1ecd73bf39ce848e4c81 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet ConstantRank1 True Passed
efec3167a045607d2670a5bfca3968753956fe12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet ConstantRank1 False Passed
4fbbc73d1d5db0518396f7cca2ee830929d05530 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff ConstantRank1 True Passed
24a9acd67c6315b2c0091561c3f3afa5aa24980c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff ConstantRank1 False Passed
02dfcbee63445dbfbcb96afef004792f4f24861f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion ConstantRank1 True Passed
0419c9c177f0e527e4c07b099ff3209dcdec48b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion ConstantRank1 False Passed
4dc87b88f8af91c079e622a80275f9c570415284 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect ConstantRank1 True Passed
29013f90efd7d8b0777681f44323acf3218dd209 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect ConstantRank1 False Passed
d4545dc0b51fdfde05f9bbd6ffe4baf10f2cce1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq ConstantRank1 True Passed
8d5e898fb4d9119e467c59bc4e78b8ba0dfbfb1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq ConstantRank1 False Passed
5c3852047ce391d475e1de65698b927620eba603 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond ConstantRank1 True Passed
b3903bfe41d00d854825edc0e4976e4d92b9ce5c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond ConstantRank1 False Passed
93338feee34ac1f08df83d006a3c9f790f796bdc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen ConstantRank1 True Passed
b69310f5a7504f38674d850df1228e058ff7aa78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen ConstantRank1 False Passed
e69a9a5b6bb7895db84563ffac57d28ac9cf646a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse ConstantRank1 True Passed
181092fd7b0014789bf2371221d88c44bef265e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse ConstantRank1 False Passed
ea03eb088674780574083aa7f4b2489d30944764 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset ConstantRank1 True Passed
2c0588e0d992d0c7bb827cfff904b7e548ad63cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset ConstantRank1 False Passed
4e5a90c95c6c9e299504d78b1050bbe267f1d349 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain ConstantRank1 True Passed
4b8efda6d694d0d3b96ad75cf35c4f2075aeb550 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain ConstantRank1 False Passed
26e60c8f97cb2886bc05dd1a9d85a37657f02495 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union ConstantRank1 True Passed
0a53645af8324a6f90439c0c491e1aa7a1c09bdd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union ConstantRank1 False Passed
98871b70fe349811dc2a88541554226ad66609bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence ConstantRank1 True Passed
7e873ffea3f7f3ccbda52f7c190278994075cbe4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence ConstantRank1 False Passed
73d6e1e6288671e55a494a299215169356968d94 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen ConstantRank1 True Passed
c40fceb9582dcca198b5ff0dd1fb79c087dd1919 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen ConstantRank1 False Passed
0fc9d55e281f872daaf09c1478c8779e834298e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat ConstantRank1 True Passed
53bbf5424a86c13c2f2d43a9b24678d3860fa93d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat ConstantRank1 False Passed
25bdcf1aebee3a97e9926e01233c42956de53227 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq ConstantRank1 True Passed
d75248628682c4830d3b4b86019e2ed7ee120c5c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq ConstantRank1 False Passed
87d926e287ab96cf18632f988f106f1c08fe558d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq ConstantRank1 True Passed
d76fe635201ed458d2076e2c6bf99cfaa634501b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq ConstantRank1 False Passed
2265af41495874f67f85fe23e8f69b9b8f5e1caa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq ConstantRank1 True Passed
79f990a79079c22cc979f6c519f04fd5e3db0bd2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq ConstantRank1 False Passed
806039e86d8adf5cab6a410f651de2b06cd7ba6a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange ConstantRank1 True Passed
b877ceab99e3466bf91bbe4237244d6054939566 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange ConstantRank1 False Passed
0a8c144918bc4295279dcbcd7b77c8a360241113 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun ConstantRank1 True Passed
0323f66aea3bcb6bea78bb662a7f6bb475c973f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun ConstantRank1 False Passed
163e44cec3a1e1a0a1cc65921d789916fe68dfcf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun ConstantRank1 True Passed
84b3a21fdb04a5e91283bea6259bc2ac6a31f514 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun ConstantRank1 False Passed
434c23d650fc8b06c4a96fb851889c7a75fea862 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun ConstantRank1 True Passed
77818343d40ef6b92085049202b1077d0d0e149a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun ConstantRank1 False Passed
97c01d58385fe93bf775eb3cfd0e700b99408968 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq ConstantRank1 True Passed
5693522a691a902eb72fc410295070c9615261c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq ConstantRank1 False Passed
c36531746f94417bb276ac4bac91716de1201a0f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval ConstantRank1 True Passed
72a9ca90aada57bc2ea482c2dc36d510c2e39405 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval ConstantRank1 False Passed
49cc08af3fafc8aadcb2570ab0f21cb0f0f7097e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet ConstantRank1 True Passed
775a7f8c8ffddf0d2b129950767391c3708efefd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet ConstantRank1 False Passed
76db8fce34a3202829f8139553b61ff41fc743c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag ConstantRank1 True Passed
5eb761a2503fb379b9b3a4e7490922e7131b4642 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag ConstantRank1 False Passed
654370c4ac4ea547be33a5da1682d79fd08e6c4b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn ConstantRank1 True Passed
3d934d998aab292d9870af214fed862f1c1d3d4f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn ConstantRank1 False Passed
73f60199ec6db2120c38a134fa06d19ffd89a310 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag ConstantRank1 True Passed
1c88f0cf95cc0e0bafca980a5e8d25ab9067545f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag ConstantRank1 False Passed
4d19889644eaf0574508596bb810b88e615b0aad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub ConstantRank1 True Passed
fbb6d6150ba7b68064e9aca23f95d39266e0bf41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub ConstantRank1 False Passed
d837359f9aef2f2f055840c5f9b989e8c04f7944 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn ConstantRank1 True Passed
ff6dcc7e91c4e6330b4e1c5f23adb0432be543b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn ConstantRank1 False Passed
07f7431b2ebf2ec4fe6b34a6c1b6d19727cd7c22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag ConstantRank1 True Passed
1694d49c690ec85ee9eca6b387816e5108ae04cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag ConstantRank1 False Passed
c999e5924a921f22d50f9aa6f3882fc88ed93a2a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion ConstantRank1 True Passed
d5390ea41dec547ca1dec0b82d41b3ba8b143266 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion ConstantRank1 False Passed
7200f93a1903c8daa9635bb7ad28d385fed40856 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality ConstantRank1 True Passed
0ff56e4d1964a0e3a15db50cfb272a334cd1f243 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality ConstantRank1 False Passed
4d2c46377f2c6abec119c249b6f5bdb589320925 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll ConstantRank1 True Passed
935c9c95769782ffbdc71cca48526ba93a01d484 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll ConstantRank1 False Passed
5baa7db396acaec42b23abde03b5ec93b24e729b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag ConstantRank1 True Passed
56277bb9967042c37194507e333ce482b70fd02f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag ConstantRank1 False Passed
fd139d8dda17d8168375a06e82935ee3f82bab1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet ConstantRank1 True Passed
cdef1bac451bc5da179403fc99e2aef78f526749 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet ConstantRank1 False Passed
7c90524b0e0fe8618eb07c3064b4596bac0af24e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality ConstantRank1 True Passed
8c5740701d6bae7210278759cf3ccbad88c691a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality ConstantRank1 False Passed
abb10bcda33e93909f97dffc7c029aadc9513af3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead ConstantRank1 True Passed
fdaa2d2e84fd2ff3b7e8955a8b9291f43699578e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead ConstantRank1 False Passed
ac5b2645f3cf12e1d13a4fc148e9d7a7ebbb074e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail ConstantRank1 True Passed
f5311341592794c0c667c13bcee336bc2c68a439 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail ConstantRank1 False Passed
161ca023c0f17fc16a9029d18274dae38420ac80 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend ConstantRank1 True Passed
a93b03dd5bea60e5e243a3baf331914040a4a50a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend ConstantRank1 False Passed