Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
293b1b834e7d3823aeb5f57e405f1645f0087d44 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 OneLineComment True Passed
3dd2f3d6f007ae00220daceb1944a49fb33c9128 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 OneLineComment False Passed
0499bb3874c368ed3a7421667c5d2e14c475b498 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 MultiLineComment True Passed
17460e114fd6f5d799b1a6447938817bd3d7a87a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 MultiLineComment False Passed
c329c9010502b7cbf3ef73547662792f305f5202 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BoolTrue True Passed
099ffac81b930e2f320a059a4bfab067209b5ce6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BoolTrue False Passed
e30bf6616a6d03c62d14ba55e4b4f27979382d5b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BoolFalse True Passed
f07ecbf2523f80fd79f950e12ad1af510f4a27b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BoolFalse False Passed
c0dbc3ef9b93eb47a5033ef530221d567caf05b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BoolSet True Passed
eeecc19bfa0e98aca601fafc4622c40fe8fe38e1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BoolSet False Passed
44d64b9815d1b93df31399ead4f22df0202cbc20 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 And True Passed
8c7ca05d116f54ab78fc567b1acdda04a41682db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 And False Passed
fef8dc581e4c7a242910369c9eeae450e9f90c2f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 AndMultiLine True Passed
48338e954be5747d0729fa59e821dc765f73f9d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 AndMultiLine False Passed
55d990e30b95ce232c340741d019faa660f5bf9a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Imply True Passed
774056f5c54cf2fb8975bdab30f6b9c74133bb69 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Imply False Passed
49cc0cec6e897abf5d825de266b7678907bdb3e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Not True Passed
d24972b167b4f5f99b688f81158942072ec495b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Not False Passed
173d8e075e0ce9abaa415ee1a96d50544f13ea91 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Or True Passed
2abba9974154089c66ba22f66471b7815b1c94d2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Or False Passed
16089f3d84f85ac880982fa111c52aa2a390f799 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 OrMultiLine True Passed
ebaafb26fcebb7f88cffcffe4a876585e435e0b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 OrMultiLine False Passed
b7ee7d8685eec08c30d3f74d93a04d0f9308d198 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Eq True Passed
8433ee3142ddb7d62eb019e4942b4cc646819883 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Eq False Passed
e3014f062a51c0ff5cc776311e90433e28a68e36 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Ne True Passed
fd8922c95d296281cfc96adc490ffc98fe09ea92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Ne False Passed
88950b6fd68b551bf66a5a3736b86139d6345661 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Let True Passed
d2e871245fc38967e42ace3c812a2e2d8602b2ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Let False Passed
5e725b47083dc5dbc3cff24ac51553f2c42557a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SetEmpty True Passed
b1f3d0160e98fd78e820a647525f7007260967c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SetEmpty False Passed
62beefac48d6f576be69fdfab2cc4bbda0deb47b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Set0 True Passed
12ff32e596c16db0f8fdf0ae9ddbc4e7c9722c62 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Set0 False Passed
948bde7c2c91c3612d39ff0615f0ce967bd667d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Set1 True Passed
95258ddbb053691b23f0585245ddd26306614d59 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Set1 False Passed
4f56949b8dacb6aaa36c86c997ea04c6d21e3cb8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Set2 True Passed
f8800e2d21ff761a1242c35c9bea66b475c9618b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Set2 False Passed
a191916be9660bd4a115be3cd91f29fc3bc7bdd9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Fun True Passed
1b17ee357f13bbe9cae142c5439c77f6ccfaaf05 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Fun False Passed
136094514cf52e6a82a5275f84b20676cf24a3c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 In True Passed
0ad906679793da3f5c666773bba43e85c8b2da60 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 In False Passed
2e4bbdc2bf259bad9539351af802fcfea579a3e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NotIn True Passed
0f0b57e32e2b7b2ca952a36fef3a78a3cb2b91fe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NotIn False Passed
331540b5e29ddea53d69ddcead1b5b2e557b8ae1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Exists True Passed
5cdbbee461553588d8d71efa30849cc6f5e1a934 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Exists False Passed
644bca231988eae941940c1a3d4baa0f63709ed5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Forall True Passed
73b9a6431e6ea779d5b18e20b42681c273a37976 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Forall False Passed
bb731cf8a9f22848d3beb1f48e7eb1dfd44f9d8f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Choose True Passed
1a42b43318b01d224b8c865e5c42ffd57bb4a3a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Choose False Passed
913a4ba18ea44106def5a323ebb680447963b7b8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Record True Passed
3ae63e51b271614904b50ae84be773e09141de7c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Record False Passed
4b0d415fa3af6a612f7b6bff1e4c60755bd4cb5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Tuple True Passed
4c02623abc99f312d30eddcbd636891aa8e5a062 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Tuple False Passed
ac6ad75eeded1f6a94a3b5ebe4c070ebb348546e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 TupleEmpty True Passed
8747e74e4f36271f6e7917032f29420afc6d06d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 TupleEmpty 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
1b02799d11f48f2469bdcc190857c2dddb96c93e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumZero True Passed
43f156ee406be5e94b160f34050bd5299c81b17c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumZero False Passed
50be9aafef162fd46d49027e047b001b3106a71b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumOne True Passed
63bd84def89e12aa1e1423b31e53d1841bfdc53f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumOne False Passed
1646f9af7742f34954a7727bce1f54e3bc8e2bdd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumMaxInt True Passed
2d6f8cd57b72123583f371ef18fb08594ed3f15c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumMaxInt False Passed
f4c44cdfae3faa0a39869f82e21475cd43d96b3d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumUnaryMinus True Passed
05ccf5b62136894a26a82b42c16762c56a2b1b2e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumUnaryMinus False Passed
38fed7c0d2c710c43d6067efd2d6fbdb6588fc3b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumPlus True Passed
0881a973bf1a8b67b82be3db8c47a42a4d28cfc8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumPlus False Passed
75058bb547049a520ba47785515b366cfa244139 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumMinus True Passed
c504379e73f4e1c452cd581979938ca6e995e914 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumMinus False Passed
8c70a43fb7f9da49e28ca5215ba9653b99ff7f68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumMul True Passed
5e0d03ac44d9fab90a6a198b5af025558bf71d6d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumMul False Passed
32b80c6c4dcd9e32957c14d5c707c71292bf1d93 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumDiv True Passed
22c0b9ab7dc92705164499ac71af91ebb538f774 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumDiv False Passed
8575f7eb535db64f12feafea64d642d1217ba012 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumMod True Passed
08fd10184d81c5ed87319f3e3245b699f4760df3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumMod False Passed
d8d40662a7f3376dd491dfc35e579758a29a6fcf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumPow True Passed
d245e395fe6e75891f94ac343a08e86f82345ef0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumPow False Passed
5df83f26bc8ea07aa264ad6ae86438c69bbbcf65 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumGt True Passed
93fbc3deaf8dc2542b0f6bb4045f1c9393e17a88 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumGt False Passed
4d330c15d747cff9ccd031e6991269e486bb8589 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumGe True Passed
4a8d9e9ef803c79707d7946d77b8686e98ed4aca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumGe False Passed
246ab3b11680e78a792bc6799119db4dc20ec000 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumLt True Passed
33ef89ad06891a1939ada7785545dad05692e466 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumLt False Passed
ecba7d25882e50525a8ce70b1ac0a27730fce12e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumLe True Passed
3ba664cb6d30baa905284d7a676a82220e230236 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumLe False Passed
ca336a88568d9a1b492973f0e17cacc4a8e33105 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 DefFun True Passed
edda848ed7b2315957c03a55fd2fbd80fe59ae1e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 DefFun False Passed
6a0a29bc1c93d541879b22b31dd87f5771337b02 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 LetDefFun True Passed
061a84f20d5215db36561af804905e7a5895e499 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 LetDefFun False Passed
94abfa339afb6e9ebe48180d1d30fdd4e5d18e92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 DefFunRecursive True Passed
30766024d8cffa7e78696082a029480c50f5ed54 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 DefFunRecursive False Passed
f4af288fbfeed7f6f5f9cae955e46774045dc32f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 LetDefFunRecursive True Passed
e620389ecd4a954dbd7fadc11216aa4194c9eef5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 LetDefFunRecursive False Passed
394688afb9f34169c02055f0eb8378956798d16c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Def0 True Passed
d544dfaa295128b71b17a02766ab9baa599cb77d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Def0 False Passed
04a13c7e1fdf02d19cf37410ae86fd8402b3a421 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 LetDef0 True Passed
95b7ed40e2aec0cd869a0cf7e4769b9a5393ef34 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 LetDef0 False Passed
1a6f78c6a3e043f05378197e09533ce7f16ad35b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Def1 True Passed
a234f871ad790cd234d18b902ff8c2f31cfd5ac9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Def1 False Passed
5cda6f98c40aa1cbdc8142f663933d61536fa375 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 LetDef1 True Passed
33e3b5bbbdb99382895545e7139fc07c6371ea30 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 LetDef1 False Passed
f6319ec837110a018a9ee47af3cdf5f6da752e27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Def2 True Passed
4b109f9dee9bbb95608dcf737f2bfe8ebea146aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Def2 False Passed
64e1dcd47951d3d6ea16e0b263f8324825afb14c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 LetDef2 True Passed
0d2a123330678b65cd794351929ec9495ecfc3fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 LetDef2 False Passed
c1751f4ae1cd9378d958f2f0d15eeca41d8e0140 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Def1Recursive True Passed
9423f55362eda9af1302c3c389e4a56a3de72ecd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Def1Recursive False Passed
ca869c984bb43e16763856cef1015e55f42892b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 LetDef1Recursive True Passed
88b5a726d9be3a64d09f0b5680eeb9307f071d6d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 LetDef1Recursive False Passed
a351a4268d60b30a013b84af440864da5ad6b46d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Extends True Passed
3fef4ff8ae8682ff722aea56498c6b2d1ef99451 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Extends False Passed
fba105973b55ad5e015d3878c46a392578c6f378 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 ExtendsInDifferentFolder True Passed
ed12ecd82292d29ddbfb42a2da5d0f634a575bd2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 ExtendsInDifferentFolder False Passed
276cde740b3ff8039fcc7fffbd25088c03c9fb1a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Constant True Passed
9c883ed3b8ce42d063c8d4e515ad3b39e19c975d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Constant False Passed
3830ddaddd8e907c412c22ab14513c3727af3182 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 ConstantModelValue True Passed
8dcc066fb16151f4e6c8a56f0bfd894e70d11a03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 ConstantModelValue False Passed
1b97bf3ea888358f8431e8064c8f89d1ce4c2ed5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 ConstantRank1 True Passed
0d438f89303db56f069113355f1d11ca200b5830 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 ConstantRank1 False Passed
3b899f6ffabbd3fc7d47a1c2c8dc1035d6f1f7fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Instance True Passed
4ebcbc4d882c170f98876595c717c9fe3b6181ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Instance False Passed
1d72cd87f450ef323b96d06d7ca128ec90d27b86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 InstanceWith True Passed
3a92929f21fc8216f7e1b6c312334df0dbab9121 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 InstanceWith False Passed
41fd2b5a5ce7573085de3fcfac2d368b229010ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 InstanceNamed True Passed
b555f96417e23721efa82e11264890370f174d9f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 InstanceNamed False Passed
d380a064633366f9123bdeb83482ad124c338530 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 InstanceNamedWith True Passed
6c0d56572ce3ffa3ffc72909d5180b264e27f058 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 InstanceNamedWith False Passed
e6a9f242cb2fd8e5fb0caa335b35bc63037694f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 InstanceInFolder True Passed
d57127ac73776522a3dcf27a4fc714bf001bae84 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 InstanceInFolder False Passed
7930994537d239904fd3487de7db7c81653a300b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 InstanceWithInFolder True Passed
18aeed1a4436e183bdc5eef55888127700be9a26 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 InstanceWithInFolder False Passed
36ea344d77afca911051c5dbdf2889778cb2436c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 InstanceNamedInFolder True Passed
7639b2ce8d189e5790bfbedf7f6717a924e79e46 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 InstanceNamedInFolder False Passed
382262d5111a7aa39d106d3aa86be6aa4ade4cbf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 InstanceNamedWithInFolder True Passed
ed2e931694d69d7860fcf5b045df7f61a0e470bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 InstanceNamedWithInFolder False Passed
c6d5904ca52291ebfe4b0405048d898517d03f36 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Cross2 True Passed
b0eebfbc86a8263cdc697bff8c1b137b1a9bfb5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Cross2 False Passed
8cd5d6d94d3506ba4f51ea3242e8f11fcf279c88 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Cross3 True Passed
ec7d8263c85e320468bc28f25e87d33a690190b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Cross3 False Passed
ed84e086fc219f8c29cf305ab8bf876cad8b05cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 FunSet True Passed
1c1c006e1c09b24fbdb72ac122a0011bf7b143c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 FunSet False Passed
673e3d963263a1472e34419f46a96e8aa5930f86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 RecordSet True Passed
72d0bdb758bd23ad9c780437babe60a04094e0ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 RecordSet False Passed
2e9879a47bb9a0d05f58986bd2e06769fa6755e5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SetDiff True Passed
35e8304147a752e0e58eceb4bb36d44d1464e5ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SetDiff False Passed
e2fb194313eaa03d4da2311ac6bb04c3bb64c3a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SetUnion True Passed
37131f3aeb1e7552f83ccb056ccb11b995a5113c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SetUnion False Passed
3fe3ce3394cf029142b2e3a3da37a968670cd69a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SetIntersect True Passed
b8a0905250a08d8ae87bfd907abde11fec66008a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SetIntersect False Passed
664a2d818a2d548bd5b0cc61151717c69458a209 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SubsetEq True Passed
cb499ef8bb3ec857f6943c5a704980a665169670 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SubsetEq False Passed
c6e98fae52c33a34deb7be86633781386c8ee4e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 IfCond True Passed
9aedcef98aa67c4a67e693e216869f5eac752bd4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 IfCond False Passed
acf14e1ee5489b3dec6d64d6885c17e5fcff5b55 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 IfThen True Passed
47b3db47582a3644bfc16a4ac42f4c027b91d7ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 IfThen False Passed
118cff82d22bd3bfb9dcb6507a2602dcc30f79c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 IfElse True Passed
d2441797d2aefa7b63d128834c92d4732f79d64a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 IfElse False Passed
35e4e41764c66e04fe6677f9d3a0a9e4d98bca76 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Subset True Passed
b630eb062cd1375dbc56b757f0f1069cd7c4aca5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Subset False Passed
eb6414fb72d50b3dcc1860c81bc98fb7ad56101b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Domain True Passed
210d46a28c50359c2176f03c883b7d9fcd5bd647 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Domain False Passed
ed5b86888bc3a17d1b7bc5bcc06c50cce48a27aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Union True Passed
eb1fb91b627eac90dd4cdabd3226afd63cd6766f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Union False Passed
b426be72c762fd12f0a30dc5fa615f8c424772f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Equivalence True Passed
f6708241b12765ad684869167cfc93e28a171575 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Equivalence False Passed
a9cbba58b31782b80980aee07462eef77982e867 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 StringEmpty True Passed
bb36082829e649954b6f0c606a8696f3a0b5b8d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 StringEmpty False Passed
85cf4e93222c33a750656da42d710e4fd87acabd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 String True Passed
f6bf650dfebcf3b8028ebc9afcdfd89d02835a1a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 String False Passed
e4aa93d88b4f21e285d1ebf96752550d8be6577b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SeqLen True Passed
10f156272686750eff1e36e8019d74ceb9c129dd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SeqLen False Passed
c84d840ec16ae092936ad0ef3e9ed87755b84512 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SeqConcat True Passed
292eaafb5b6607aec9b92a72dcdf6766b0ee8f7b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SeqConcat False Passed
280d82f6c7a3d70023030bc243a1eeccfc01b83f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SeqSelectSeq True Passed
9e2c0749fbf6ef12cf70842583adacdfe807d5a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SeqSelectSeq False Passed
59d70c9475e061a064c291da6ba7d799a12ef6aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SeqSubSeq True Passed
5448854a5979c6731102b45e26947bc80118a6a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SeqSubSeq False Passed
808370b549eab3f216a3f4efa881f497ce663ab1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumRange True Passed
f9ef3b64fa04f2a6e1cf48a74c43ac63f998bbc8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 NumRange False Passed
3c18cdaa39833fc95f86864029582f35dda117d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 TlcSingletonFun True Passed
6d15cf27445154a6360a790e1a3e86ed4cb88d94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 TlcSingletonFun False Passed
1c3cee15078c610e8d322dd4fc21f61ce8a9e0b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 TlcExtendFun True Passed
93d2972d2ae27022ccc861b14989cffa719a23a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 TlcExtendFun False Passed
a30867e24f2f4c044002bd6cf13523e3c17de22f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 TlcPermuteFun True Passed
703fca677537ab29d86c96e96b9a5fe9f8016295 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 TlcPermuteFun False Passed
63f1ec88ac1a692930828e0eedafa84b2ee9c60d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 TlcSortSeq True Passed
0cf60fed0693a3dd51e10a42fc64b3dcf439cd48 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 TlcSortSeq False Passed
bd08ab14eaf1b2a2fcfd741a1ec912ac23e23c73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 TlcEval True Passed
bf6e5f588accac913a21aae8d85c38e7ed1073ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 TlcEval False Passed
05766053d711d04738ed104710fa067b93d33ea9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagBagToSet True Passed
c77e6d832553dbf216533ba3a7c74ef352489213 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagBagToSet False Passed
8df884b06ba26f3dbb39de35a99c59c508ea56f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagSetToBag True Passed
1690166b296bf04c44bbbd5b56cac0e417d7893c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagSetToBag False Passed
c67d1e191d30a6b2fec66c9a818a3ca3f3cbaea6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagBagIn True Passed
3b1d248baa336e4e2364fa7a853fffece1b5baa1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagBagIn False Passed
a58ca1143c8802285de86b07457dd7733844d86e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagEmptyBag True Passed
0a18601227921d2eb6bfb33087a3be8697054e39 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagEmptyBag False Passed
180f6e0049f40489c6ee5803fa5ceac3921e2ab7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagAddBag True Passed
1ac0b992314d1f90490bd1370719ea6b1649ec6a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagAddBag False Passed
9fe141ac0f3f844c306edf51e099823e70ab04e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagBagSub True Passed
b340b100d1456b9086a790a894d1939d4ccc3d17 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagBagSub False Passed
025287ea92185fb8e381cd49c5a09308151a8b94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagCopiesIn True Passed
24949271378604fdd97fdcc7a8a687629820f051 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagCopiesIn False Passed
0aff6cb962258f97a4bcfbff11257a3bdc66a608 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagSubsetEqBag True Passed
feb73874f9fd9e3399c16c7139a71b3486e019ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagSubsetEqBag False Passed
3a9fa00cde4833f8e2ebe85708707bacc4c20a87 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagBagUnion True Passed
fe3903d181488ad7f76340d843706cddeb0568d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagBagUnion False Passed
40409ad3f9fbf6b95bc04a8f7bcc0a9240efc42b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagBagCardinality True Passed
28f3538faaba7efb4ec632cf5a2b2eac05bdf3df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagBagCardinality False Passed
d9a8561af5de24bc9e31857645fe041a75495411 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagBagOfAll True Passed
f5b691e909d94d93abdbee2e01a792403d9b9e73 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagBagOfAll False Passed
f0e5f964aeede561ff7cf8a0625f9003afef5c5f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagSubBag True Passed
902cf9a0778a35ecb8a38767a24135c99afea5a6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 BagSubBag False Passed
f26afa14caa6bd0f0b8988f7e9f49e36cc946133 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 FiniteSetsIsFiniteSet True Passed
e6cfb553f345bc81175364d4c23221f0b462c5fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 FiniteSetsIsFiniteSet False Passed
b46de5173d42385c92f782b650158082441e1341 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 FiniteSetsCardinality True Passed
6d73e01cc0a709a4d407c4971c7de40a5c52a73b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 FiniteSetsCardinality False Passed
8c9e1fb1431a4c31757989c38e989c926c3e4e42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SeqHead True Passed
75af7bf75716cebf7d9fa6aed3930af5d075a0be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SeqHead False Passed
b4647e3d3f92a87818221471d2007cd033e32e89 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SeqTail True Passed
b6ffba046f31c8f4091f78e052d7f2518669652a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SeqTail False Passed
48795c8468ae3b21bf8b77cce6c7cae4bc02079a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SeqAppend True Passed
9421ba5230db1b212eb0db0484c52563613b8da6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 SeqAppend False Passed