Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
331939fda8ac0ef8c8cfe98638de9de1238c0255 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And NumGe True Passed
52da6012cd0675545ee8b1bbe9d1b26ac57c8174 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And NumGe False Passed
cfeb891d349875929eff14ff105dd90e2eca2126 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine NumGe True Passed
1fa8e801f1d5ba97a17c72be67157cdbc86781e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine NumGe False Passed
54b7424925bc911bc1da4b2a94e9668681963e8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply NumGe True Passed
d0c72dad2323751134fd0986d70655711749ae0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply NumGe False Passed
070d294dc58a0c5554e24eeb0e9b5d1bc6f07c58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not NumGe True Passed
a4814b15b5b1d3221377c130b40694594e4f3c26 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not NumGe False Passed
be9e28bd9d16cb32333b35438cff94a3c9fd43b0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or NumGe True Passed
79d74f972a6bc886f3face67daede163f7f5ba00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or NumGe False Passed
d9e9df15c0cd50194fb795264472fbe1e4b6d940 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine NumGe True Passed
dc4df035fbdaaf254eb5abab7f181975f625405b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine NumGe False Passed
42a20357351dcec720db6f35b776ad8f46b3d281 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp NumGe True Passed
5ae747d8e16bb0f9d576db3e435c0f3afaa7496e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp NumGe False Passed
0cdee22c17d29ba2ffa5aa50f9e12c90af4ea45c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed NumGe True Passed
7c771ffaa41ba9661e9bcc6380a591393bef5758 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed NumGe False Passed
083c6239804fc012f9d1cc2c1f242a00c7cb8384 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumGe True Passed
ffaff2e1d62a483256e109062b7c99d8a83a4aaf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NumGe False Passed
c963ac4ca021b40be4e0fbbcc5e55c5efc5d9285 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumGe True Passed
a720a03931747a3a975af56e4eca0dd09c11feca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NumGe False Passed
a5f7585f7a234e855a35dc83acbbdb495660cc55 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumGe True Passed
c0aa97279f2a36e535244f5b513917eebb6dea79 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NumGe False Passed
9309744aa27bccd18555dff168c60c44844db5a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 NumGe True Passed
6fe1dd88d4d11df0badd59286d163eff0f6ce9a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 NumGe False Passed
3ff1a32263287dcc595b1ee65c0b823e46b5ffe1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumGe True Passed
a3d53028c53d9162ef490228a6571ab5930d47eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NumGe False Passed
b0199c1b5a4f06811f651862f0d15ae7c1443042 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumGe True Passed
2925b989efe0c96e89b4236a7c4cb74900eaec1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NumGe False Passed
35feb9f532e1f057237df70471ad45b9f1580924 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumGe True Passed
25acfa2fe6e7ba58715f0b46cdbc7be7ed75fdda TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NumGe False Passed
9efd0efd362df4fe514d1fb163687130398a09fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumGe True Passed
b358f7d68cbbe3650526a80bf7268e51e19df2d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NumGe False Passed
008a353209e70b29d8b896663ada3e9c274338b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumGe True Passed
10caff4c7ed80c9add63796d21c9c4a722b63a88 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NumGe False Passed
4a9a0a4d3ae71678003468746037348ce2789fce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists NumGe True Passed
bf54acfed4d7cc4aeaac641af00c74e8071bf5d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists NumGe False Passed
d18381f842b5138576fda78cbd55075661db9a63 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall NumGe True Passed
2bb6401e9407313eea52ff4644a4dae765813068 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall NumGe False Passed
0961ca4814642d6f80fa098aab8445989a77e4e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose NumGe True Passed
4e7043a3eb1778ce12ffa7c5bab22f4b7492b236 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose NumGe False Passed
0fb391939397ecf78949512966dd2420576c95cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumGe True Passed
dd7039a097800772b5370496234f528679f39204 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NumGe False Passed
f98c19c1cda9cb3d354a5901e852aa01d7aaf68d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple NumGe True Passed
218420caed4d7971f25ec9047468c4be97996994 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple NumGe False Passed
9010f31e551cbeff4a4bfb1a97af6ad61242cd72 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumGe True Passed
98bc25afee026eb43c405b7b13f9eb69a045f334 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NumGe False Passed
e9558e8c94bab939583e300c6ae760e507acc9b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumGe True Passed
b0468929549255c5a0ce25c3841a6d680ceff167 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NumGe False Passed
52bab60a2752f0532043966ef459de49a979d53f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt NumGe True Passed
5c433e8811c36827dc625081e49cab4b991765fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt NumGe False Passed
a49764eb86d8238b5df63e891bce6a0d9b1108e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumGe True Passed
6f72d7f7a4391d4e4cf09ad2cc3992c63cd9b85c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NumGe False Passed
095bb3a9721fd82d42010ae8f3d3a235692075f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt NumGe True Passed
77166b0e8c401829529bc6c71bea12277978b2d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt NumGe False Passed
0a1a52fd85979a93c4fc37e50681b58704b40af5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun NumGe True Passed
30b7d11082f2f4e1fbe0876dd7ae00461a9b7e30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun NumGe False Passed
cc2bf456576fb4feae00f3a7bfcbbc07f7742fd9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumGe True Passed
e930b22629b31141cc0086e77495d11666b2dd34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NumGe False Passed
32d5483feb0dee9a7162faf406b033a6b3688530 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumGe True Passed
5eb656da6258b9a12a4f6de7413f085708711952 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumGe False Passed
d213cbe9135b8de7fe957beaef72dee882137443 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumGe True Passed
633b7d042339b9e46eb97ed61a11f2299e9f3cbe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NumGe False Passed
593dddeeb4d9cbe560e98126e265a633d5358503 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumGe True Passed
89c88da38bd3cee095cd01b979901b7361581b7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NumGe False Passed
1a940fad8fce992d1892e57188a6ed92d216bd80 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive NumGe True Passed
3fdb3c405eaa2d968713c458d973d735908e8a4f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive NumGe False Passed
a7e463e62aef1eb991046e3bc0a785e350e3fc3f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumGe True Passed
f9d9df8b32b62c13ba724b78004ce44bc3ef3465 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NumGe False Passed
38085bed138fa218021379248879609913ad1a75 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 NumGe True Passed
26ae31866163e2842b62987ea339a2dcd34c5413 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 NumGe False Passed
ae90ca2d7569eab0daef21e3b4b855eb085b17a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumGe True Passed
cbd3eaac95272f8b9256d67eaaeffcf9966f47e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NumGe False Passed
456c1f21f5b931dc2bf5fa81804332fa798a85f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 NumGe True Passed
2a5ebf90680c8315699f28059a5fd638014538c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 NumGe False Passed
952f6f08081e98be52e39151a8792ecdf385fe15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumGe True Passed
0691076ee27ef7b9ffbe18cb8d9c7a39a4cbf791 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NumGe False Passed
6f88a04018c6653813961f19e28678766169342c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 NumGe True Passed
ae9263123846c404a9aeab928f337429098ff48e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 NumGe False Passed
a73e48392e12afa27ccedb9a98ef41c9e1a34cf3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumGe True Passed
13ffa2b01c19bd1b7991eee4c87a98aeaa7133ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NumGe False Passed
0a046f4e5b2c7c7dc85faa192afbfd765c8dd3a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive NumGe True Passed
7fc318a8def8e8c6a6ad2a192ab43bf85e14f72d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive NumGe False Passed
f1c74b92b4f4dc7dcd30c06414563c8e4945a32f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends NumGe True Passed
9bebd2b4b8c4c7a1bf95d15fd57f0ec6e425e0d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends NumGe False Passed
05a0ac83e83a062e43810dc4c4d80d4964b73ff8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumGe True Passed
98ce1ddd13d2ef86170b7d7b2db36ebd6464b2aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NumGe False Passed
7158ba63e2835b6227e84b60c1ec05e3a11239d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumGe True Passed
9eccfc1250afed90c4b915004e198c4b26ccb11b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NumGe False Passed
e45510e47dde02e326074f36a3483ed6df670359 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumGe True Passed
8d9f4bd8273886a36f14a8e135c5f9189f97f23d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NumGe False Passed
7b8b38e851aba549b9fed57719d723a1a88e8508 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant NumGe True Passed
7a962c6e81a1f7fc3817ece4e2ddd0505e3c59b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant NumGe False Passed
46b60171e5895531c21eab7d7650d42619a47fa2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumGe True Passed
dcf9e0c99ec2fc65facbdd1b254470f92b901bd4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NumGe False Passed
ed1aa5a30a67c0e61e03349ee6da8553c97bdefb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumGe True Passed
9e3a32759617db9fa7ba399aa7f666ffe3b485b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NumGe False Passed
bd83d966fd76e1268f8b9ce593b9fdb7032f7976 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumGe True Passed
cdf2f2c0e48a8ce93d2f00c788ae77a99b275dfd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NumGe False Passed
754d478ab0f8e8367134380992118c3901f8e263 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumGe True Passed
b4aa0a3ededdc6f7179dd6056a3a2e7165ce38ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NumGe False Passed
84d5cd744606c35a873982d68580a02f0a98c61a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumGe True Passed
f66bc6585fd28242057cd1d88c6087a6d9f31b28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NumGe False Passed
e600146853028d06eb0077c078ec9e49d72b6961 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumGe True Passed
4e4273a87b6347801609a4d3c59b102de9a7d51f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NumGe False Passed
f74ecb9acdf0064839dfd1d12eeaec4b8ed48386 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumGe True Passed
0b43df0f364f5c10b136afe1cafd08994bebc617 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NumGe False Passed
eb93d6aa21d91dffed62de44a30576a7520ada15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumGe True Passed
498488f0403569aa8f370a7c1b28da599d4edbee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NumGe False Passed
23e1c068e9a2e8bf315d5814ead78a8103c2a698 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumGe True Passed
7a7181b0d89978e092518be9ce052ee778e13247 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NumGe False Passed
1454265a439b1e92e4f711e0d1f9c6b62ab4145a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled NumGe True Passed
a46f898e9a86ee30d32caae3ad3975473017d5b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled NumGe False Passed
cb55e62d2547dda9f455b2244e2e469261eb3bdc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume NumGe True Passed
61089a3e77b3514c3ed5ebe3e8a1c88ad6971fd8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume NumGe False Passed
66d412cbbef95b93c71ec26ff155eb25c7cebc31 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed NumGe True Passed
bee7a583f7317e7775d93059c6bf3f072e281412 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed NumGe False Passed
7848b37096c329072e9a5b16c3b53136f7235973 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumGe True Passed
9c80087fed4e471639e79415ca59507ebb83ce3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NumGe False Passed
ec017b4743b4a242fd60c366197e176bf555f1cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond NumGe True Passed
d53cbde7508b9703f26c20a533c16bf082b141ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond NumGe False Passed
a791715dff459783ae0b863cceec6d26ca2e90af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumGe True Passed
f2bde0eee22a991452a3fa39b7e1ef0056785d28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NumGe False Passed
a8cd836260a70c04fbc5f9a217ceb877287a481c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumGe True Passed
77a8ef11eeb9ecb9a9aefcc9fb7b986523728b37 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NumGe False Passed
acafd1ea0c2cbadf7ccd92df0955a8ada2be6626 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged NumGe True Passed
19573ba9a19b5eee8ad3dfdcd48f6b9c73f147a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged NumGe False Passed
d1fec3da8f533134955b56356936290024ee5c3b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence NumGe True Passed
0117fa962094e2241f51571088d57d3c45611c58 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence NumGe False Passed
64b04421d62d8445448ff180fd9a562771c34e5c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumGe True Passed
fd70b69ae194817a21cf4ec7dba267049d2cd4d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumGe False Passed
0f0e018697009c082e3a459d2e9ab00e06911db9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumGe True Passed
d26146325e65eec5dbc1ed7019d58b4ef7bf3e7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NumGe False Passed
8443961ee9fd99672fa0f2908dcde5ce2d496198 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumGe True Passed
be5a562e4031a0cca1797372dbbca3994cfc1374 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NumGe False Passed
569b3def007d1886fcf8142420a3d1b7e965bcfc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumGe True Passed
3efe69c245f0b6ca613e4e902bb459a59290c507 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NumGe False Passed
0a733f476a10d046c41b39ead7f9573d1c35c472 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumGe True Passed
14609fae08a0bd558a3a57fb435eff4c62e96579 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NumGe False Passed