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

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
60487fc8a244c5b94c373b263f76a41e1b2bbffc	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	And	Forall	True	Passed	Model Under Test Equivalent Model
ddc0ca0a8fbe98c263ec923d7a76d471233b2a6c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	And	Forall	False	Passed	Model Under Test Equivalent Model
8440c8631f3e04e40c84b1402678be6f3cc9332d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndMultiLine	Forall	True	Passed	Model Under Test Equivalent Model
b20794c2534b587c17dbfa6a805a2661af1ef9c6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndMultiLine	Forall	False	Passed	Model Under Test Equivalent Model
3fdcf48ce535f5b5166d31f52c72df24dc11e697	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Imply	Forall	True	Passed	Model Under Test Equivalent Model
d6ad1d56ec18489709543b466ee34fa80bdc5671	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Imply	Forall	False	Passed	Model Under Test Equivalent Model
310991777ff191103dadec3478e5894014400686	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Not	Forall	True	Passed	Model Under Test Equivalent Model
8b1ce209f3333a15e255e53f87b5da36ef552269	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Not	Forall	False	Passed	Model Under Test Equivalent Model
3330f014d52fbdad43f0322e0b275dae0457e2d5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Or	Forall	True	Passed	Model Under Test Equivalent Model
c684ae5bcf55566ca97f1022cafbb9de519a0a9d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Or	Forall	False	Passed	Model Under Test Equivalent Model
00a8fdfc23013dd444943e2226fef2c406949fe7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	OrMultiLine	Forall	True	Passed	Model Under Test Equivalent Model
5ff81c2d0494d004aa0fcfa9562177879b720058	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	OrMultiLine	Forall	False	Passed	Model Under Test Equivalent Model
6b343644c184a6277f61f7a9558188f0da006ff0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndProp	Forall	True	Passed	Model Under Test Equivalent Model
bf01f56c3b4a1845907276f4bb7b2043365c4be5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AndProp	Forall	False	Passed	Model Under Test Equivalent Model
0b01165c3bfad383577b3c3b8d61b3b4fd29501d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Forall	True	Passed	Model Under Test Equivalent Model
9225453a3f94b14b59c85159559dece8658d42e2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Boxed	Forall	False	Passed	Model Under Test Equivalent Model
7d945f9f7e167d79b631d9eaa6b4bbc5fcbc022a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Forall	True	Passed	Model Under Test Equivalent Model
6a2447c5bac498ea2cc48028cb3a4f4edd85abdd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Eq	Forall	False	Passed	Model Under Test Equivalent Model
ea3d8cc38dd7e0f2a5fb1c75ce9a7d68a62aaca7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Ne	Forall	True	Passed	Model Under Test Equivalent Model
f365cfcc8653ab4f22e9d8e1e4f69b7fb7bec5d6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Ne	Forall	False	Passed	Model Under Test Equivalent Model
8dbd5638eede448c15c25ec46bb115b5e6897144	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Let	Forall	True	Passed	Model Under Test Equivalent Model
8958970728be3a08d1d5f1e9a7e8309b50bd16eb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Let	Forall	False	Passed	Model Under Test Equivalent Model
1ca5985112ba1402aca977180fa271e52d4aa24e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Forall	True	Passed	Model Under Test Equivalent Model
aa88c3e20e8efc019029ccfc30bcfd31a492f9df	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set0	Forall	False	Passed	Model Under Test Equivalent Model
f2b475cf068dd7f422fb649f0f18948c8bba4f49	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set1	Forall	True	Passed	Model Under Test Equivalent Model
bd436e02e292fa23753aa1e3515a92dd7713daef	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set1	Forall	False	Passed	Model Under Test Equivalent Model
36e8f42e1233e7dda109c90427816269e58b753e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set2	Forall	True	Passed	Model Under Test Equivalent Model
749ffa9812b34b940ea6b7f06dd5cae0eec3aa7b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Set2	Forall	False	Passed	Model Under Test Equivalent Model
b911b56a0449a8329666df12fa7afb7269596f78	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Fun	Forall	True	Passed	Model Under Test Equivalent Model
fc816d5631dceb3c3e997b7eca3948cd19092787	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Fun	Forall	False	Passed	Model Under Test Equivalent Model
abae1ee69d69b35ead67fbf03f96c70ba153d98b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	In	Forall	True	Passed	Model Under Test Equivalent Model
1966cccdc4963fd63e234c5f67047a873a62d538	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	In	Forall	False	Passed	Model Under Test Equivalent Model
b78341a2efeea7ce8bf7c7a9c7dc58e3dd9e422d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Forall	True	Passed	Model Under Test Equivalent Model
0890d902c251679f182d363832bd82fd172a4ea5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	NotIn	Forall	False	Passed	Model Under Test Equivalent Model
98f314948fbe6408ac4fd600bb50dcc8b86e1d2a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Forall	True	Passed	Model Under Test Equivalent Model
be54062ed4bd0d68384fb9a97b2e87593563541e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Exists	Forall	False	Passed	Model Under Test Equivalent Model
f52f53e020c2079e66d05be0801617096dd4ccc8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Forall	True	Passed	Model Under Test Equivalent Model
c5d74e535a6f0ca1c7f8ffe2589d375f0510a403	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Forall	Forall	False	Passed	Model Under Test Equivalent Model
bc0171ab68fbb9b424067d25627ea6aeeb36e799	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Choose	Forall	True	Passed	Model Under Test Equivalent Model
2c683d4b1fa0caf969f3fa0e0905927256882b59	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Choose	Forall	False	Passed	Model Under Test Equivalent Model
3685bd9b4d07ae285e7b46f537e326ab2072ae28	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Forall	True	Passed	Model Under Test Equivalent Model
0c44cbf0bb90c41b29a5f515b31207f06de70557	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Record	Forall	False	Passed	Model Under Test Equivalent Model
bbe106e06fd9bd3c2c048d076767354f6b585dde	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Forall	True	Passed	Model Under Test Equivalent Model
eb5c0c00d4270aa4ce52b6f9b333db80b49f120b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Tuple	Forall	False	Passed	Model Under Test Equivalent Model
56577eb7d7ad279a54723976013d6eda572408f8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunApp	Forall	True	Passed	Model Under Test Equivalent Model
16d067422bd75ba7c99c9aa73356c0dbbb1663fd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	FunApp	Forall	False	Passed	Model Under Test Equivalent Model
b0888ca1ebe47b8e8f23ee673ea374182f80d5b1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Fun	Forall	True	Passed	Model Under Test Equivalent Model
6c2d750ce0448187b830dd6f6fe438b506bfe605	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Fun	Forall	False	Passed	Model Under Test Equivalent Model
69dc0ff92fba5aa6f9d2e7edb5cae91d121e9604	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1FunWithAt	Forall	True	Passed	Model Under Test Equivalent Model
34845eab5d1d020af64443a02323cb70ebb33385	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1FunWithAt	Forall	False	Passed	Model Under Test Equivalent Model
b3c838de096501c1f8aee1c6a2e6a808853a33e2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Rec	Forall	True	Passed	Model Under Test Equivalent Model
245840fbf6140fcc585d7b6e3bdefedc38fc019a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1Rec	Forall	False	Passed	Model Under Test Equivalent Model
04f4e60180ab8e678d0498de89ebbc36c17081dd	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1RecWithAt	Forall	True	Passed	Model Under Test Equivalent Model
ed02d35dd402cd0e9ba29ae7ad9a4ec7b92cda9b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except1RecWithAt	Forall	False	Passed	Model Under Test Equivalent Model
f8948ebf394e9cf0616f1d93b2a3425621aef876	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except2Fun	Forall	True	Passed	Model Under Test Equivalent Model
2e0341dd87198c6d2f0db107c19d9bcdc9c58b61	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Except2Fun	Forall	False	Passed	Model Under Test Equivalent Model
87595fc86b26df410fff97e30684e20ffe656e50	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Forall	True	Passed	Model Under Test Equivalent Model
14c9d33b5012aa55fc5ae3bb2aaf75232af7c26c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Prime	Forall	False	Passed	Model Under Test Equivalent Model
c74958fc4f2caee15fc08e8aa70adf28aea15af8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFun	Forall	True	Passed	Model Under Test Equivalent Model
abb8e7b6b3ed1eb75ffa249422cb95ec6821e08c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFun	Forall	False	Passed	Model Under Test Equivalent Model
75eb6280ddb00dba281a59bc432333039ec1947f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFun	Forall	True	Passed	Model Under Test Equivalent Model
0e7f396af1ca94d4c0049faaf9b8ccd78fd68472	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFun	Forall	False	Passed	Model Under Test Equivalent Model
6b4a10ce084c924ca7433df246669ffe7c0942be	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFunRecursive	Forall	True	Passed	Model Under Test Equivalent Model
632aca45e4c5bc5026c4782e1a756cba49e05e38	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	DefFunRecursive	Forall	False	Passed	Model Under Test Equivalent Model
d3b60c6bd7ef7b8c9e100f65a27646db09c95a8a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFunRecursive	Forall	True	Passed	Model Under Test Equivalent Model
aabadc2caa920643d0fe28ba72938e19dbbff942	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDefFunRecursive	Forall	False	Passed	Model Under Test Equivalent Model
040eefe967bdde6d61bad2e54891e61e954fffe7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Forall	True	Passed	Model Under Test Equivalent Model
d484508f1a454dfc70a0f72f2e1a7bd6e90d2ae2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def0	Forall	False	Passed	Model Under Test Equivalent Model
b590c892355094a85d9465285d6945f4b176938e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef0	Forall	True	Passed	Model Under Test Equivalent Model
69083ce0f38573fba0e1be03bf936f376be3371e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef0	Forall	False	Passed	Model Under Test Equivalent Model
5c0ead39e1f953c4061d730096df5d573f45f54c	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1	Forall	True	Passed	Model Under Test Equivalent Model
bf777a3ebcb247062772ac87d784b63409201978	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1	Forall	False	Passed	Model Under Test Equivalent Model
f284ca7096f45702259d6e9671799eab42e2cb79	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1	Forall	True	Passed	Model Under Test Equivalent Model
1fe287cffdca597b4044ec10420757da34412525	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1	Forall	False	Passed	Model Under Test Equivalent Model
aad6825a7094b5015655c6315feb69191d40c593	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Forall	True	Passed	Model Under Test Equivalent Model
fa3c1c0216a3dcaa84d27ca3b4e2143cf9f2ee3d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def2	Forall	False	Passed	Model Under Test Equivalent Model
7f3d8dc8d80898d67f8a82b539587814414107c9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef2	Forall	True	Passed	Model Under Test Equivalent Model
0e47cf0ba7b6abb1db21208ff365ccca6e86579b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef2	Forall	False	Passed	Model Under Test Equivalent Model
186eceee2e019b39b011bd80137fbbc3353576db	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1Recursive	Forall	True	Passed	Model Under Test Equivalent Model
6ee9628536a156e7b3e08e816b381d2e611725c1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Def1Recursive	Forall	False	Passed	Model Under Test Equivalent Model
d66e1cd67a4c7c5c4ce1add9aeb48b6c6be032d7	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1Recursive	Forall	True	Passed	Model Under Test Equivalent Model
dda9eed4cd077ce6508ff9ea9684a26082bb265a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	LetDef1Recursive	Forall	False	Passed	Model Under Test Equivalent Model
4c7d923bcc2ef7a26fdb30085fc76b0a996163b1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Forall	True	Passed	Model Under Test Equivalent Model
a8b0e5ad4a2b31d5452d226789cc7e5b1c5587d9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Extends	Forall	False	Passed	Model Under Test Equivalent Model
e4ef22f4141f8a0355972b9f0a92475260a96c75	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ExtendsInDifferentFolder	Forall	True	Passed	Model Under Test Equivalent Model
96a6f0678071eee2698c3ae840c9be0d5f0b2d2b	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ExtendsInDifferentFolder	Forall	False	Passed	Model Under Test Equivalent Model
1b2be56a5359a9768d13a890ed96f96c614034d6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Variable	Forall	True	Passed	Model Under Test Equivalent Model
fa5928cedc4bca6d13c89dc30fe62f8dec3f77c2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Variable	Forall	False	Passed	Model Under Test Equivalent Model
bcda5759e7698b4d16b319166c7a2336c7659b3d	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	VariableViewExclude	Forall	True	Passed	Model Under Test Equivalent Model
eaab769471d8c2e0b5e059f3e7723c2b02f1ddce	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	VariableViewExclude	Forall	False	Passed	Model Under Test Equivalent Model
9315ab7e37e85c61eb7d09916a155a14e6e0a262	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Forall	True	Passed	Model Under Test Equivalent Model
f15b56e0e10e705072339a5974aa797fd55e64bb	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Constant	Forall	False	Passed	Model Under Test Equivalent Model
644bca231988eae941940c1a3d4baa0f63709ed5	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ConstantRank1	Forall	True	Passed	Model Under Test Equivalent Model
73b9a6431e6ea779d5b18e20b42681c273a37976	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	ConstantRank1	Forall	False	Passed	Model Under Test Equivalent Model
b8a9b0f5bcb10926f5f7f70b20deb4393888bf27	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Forall	True	Passed	Model Under Test Equivalent Model
8ea620b697b3782aa011c1c5d724a406806cc458	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Instance	Forall	False	Passed	Model Under Test Equivalent Model
9161f14ebeb71e43010e56067a40b5e6daec4ef0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWith	Forall	True	Passed	Model Under Test Equivalent Model
c46e2290a8dcf4195a6d58c40a8e3567e9350c98	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWith	Forall	False	Passed	Model Under Test Equivalent Model
263e295774cd0e463cc45146d0d8aca627cba884	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamed	Forall	True	Passed	Model Under Test Equivalent Model
9539dbf863be9c52a684883100d7b0e091ff8898	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamed	Forall	False	Passed	Model Under Test Equivalent Model
87bf67609d40131cc44f55bb7d984d6316054801	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWith	Forall	True	Passed	Model Under Test Equivalent Model
5d48ee15e8320005f52c5228e630cbc81635015e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWith	Forall	False	Passed	Model Under Test Equivalent Model
d6c6c17dcad90b1320e9558a4cb181cbbc8a077a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceInFolder	Forall	True	Passed	Model Under Test Equivalent Model
2ff55bccd89dde1a7daf20097dc62bc8833efd3f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceInFolder	Forall	False	Passed	Model Under Test Equivalent Model
526f8ed170ae0f08295d1501cc686f440b0109a6	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWithInFolder	Forall	True	Passed	Model Under Test Equivalent Model
8c6a77161fbb3e59dda66ea9a573842422920828	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceWithInFolder	Forall	False	Passed	Model Under Test Equivalent Model
2ff66e5f1e328d57e49d2da03aa2013e418d617a	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedInFolder	Forall	True	Passed	Model Under Test Equivalent Model
c966b335174d021505b7c59927763b62bcd93e45	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedInFolder	Forall	False	Passed	Model Under Test Equivalent Model
7ac903683f5ec4642995e8c15bb87c72492888a4	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWithInFolder	Forall	True	Passed	Model Under Test Equivalent Model
e7367a109e0d9e8bd12da49eec20ae4174b79202	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	InstanceNamedWithInFolder	Forall	False	Passed	Model Under Test Equivalent Model
d86bf5047d743863f483ecbbcb3d016074b7c895	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Forall	True	Passed	Model Under Test Equivalent Model
d335dbae843b4280c635e54a46cd0d9c6ba6a3a3	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Enabled	Forall	False	Passed	Model Under Test Equivalent Model
5e939e2f966fea46e94ac3ad7a5c598b394285f1	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Assume	Forall	True	Passed	Model Under Test Equivalent Model
c6ec5d39708d9b0a59948ab05443d490beefe1c9	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Assume	Forall	False	Passed	Model Under Test Equivalent Model
71cad021eb5e53eeae1fac7f06ed8eb6034995e8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AssumeNamed	Forall	True	Passed	Model Under Test Equivalent Model
7cbfb67729518d1da181e72cfb1b353209eb4a63	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	AssumeNamed	Forall	False	Passed	Model Under Test Equivalent Model
d66e02b6a8851a3c916cf28416e4c714eda64217	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Forall	True	Passed	Model Under Test Equivalent Model
e447a5dc9e499e16dbeac5faa2c898708c45f8d0	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Lambda	Forall	False	Passed	Model Under Test Equivalent Model
e611ce1b4849bb2eb1048986354787b707427775	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfCond	Forall	True	Passed	Model Under Test Equivalent Model
e96f654bd358ece2ddc896fa212a148aaad45657	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfCond	Forall	False	Passed	Model Under Test Equivalent Model
3f83d57350e3e59c45fb0d155db9d40496365a12	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfThen	Forall	True	Passed	Model Under Test Equivalent Model
4fdb6a76691dcb9cff18a5ea2e9c3ec3ca7d9662	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfThen	Forall	False	Passed	Model Under Test Equivalent Model
b45fc97d1cb88e2df23c8c574012ca562274ee57	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfElse	Forall	True	Passed	Model Under Test Equivalent Model
7d15d9ca9791ac3c0b93720d6f1b94b89cf56aea	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	IfElse	Forall	False	Passed	Model Under Test Equivalent Model
76c91395e5fa71350357468b437d097d3f2edf33	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Unchanged	Forall	True	Passed	Model Under Test Equivalent Model
a885f9de3d7e6dbe4587b1eba0753ede9cc54754	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Unchanged	Forall	False	Passed	Model Under Test Equivalent Model
66fb281b1d11b1418180f98d51b615dd5de4a630	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Equivalence	Forall	True	Passed	Model Under Test Equivalent Model
d5e863f5a0669558b192fd6c00a202f14e7667ff	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	Equivalence	Forall	False	Passed	Model Under Test Equivalent Model
c4dfa118578dcec51cc5460592e43c32f5b8a544	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcSingletonFun	Forall	True	Passed	Model Under Test Equivalent Model
5055b532a93734fd9007aa759aa540c5b278c381	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcSingletonFun	Forall	False	Passed	Model Under Test Equivalent Model
313eef7c6bc4e1de4e635b9f83a1afa7c83a8026	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcEval	Forall	True	Passed	Model Under Test Equivalent Model
433bf6e2b11b57a628221812ab1cb781e34b8ff2	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	TlcEval	Forall	False	Passed	Model Under Test Equivalent Model
3a06c44dd8876623f175e2246f7f74a4c45bb7f8	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagIn	Forall	True	Passed	Model Under Test Equivalent Model
385521362eddd44f83ecebb74b69a8a179dd2c09	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagBagIn	Forall	False	Passed	Model Under Test Equivalent Model
64bc27e891488bf6d3978112506ccdeefa95298e	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagCopiesIn	Forall	True	Passed	Model Under Test Equivalent Model
a761c08f23e38f73df0b7f2e542aa8d17c9ea66f	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	BagCopiesIn	Forall	False	Passed	Model Under Test Equivalent Model
4be6c045f8f918759d12502804e2958e5878a284	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqAppend	Forall	True	Passed	Model Under Test Equivalent Model
7ed8db3485b7894fd456f848d3f0861042b94717	TLC with reduction strategy: Configuration: Replace `-workers auto` option with the `-workers 1`	SeqAppend	Forall	False	Passed	Model Under Test Equivalent Model

Index

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