Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
dd1f32bf7185bb619b1c5f1d6222664bb2736d0d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BoolTrue True Passed
42d480fa6857a27321b82eee634db73a9bf07262 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BoolTrue False Passed
6a74098080f0cc3275072f8ebd21cbe6a418d0e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BoolFalse True Passed
cddd8fc1e1ee68425fc2dc0b5c1cae38c140f960 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BoolFalse False Passed
d26497fad07cf4802b2660698f42c5b6e6256e38 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BoolSet True Passed
8dd9b48cd2e49b2d68d323b626e46b9228b6fd91 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BoolSet False Passed
9fa400c9d565e82a801fc8fb3b1d5e53f5be52eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp And True Passed
28312a80984aaac0361061966f173b34649b714c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp And False Passed
6f5b99c93165a3d546d7a825ecbec289a13b41dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp AndMultiLine True Passed
984d9687e7bba4bb48226b15cc47f21bc7f2ae4e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp AndMultiLine False Passed
9d472da0b08432858678e0df165c148a564fbeee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Imply True Passed
42ef97b06aa191c12a01d9789aaf8b32214ebbc4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Imply False Passed
9c7c8b85c680144274e21720dfd38114c7ba272a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Not True Passed
d9fd02d082bb95c70b7cb6d2d69d296a493157a5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Not False Passed
448bb0d6b65449ee549788a44d34b74913053f1b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Or True Passed
abc600f8a10a5b3617699e2919700a319b95d994 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Or False Passed
ee1f9b7125b4a95b90abbd7b487825b3c28dab37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp OrMultiLine True Passed
b34125e3728d9526940410288f0979cea0b675cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp OrMultiLine False Passed
4657865193ecfcbf291d0562a8854b1c2c386142 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Eq True Passed
a03d0ccb741ca5c7f494ae0bfc3bf6804c0894a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Eq False Passed
c03ed721a4715d35084999078afd6e5fba9bb4de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Ne True Passed
e87528e2e20346d487f194ba7d1768bcbf78102a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Ne False Passed
1198345bd935a6d1a62e07f92810a74c0ad9c40e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Let True Passed
cf75039d2d935e0f95a6b451297ec884185d4057 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Let False Passed
2dfe0bea1c9d3738e7bf7383cefccc2e770d5f94 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SetEmpty True Passed
4d586eedcc0210b09f0c46b93723dd8cdd45f79b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SetEmpty False Passed
94666077f97191abd40af105efc1d8a0acb07066 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Set0 True Passed
0fc5dc1ec5540e7be0a274049511c41af4056ff7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Set0 False Passed
47cd18c2293e414816b12fc70957b534bd9427d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Set1 True Passed
601e382a618abad72b349ca8d4f08125bd4a3ebb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Set1 False Passed
84e60901cba762c6f45f2121822fe9d4a2bb7c99 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Set2 True Passed
d0fde5b13ff7653058d33904833c39fe4b98b02e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Set2 False Passed
53c13d3b77ab1ef548610aa10530c96435a16fa6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Fun True Passed
0477374a06cf8eee4f6d4bdf80885e953ef5961d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Fun False Passed
68c6b8df4f21b2b911d853cc647f8f4431bc1a27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp In True Passed
4c22e793c8678f1a5e7c6cba8520137467a1fec9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp In False Passed
7ae65041217085a5f47560279801a9a22b986866 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NotIn True Passed
b16df74e84e030bd96f4be2bdf282f7aef4e166f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NotIn False Passed
97c576db07dc5cee777eb106fc249b079e2863de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Exists True Passed
5b32a2204bf6d28948cb8b8efe30db30cce81f62 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Exists False Passed
56577eb7d7ad279a54723976013d6eda572408f8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Forall True Passed
16d067422bd75ba7c99c9aa73356c0dbbb1663fd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Forall False Passed
40642abea017d2894e3251a4296a8dba03c26170 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Choose True Passed
70fb0c92c184bba2741af7fe5ce939d2b1ae4de6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Choose False Passed
ffe5d6dedf5f9ef80fc2a1941b89fadcc456d486 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Record True Passed
3dfa3aabb8adac63e429949558033cc8c11fe30e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Record False Passed
aa419f220596c995199e06173b737e724f9c89ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Tuple True Passed
c0467383c21638cfc04de63b74fee12cf17d2037 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Tuple False Passed
9678f3a28e54e586e352b397930f902421028e82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp TupleEmpty True Passed
8c33cf0a8e2f67964dcc7d4f87a1c6862e68e52a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp TupleEmpty False Passed
b95d10adac57ee6683da01ff9eadbc362e2f3296 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp FunApp True Passed
c6371ffaaa0265e1ff3d708476d2d999cbc5f821 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp FunApp False Passed
40451f3cac5912ba5b37f1602f742490b440a72c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Prime True Passed
441ce1771f09c2ec98b1df517f24f32cde230f97 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Prime False Passed
130fddb640d840a772576396695a5b14f693c430 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumZero True Passed
29834063e4d38798b09c64ea44146f1261e3917e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumZero False Passed
7d125be9b237313d28c6f8d5db75b2f275698cb4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumOne True Passed
3d0896449ae04a643b7a7cd22529b6dfb5cfe172 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumOne False Passed
10a47c40e043045b48f07d708246800565b79ff1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumMaxInt True Passed
4631f44ca3d3dd91592292b396ef52cb2e3f3427 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumMaxInt False Passed
e101d5215e19e5bc774af54fe30073778a30a6e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumUnaryMinus True Passed
d6198aabdd67cc98b378b6f7b8d627e01e6b4f56 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumUnaryMinus False Passed
afabdaa4caa04bf56bbfaaf11a0454ed40cd7e5a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumPlus True Passed
81dc761c9a27a0d51456d276488a04a733978093 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumPlus False Passed
1a6187214d9b96e2225a7487a57e3c5111d911d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumMinus True Passed
0e41357b03f2fa22b3a902808d129b076e734232 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumMinus False Passed
b79c6d7cf88bfe47d5efb6e3db1eaa296f12c6e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumMul True Passed
1e8bf2b4be2e34be37eaf8901155c38afb398d39 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumMul False Passed
7bd858149eaba2bb7642671011c501649ef300ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumDiv True Passed
3ac0114a6a96f811ba6fd3a424ee9150a2b96ac9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumDiv False Passed
95416ac7614b883f49d46d5133fab44753635874 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumMod True Passed
f30533664a586f96dcecec92d1793ca9aa4728fb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumMod False Passed
ff50489492f259b4e1059c9f4ba684ba84eee1da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumPow True Passed
8f539bc5bd58e968db1eaef0548ebe54c96263c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumPow False Passed
3c088d9c5f1a573fa31ed610387bcc5efc8f3f29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumGt True Passed
3eef530a5aa9b8755dac0fcee43137c135ffa2e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumGt False Passed
f6d6ba48a58a66c5e5e5cada4912f314d8f47bfd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumGe True Passed
d5c159e5cf5d2f4219a82da6f16db4403c6f410d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumGe False Passed
2d3caf2c4bbe05b13e6ab3998e53dca5bd95fcbd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumLt True Passed
a4348200c81253d0baa1f3957d03c24f4fb39adb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumLt False Passed
9e9a8d7129286b12b394f2b1f1c8573fe997967b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumLe True Passed
8bd887856d0465c09a6e163749fa0273a8de7ac9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumLe False Passed
bec8fe285ee52972050a699520f5f6bafd0c4908 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp DefFun True Passed
1b1cd16293cf421279d50661baa80afacef7e65a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp DefFun False Passed
574aa754521beea87dd12ad44e77e486074cfd3b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp LetDefFun True Passed
49008292b92b648f992f15dca69b81cabf748cc0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp LetDefFun False Passed
7b90ff7f4b0fcb7807e4cf055b4e677f93c8acb8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp DefFunRecursive True Passed
3d78d172788174c1503aa1815d258f895dad12c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp DefFunRecursive False Passed
764e3e35312c244e08ba2f520c49c225933cfdfa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp LetDefFunRecursive True Passed
ee86ffb92148cb4e6fcf8a5f650012f13fc10d47 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp LetDefFunRecursive False Passed
8ed1aaa3d7957f2d36ad5fdb83891c673ed27835 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Def0 True Passed
638d2d80e5a2c0b5bb2dc4e2db8ef1aeff499cb7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Def0 False Passed
26a4d0062303ec996b89499a2123a25c6738c7d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp LetDef0 True Passed
0583888c55f96037e684b43e90ea00b7599837dc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp LetDef0 False Passed
e931a6dd36770084fe84544d49a922ce17ce865a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Def1 True Passed
39cf21a48449e7337a36747483edd80ce2deadee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Def1 False Passed
1c33a52cd4d37cf709924e447335d48a0873a7e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp LetDef1 True Passed
855437fdb0d70597fa965babf008bab25d7da8ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp LetDef1 False Passed
cc3648d81c9d929c80a87daa71b44e992fd77e61 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Def2 True Passed
1b27562a08885b7b5ad3299ebcbb0a883ae3dc7b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Def2 False Passed
8d4110c668f580be7e71571e75916934a443034f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp LetDef2 True Passed
3973f5fe26f275fc7f6dc7c0b1dd3fe30acbd6c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp LetDef2 False Passed
b653978f31619651e18b46f315bb25ab190066c2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Def1Recursive True Passed
4bd90e0d1c85dfcfe6fba9278b2c6eeb6674c8d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Def1Recursive False Passed
fb03cd3ef23b2d68e50817e3475df5220628fff4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp LetDef1Recursive True Passed
49cca12e0d7eb6ef478df2407adc12f42b45de8b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp LetDef1Recursive False Passed
cc92220b1e1a45c70fb9d8a56f36d000a12d7d89 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Extends True Passed
dbf5b48d486acdb577121134d1eed0cafa1360c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Extends False Passed
9e8fe048699500e609ef6cf9a00739090fe08a24 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp ExtendsInDifferentFolder True Passed
e596d8f74aff1b085af96219fdf6f4a8586c631a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp ExtendsInDifferentFolder False Passed
8d2d9cc0f120691bce61d997de760488461bfd1e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Variable True Passed
ad0a7d43280a420e6217292710ee985b9cc5da3f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Variable False Passed
b4debf5cdfca4692e1334e8dcf9eb7bd37f7fc77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Constant True Passed
70f8ebb9ad3a9083e560a687315a48e8353fb41c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Constant False Passed
f8528ff2b5a1e471cca6668ba196a0c2c9191306 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp ConstantModelValue True Passed
82000522c897629926cc54b7d5c3196f19a8750e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp ConstantModelValue False Passed
5205f15ea8f7a5b46b0198b402d9cfffee780795 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp ConstantRank1 True Passed
ed56924020644880e100f0655a598875205228d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp ConstantRank1 False Passed
db0ddb7fa9156691e6b8ed802b970572be67c13d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Instance True Passed
6723e28126d4c00c78a3a39574fe73a408e06df2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Instance False Passed
992b99f0e703996fc04ac1a18d2e8779a03d55bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp InstanceWith True Passed
67f9f085a2dc7e203ca31373bc196ae9ae18a186 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp InstanceWith False Passed
2f664c7b2f4348569b4ae7993be9b4fe9bf93d93 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp InstanceNamed True Passed
ea4903eda8ee7abaf896bf8ce2ad782e8aee3b2f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp InstanceNamed False Passed
51057e23e4e2868571a62b25031e23ca3c5dea02 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp InstanceNamedWith True Passed
94fcc4789b1e40ee0ab856236cbd185784508a28 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp InstanceNamedWith False Passed
0020c88aa4de62fafec2eb32df38c2bf7117dac8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp InstanceInFolder True Passed
6f567c2caf1708ab513b87e78831af587036211a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp InstanceInFolder False Passed
6db10a1d029233af66cf50a3834961a674ed8df7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp InstanceWithInFolder True Passed
3a6b062d21ee113f00524fa9ea97d641476de3d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp InstanceWithInFolder False Passed
9a8311574a663faa6a224aa6ec2198be2a72cb09 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp InstanceNamedInFolder True Passed
4de75691e2dfa8d3129fa84e0bbe93518ce12782 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp InstanceNamedInFolder False Passed
8685b67032d0cec536c360894d5a9cb282f8be40 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp InstanceNamedWithInFolder True Passed
8f771f8d2e13d473d5845c165e18bb86da3b9a68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp InstanceNamedWithInFolder False Passed
a2a3ff3899bce581252e1cf4cfe99932589066df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Enabled True Passed
ba1cac7fe79b3134d0af34551011a645d8c75ab2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Enabled False Passed
9ca4847a4a5372ec832a2d2529ec807c0c087b75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Cross2 True Passed
8901f96b1d2035f762864affb285e8df30deace5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Cross2 False Passed
990535dce5926e298449d673eefdc3ca6c8b896e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Cross3 True Passed
a796bc982e7b5a1875aa96a08e445e69d22b7867 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Cross3 False Passed
58c00a3ed766ba3c484366e1f30d9969d7c48ad8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp FunSet True Passed
192c0d5607981abaa84fa0b354f0b6d29ee932c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp FunSet False Passed
540ccbdee8257c51303dba7fdb203828a424625b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp RecordSet True Passed
f09150e8a54288c5f4674c22e429b0ba79c56b03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp RecordSet False Passed
128a67627f75b9db5f12610c8feabfa51f1227f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SetDiff True Passed
f9b161f6fd9aa99aa051c3cadc664f23e75a70d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SetDiff False Passed
32d430053dc85d9ea06f3eb977eebe113f70d85a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SetUnion True Passed
0a7ccd8e4b9b7368f40a9b95240afad8cb494659 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SetUnion False Passed
af26e5c7cd390a3429681d65e01c9ed1b11b055a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SetIntersect True Passed
76bee601ff3473f280f2bed87d6dd38f0ec231a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SetIntersect False Passed
008b01b835b5036eb2a0e800573f84ed92629248 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SubsetEq True Passed
ac83e24987441fb0924d886561a2ae35cd7a9eab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SubsetEq False Passed
347aad865f7a4bf63b5a7fb2efeaad4d9c91fb86 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp IfCond True Passed
71bccc234b6d754e2abe608338f31a17f309f321 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp IfCond False Passed
000217329e7091d781483e15778427d4cee67807 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp IfThen True Passed
1fc7c507d7285884617a56659beff328d7d360d8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp IfThen False Passed
330dd5acdd7a8bd613a0501563a479cea4a8b2cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp IfElse True Passed
774e74037b73cf6aa2e78edf600e5d766a6ab900 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp IfElse False Passed
51d8c9f57435c9c46412e9cbd21f0cb2e04b1e37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Subset True Passed
cb5739d444df714034ac3e7b2a51eb6424be16b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Subset False Passed
057f612663f7fae08f89739b113e624119159595 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Domain True Passed
b10a93d1961cd4b49711e065e58c098c082e59ce TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Domain False Passed
fbd004e3caa6bc7e38e01024af655534d783f4d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Union True Passed
7ecc913d6fead74382f453ccdd50ba792a291426 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Union False Passed
a7fe55297588f07ca3ce58b53c149cc25e7278eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Unchanged True Passed
c603676bf07621113e825bf4e167a7fae8b105a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Unchanged False Passed
b1f5b1c38c4a839ee5bcd7ab44976b71ac2c5fdc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Equivalence True Passed
b223a5b6d5669fae6ac924f9d7e58129d4d9b3d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Equivalence False Passed
71dffb6b0e80a79969e13a9f3d9eef93fafc05ed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp StringEmpty True Passed
423f7a4c728ea7a47a16d571d6b81a49322f8862 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp StringEmpty False Passed
0f816a88a97fdecf1716bc4fe1c21e44375a660c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp String True Passed
6edc7e380bd19b9a96d666ecaf1e7fe3bc7f6853 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp String False Passed
f7a35bc82321a0823693a83a95eb39048bf770f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SeqLen True Passed
3f7efeb5da26c6393fe77902c170908fbe32326c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SeqLen False Passed
b9a4e386b6f7ef899d1e66888dbe13445e50ffc2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SeqConcat True Passed
936513bb7135355f0717c5d69457180184db7569 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SeqConcat False Passed
1f2a6bd442faf1a6e1601612cb2aeaf3bc1d462a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SeqSelectSeq True Passed
9b43713152043e9d704582715aa8a75cabbce0e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SeqSelectSeq False Passed
c533b93490f5e3396a7352f7804dc61f4b535b37 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SeqSubSeq True Passed
060d67d824ed38fe1a5923e9f876b01724bda976 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SeqSubSeq False Passed
28091039e00e557a388558a2ec90c052083f1c15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumRange True Passed
6aaa0b0de5dc57513d58356f7159514dad636ea1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp NumRange False Passed
f5a640afcc0fe7e743a0dcb2a54f9ee8284647ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp TlcSingletonFun True Passed
19056a75153e8b75913421ccefabf4212291bbe6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp TlcSingletonFun False Passed
029d8d588c4d1e5a12b61a5c3da9d6bb64381932 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp TlcExtendFun True Passed
e8854829d48ae05e66e87dfe7107cd3007f20520 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp TlcExtendFun False Passed
fe11e3f88ad01fb75109b53fcd4381c02626145e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp TlcPermuteFun True Passed
518a408d27b8b01123901fddb01eeca0ff7f996c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp TlcPermuteFun False Passed
71a5c49702c04a085123d777dd96be18ad7c09f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp TlcSortSeq True Passed
ea73b5f91347d48733d2fa90a3e5c7dcee7d7210 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp TlcSortSeq False Passed
b19d58a4f0a962e0f45527c2355df2216b751651 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp TlcEval True Passed
03794947d7ad9b01b194dcc4d392f21f83a2bbac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp TlcEval False Passed
e72e4e2c673d9f39600e9d77c1521588a85bade4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagBagToSet True Passed
610ff54c1fb854f8f3d47d0f9375b0809d6495f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagBagToSet False Passed
287992f3e97221fb1e3e4dcc15d82e89efc46fbc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagSetToBag True Passed
efd4b502e47705b54d4513c6638feb8173576662 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagSetToBag False Passed
ebadfa9ff1f5711a264478f3cca0958a83963fd9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagBagIn True Passed
4854292535f8f7db6f6ca21e891998ad2ee2e5f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagBagIn False Passed
7436b2f2b94032055f2e135cc7f429ba79726b0e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagEmptyBag True Passed
f295d5231e1b1b95859505feff019c2c23856162 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagEmptyBag False Passed
9a19536040dbbd1771ae26190a6c3048708d9606 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagAddBag True Passed
2cf3c0559fb1f7a58727ba11bb698da2fe8e5274 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagAddBag False Passed
a059d0ccc2b89a9cadc7eea8ef0f2ad241d21250 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagBagSub True Passed
b6775c16c7278d16f5d51c4ae333c0e700c101e9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagBagSub False Passed
cfd31095d5e12e840ebc785c9ede5841d7ac28bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagCopiesIn True Passed
3b45e4cadfd5a494a5bc4fa4bf81b782740f6952 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagCopiesIn False Passed
a7641eccee3023a8423836e9ae4bedd8b0c6777e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagSubsetEqBag True Passed
a082f2e02da2aaac40eb9f7e06aaea74109bbcac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagSubsetEqBag False Passed
230caa1183ac5c7e49e36690232591b7ca24d3d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagBagUnion True Passed
82a2c2c46305cb255c1a5123e247b7d18066ad1e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagBagUnion False Passed
953e02e4c0946d9141a2a6bd3f163a9fa247b029 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagBagCardinality True Passed
9983ecf65abf9027b3901c4635db7086bcab636a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagBagCardinality False Passed
c1be5172abd2c92f84e5d13f60aa49cecdccb356 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagBagOfAll True Passed
cc86ad94f647ff57916edc2a1d12597ca18246e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagBagOfAll False Passed
baadc806c3061a175e1e2f5033c4ee540d7e5eed TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagSubBag True Passed
1a3a27774659c424ef78ec30aab58c6f765fff55 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp BagSubBag False Passed
2886d21d1ca1a995fbe31b3f79fb171196bea95f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp FiniteSetsIsFiniteSet True Passed
048a019fd7b6cffdfe00d50e2ce5ad343796b13f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp FiniteSetsIsFiniteSet False Passed
b1a880ba5b32b4e59b7149b6000bc76245e429c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp FiniteSetsCardinality True Passed
cddbaa4f4393e0394f841defd6edb5de0f52f1f3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp FiniteSetsCardinality False Passed
4cdeecd6ffddacf94fc2c2ea726211522fbe19d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SeqHead True Passed
3085fc9b9e662f6bbb4d652fdf4e7b21bb4e4844 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SeqHead False Passed
c43d3c70ad393ac5db9ffb30c3cecf40cc178b60 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SeqTail True Passed
cbae0f6f2cb8330fc9da4da3db0a6c88d9a08d5d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SeqTail False Passed
342b219aa814f9a0e76856258e3330f6c468d482 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SeqAppend True Passed
1aeb1b99f1a7fc2ffb453fd9864cbd401bb96084 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp SeqAppend False Passed