Index

Tests by case feature DefFun; CLI Option: -workers 2

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
240a3e53599b3420cfbd8c2d1334996cbdd769fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun OneLineComment True Passed
8046b870a5b4aa944ca6c36e2a65fecd44e49715 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun OneLineComment False Passed
35e2e716e343c4888681591fa79620be8ecd57f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun MultiLineComment True Passed
0dfc673151b1cc3c0446963ed9c4714f4ccc21ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun MultiLineComment False Passed
ac951051d4051f974fafa366f98ece5ee79b41a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BoolTrue True Passed
a0b52540444db4e3ec692dc34e298e06385eb0c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BoolTrue False Passed
420e4dc542b6a8f3594d4cd3d10fbdf9e33ed208 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BoolFalse True Passed
aa8f738de03c07398e0ccc092c2c9b5ccac38c74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BoolFalse False Passed
7778f32239d4dba2e90ba18a08ac9a144b4082aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BoolSet True Passed
9f41c729103b99b10239245d5df4984527f82027 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BoolSet False Passed
5ab7b089509e6b571b5ebd7380540e0765872df4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun And True Passed
411524b72e2070c835ac402ced6ab088268222fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun And False Passed
96ef595a095cb0a54d08e00c00a0b2e938ba1c06 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun AndMultiLine True Passed
84734124d12164970c74e78eb4c3b534edec9fa6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun AndMultiLine False Passed
7ec1685d68cd9fa8b5707c138c7953a2f80ddc3f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Imply True Passed
ee6d89a41cafa9a547b0c351b2e5de495a7986bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Imply False Passed
30f8692a5da8bae063f50fecd5f5ec71051adb87 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Not True Passed
d33cff9a3e7d23f6c1ace9e8bbe567ffe7e1141c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Not False Passed
1f257c9b4801033c703032ca568390603c00e413 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Or True Passed
38adea80dba23d84c34a9c7152e9d84d203cdf3b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Or False Passed
8f2fa4a43353d57923cb83a726bd650ce1a7a23b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun OrMultiLine True Passed
3cad281798fcc4446019dee9704bdf4b6bd8f7d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun OrMultiLine False Passed
b4c0add9ff7f54bea8c94521df6c807decc72241 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Eq True Passed
e1d22e3108859184994a966117c208b4a4e8dc61 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Eq False Passed
f692e6a667a30bf259f7e5feb60e4dac106738e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Ne True Passed
8818697cc94d7203f9d54fea1a8c58bfcb175cc4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Ne False Passed
5ec23f2f1bafb1be81b03b93338ec21c77e87c01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Let True Passed
f10f2ed321bbd57aec10d1fe498280511b3ddcea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Let False Passed
b3806d8a9b8bef5afad3bc1aeaee614c54d7205c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun SetEmpty True Passed
6d351d36117ef6ee5e640436bd4b82edb1dbb532 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun SetEmpty False Passed
8a52a5d0d63e94173fc50d97b678ba2af234247a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Set0 True Passed
51b47959c997cdf8e8a15af43048d063db08b9c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Set0 False Passed
6d977ef33ceeff00ad4af5e0ab2db78a7eb637ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Set1 True Passed
7a57e9c27bf89a773a2545cd95ea599c7cca374b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Set1 False Passed
0ebd8e1d1d9420ff07cedeb87b9ee385d09c6a97 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Set2 True Passed
7a2aff17e6f96e5fb0d1833fffb7ea7309bf7eb5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Set2 False Passed
227154364baf1f6e194588816c4a404c8ed0e721 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Fun True Passed
19b9ad777cb911e6e37e4bfde9bc58f95a592c13 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Fun False Passed
0a274c5809d9945c09b9e32a042c692b10dc4266 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun In True Passed
88c8df378cef5850c40d3f8e7514eee744d85b01 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun In False Passed
1d2355b3dcfcbe04726ad77c70cfb5a8c8ff5aa8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NotIn True Passed
4b9e3f73a6bc5b81648fda6b3531ba5043d905c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NotIn False Passed
d670f5de7ae25b849ae03543d5740f468476f8f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Exists True Passed
829c43728d451fce8564d26dfc15c70de250c595 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Exists False Passed
225047d2b53f9bbfaa6eeb3fc7d2da38b0f59245 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Forall True Passed
9961650d1587d13d48db307386ce85a0a53caa8a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Forall False Passed
0fc48d0ae84c7860e802afad59c04daa6bffaedf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Choose True Passed
c2b4eb23d5d564ddd5f26cfa982ff748e9fcd440 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Choose False Passed
6bff16682b93ca2dd8e164ac4e5b959decb702bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Record True Passed
aa67d0bc00285807fbbd1331169cf0cc6603fdc6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Record False Passed
3a05c434248ca968150f5c76dd3598b25ea9f864 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Tuple True Passed
2bc54b9b5fe6be40430ee98cd75280a83fbcd288 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Tuple False Passed
2f8407c4cd332a4ff29246c020cba1b161fcd0ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun TupleEmpty True Passed
b78c447cf4505828ed12d4b24bb607d9412080b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun TupleEmpty False Passed
c8bbfea589d8cf8b768307a83fd786975ab5eb46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun FunApp True Passed
8fcc9e67254f23de5f6cf933d8da013ef5f7d859 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun FunApp False Passed
00b25b144d3cf4b5d7c01c01d23e467c06471488 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Prime True Passed
85b95df236914d66f696f33cfe45e9d22c4285f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Prime False Passed
bb637fb298d92820cbcdedd2c6b7b8325d2be4e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumZero True Passed
06448cd39677c69d24725c60da83393eeac27fbc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumZero False Passed
ba751dfcd7611c490492b0513338622abe950a3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumOne True Passed
d21bd04b53b00a853014f9390931f8500c3848a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumOne False Passed
3a73ce493f92a147853df58b23f940cbaef92ec1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumMaxInt True Passed
040dce4e1def7f9f375666fd0d94e5221b4d6001 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumMaxInt False Passed
04cf4c07c94a9653881d467fb9e8515bd7fee4ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumUnaryMinus True Passed
c75cd5e126dae6a9f6d4cb3ad83cf885dd699232 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumUnaryMinus False Passed
ef90cc071320430fb2e11f27537a1787b435376d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumPlus True Passed
57310fb417135d46f3c8c8e6c18b5e7b1e34b5c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumPlus False Passed
6619a9995ec030207ed7f96e55f2e44d1236e2a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumMinus True Passed
0faa4e4d169cb2c7925fea863bbe7440c06f719b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumMinus False Passed
ae24f9f2d637deaedbf128bd17988a3d5b0ce435 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumMul True Passed
3d18f22023df7d20a67d2ca0c2c55be950683557 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumMul False Passed
d704db5920566c85ab723a072714199dfdf4a96a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumDiv True Passed
9f5eae2ef8a4594b2f1d699fa4d8fd5b6b2542dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumDiv False Passed
b94630e5f9f6e32ccb96917249b2aad27e2ee9e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumMod True Passed
4dcadd64e6dc40c8397e86af7840e456e1b25dd5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumMod False Passed
5ecd18c84cb9994e7bad9ad7eec18c489d75b4f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumPow True Passed
ef404a4dce4a7772e5327cc27c476d047b04082a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumPow False Passed
9a622d152ad99c72c84a99f2ffbaf464528989b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumGt True Passed
88d0bf257d67860b72838fe177e6ac4dbbb31010 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumGt 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
b19dc0cd5415ccc5b1207d5dfae2a3b49f6e394c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumLt True Passed
ac6e4906616b9efe5110edb9b70b9835439e468a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumLt False Passed
7e281ac8d8a8d5f44f3abb1211929c9316db8663 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumLe True Passed
31c23bb41ae1316dbb6bfca2a22f007589848ada TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumLe False Passed
cbf64d65e30961527798a0debadca44dc16d968b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun DefFun True Passed
e97b0c8c60bfccde2573ca11b6e8686af3f7c9ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun DefFun False Passed
2abda385cb6b07852a8ab1056b5062e815f8cc10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun LetDefFun True Passed
ad0c222680fa06638f1bd6e82ba13a52f81f99cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun LetDefFun False Passed
8fd396fa14f1701b4209439052174eb7a410d443 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun DefFunRecursive True Passed
c2db1fbf865ac4855a3b0ede319ea8797e5a27e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun DefFunRecursive False Passed
eea394f8649c637a2120f105bb2feb81f8f6954e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun LetDefFunRecursive True Passed
4335a8ae461e6e335a93a72a37e943c2a4cff490 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun LetDefFunRecursive False Passed
5ebdf3d629e0408dacb7b4154327567fca3deedf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Def0 True Passed
55268ae4d8bc55db10158c7e7e93785ba9c99415 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Def0 False Passed
6cc14a67602fd5157be36ea69ea7fb5d46d8e7cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun LetDef0 True Passed
77c9dc0e007d0fea1313da32a88c1017af0a664e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun LetDef0 False Passed
2dad26d6f201c7c6df2d31e033289c799115ff2b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Def1 True Passed
4229074f95e6bdc88411fa76c1b5f6a5a44194ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Def1 False Passed
91306e6bd2019b746fb2bf50ee63c8dea6b0db30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun LetDef1 True Passed
6fcb12753859bf1ba2569749cd3b8c7470127be5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun LetDef1 False Passed
5387450e8ee028f1211e7bb8fec8fedf0949a5f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Def2 True Passed
927b39c0621543042fbe0b79da1b5a62a9860759 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Def2 False Passed
0e439a519e4085cbfdd0c65bd466aa6613ed01d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun LetDef2 True Passed
7d8e78b06d56edcda705a818a2b5b7a69dda2488 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun LetDef2 False Passed
72977ac20162bf36a895bd7e65f0a01ca65e9e7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Def1Recursive True Passed
28f2a793d4a967280a17ee2ab13a2e4fb68cef03 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Def1Recursive False Passed
b5299291e9509491aa47e902ef6ec6083ed6082a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun LetDef1Recursive True Passed
8d66f2a1f5daeeede9bbf13c1e7afeb4313bf836 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun LetDef1Recursive False Passed
e1872a8c8d9d97b4ba6b89d4cb8467db9c7b33d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Extends True Passed
27a0adee9ef40792a0c6c072fb92aa0641e82bdf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Extends False Passed
443e0f1addf3632dbd52e94034dbe99a95b47302 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun ExtendsInDifferentFolder True Passed
faf3e1626787367b1271d8987012c82fd5f382b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun ExtendsInDifferentFolder False Passed
8aad8a603514a3f8cff2435170a63589f87bd83d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Variable True Passed
4dc7372c972df3e8868cd3916cf34b250ecc91da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Variable False Passed
071545b2bcc048b2bbaa8522b3b46fd9b940d53f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Constant True Passed
3585ebbe8760a6906dcc23e9975c808e86aa8e5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Constant False Passed
485495bf741b36c57c2572274cdc8aad562833a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun ConstantModelValue True Passed
d19dfcab72ab68923cab1383e09b2bef35d727cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun ConstantModelValue False Passed
5a7d3e4fcd004c308b1d658ef07b9c6fed1bd9fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun ConstantRank1 True Passed
ac6ada734b8421f1079aa3c508d9073132211858 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun ConstantRank1 False Passed
48931aaf3abb55bf5d728bae77be5c0514579f7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Instance True Passed
43c9bc1f5528f4981218c0c59402df31c60ba84d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Instance False Passed
8d170aca5deeadd8f0d08f973ae9ef46a7a7ec4a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun InstanceWith True Passed
3c3871168596afe14a6a6d4baab8cbc51cdf9b69 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun InstanceWith False Passed
45be18f2ec141d0bb7101efb47d4126461cb60d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun InstanceNamed True Passed
fdd926aced5c880341384042ae8468201eb829dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun InstanceNamed False Passed
da7786f5ca30c1c06bcb9ef6db0b2a1018e42197 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun InstanceNamedWith True Passed
d6ac7d450baa598f084d8424741ad377e286a9ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun InstanceNamedWith False Passed
e54626d6731cfda6fb45fd85ccb84d7e428bbc69 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun InstanceInFolder True Passed
be4fe0edae6396b2a99764c0188aaa5eaf7534fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun InstanceInFolder False Passed
234063db0c8f8454ec8d8c0612de8016c9ed7c32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun InstanceWithInFolder True Passed
810398e2f2068b81d1fa32c06eb6a73d0df75ec7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun InstanceWithInFolder False Passed
cec445acf2280536a3b312adce57e2a58b79497a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun InstanceNamedInFolder True Passed
a8b283c7f165905e781bc26fee0c4537467b0b4c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun InstanceNamedInFolder False Passed
4747bfa16d71f786f3ac10eaf86f2925c17389cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun InstanceNamedWithInFolder True Passed
31d4a8dcd9c368406556b6b67007890be7cac5f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun InstanceNamedWithInFolder False Passed
1c8d1d53c53ead4035b995f27459cdfa6087a379 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Enabled True Passed
afa8b4b494cd92916e918cec81b073bcba45c798 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Enabled False Passed
16e84f9605a017c7327b574db2c2e5a59efa9013 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Cross2 True Passed
2bb599dfbbdfe50e1fa5ddca2141bf23a3f989f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Cross2 False Passed
0a5c2edf2c0185ddee3ab06642a44cbf4cad3080 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Cross3 True Passed
a31e47b8d27a01ce988922626efc24d52bc064d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Cross3 False Passed
1afa09bda0bfe6ad9c226d008644d767d7ab0362 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun FunSet True Passed
28e96668c8868c4aa9d4f52cedb9c79b17378ca8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun FunSet False Passed
a29b75e3c04e2be8273b46d65c55cd5a3fecc726 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun RecordSet True Passed
dcccb8986d6479e9966dbbc1fa7d8f41983c2b48 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun RecordSet False Passed
bcd3afd53746065a428bfd9ac516ca5d5daa79ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun SetDiff True Passed
dff1ab60c37b01c67982b6f2e21a02327d96483a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun SetDiff False Passed
7c55d42af876c298fc377d212fe01019c423e968 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun SetUnion True Passed
5e5a9eb28ceb2f85c0bbdca646b74a0c28b088b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun SetUnion False Passed
a9ebcaa71b0860caac630823e438fb90b6cb9122 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun SetIntersect True Passed
ed794d43c2afcd7fae726247f87d641c1e636876 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun SetIntersect False Passed
86e2b5d3810a369e65f206e2444f0736f564cb1a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun SubsetEq True Passed
5acf95a22b7c0d65ea953661dec894be2f47d28a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun SubsetEq False Passed
9157d9a0d608984be2a7369899de7b5a88f4a0b6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun IfCond True Passed
f9003ede21b1278b0492c0b4cc2267b533a7cf2c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun IfCond False Passed
64cb6f46679fd434437d3b739ae03c42e476aa92 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun IfThen True Passed
342f204e106d4a8c7fbf270abb3a7ca36988ec0a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun IfThen False Passed
45b2ea64d49d38f6f1367e367b4de5b5dc27663c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun IfElse True Passed
3e6bdd3049e4ca145f6a15c9861bfc0e017a7e5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun IfElse False Passed
119e124acf7a8f9dcd8a5bb8520736b0e1d01713 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Subset True Passed
d5d75cdefae3b3074ae2a58d1fca2e1f40ce1add TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Subset False Passed
7f6df6c7357673417cacf2cd3e9c653ea69ab78c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Domain True Passed
4850a45e7e31b5941a02faaa94a11fc5842bce35 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Domain False Passed
25b69fd84d8e11a45626894b4154cdb53cd5e6a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Union True Passed
bee8beae7223c94fc5f0a0ec2aba98c699abba74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Union False Passed
e0eca3a546498b07cbc9ece81095d8d10346feb6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Unchanged True Passed
d85e961a1451dc41185c4fea39a61a31b37c621d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Unchanged False Passed
829a906882e0eb667e1435ce81a1c40bb5aa3bfa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Equivalence True Passed
1b1ecee238ff21f6ac8ae34d4814b83686640b24 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun Equivalence False Passed
dfd4ed2ed0358e766b40599f6fef10153bb15079 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun StringEmpty True Passed
6d2bc8f6f1aa50de56446440d03514a49bb813ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun StringEmpty False Passed
2a81438e22fb1aac2c881c9b9c11c023fc8e1043 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun String True Passed
5d4b64ec8204e464fa204df0ca4bd90bc2504912 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun String False Passed
2d2516a46ee29e9d7aa60742a43708afdd3a3e5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun SeqLen True Passed
dcb899739dd822461ff11e16e5a1c185e9a836bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun SeqLen False Passed
74b0a72494e4363eacdcf8a664f0654ee7202af7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun SeqConcat True Passed
912b936ba812b5e7d6f8edbd8c3396fc5a8c070c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun SeqConcat False Passed
75b3b3a03ed9fe02147f3ada4863018a41e8c064 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun SeqSelectSeq True Passed
6cbbe54038d8b9a835be1775c4d6b8ad9ec4e434 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun SeqSelectSeq False Passed
7da8e6d96cfdcac04a539bf79c5c3d5514a48357 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun SeqSubSeq True Passed
3abf51a35f6377c02f7f47ad3becfb15ca3c7bb6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun SeqSubSeq False Passed
bec9fb0fa9ec7bad7e5a67f0ac80cb368d96b8eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumRange True Passed
d512fe2b85d56de6f9cfad6c679c1222bdb9dff4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NumRange False Passed
69871cde8ab883a14272562d72b2ba3110ec6f53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun TlcSingletonFun True Passed
2dcd6853c3ab4a8529c54588f3f008433a051595 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun TlcSingletonFun False Passed
1ee97c6cb91ca4213efcc412e5f2ca3618e07609 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun TlcExtendFun True Passed
ac0ca7d1f61e37676f50c5893ef8fb9eca297b26 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun TlcExtendFun False Passed
2f290c0aa4f5cff06e5d6196c09b40596043f61c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun TlcPermuteFun True Passed
5f92edd5a3a4407c6659a693b30dd75cf2b7ab85 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun TlcPermuteFun False Passed
02820e8a659b876a6a80ee66ce51d5456c89aa18 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun TlcSortSeq True Passed
1944f00e51ee321c572335e9e1808a1a78dd16d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun TlcSortSeq False Passed
1df42ab3508bf907c79d38792082e13a16c5c707 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun TlcEval True Passed
b6c7c53ade5b58391475c275d0c7804ac7e25050 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun TlcEval False Passed
d2a53a66afb6a3912162b17385e84514f4637983 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagBagToSet True Passed
68e55a3117a40036b72dc2944f6753cd9d0cc8ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagBagToSet False Passed
3fbf98da99d4bff80ecf37dd1de4f70d30216592 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagSetToBag True Passed
f904493fc49bc99dc4f23041f7d23890e30352f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagSetToBag False Passed
ce0e516697f19946e9a711d696dc817775fc8eed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagBagIn True Passed
fae075d0a4ec744c6b9c042f7af78bd35aa81dea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagBagIn False Passed
dd5be9e99250b2db0221a58293680fa3a8ce9629 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagEmptyBag True Passed
bd8708693f436f204d5f36bd2ff5f24c9b0542e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagEmptyBag False Passed
0b0bfc1b26a872f800ab582b72b85bcae122221d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagAddBag True Passed
6ea4e3e71408e359ffa276f53fdc667e8e622ec0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagAddBag False Passed
5442b97248652257fe45f275f09d634106bf0e1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagBagSub True Passed
7ecc684cf609a204c18660caf4643ff971c6543e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagBagSub False Passed
7cf58b92dc96132ec178b5f207296b77a7895599 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagCopiesIn True Passed
9e2f19460c21d9b4b2d4a005d55123618fd46403 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagCopiesIn False Passed
37c4718748a3a5e34433d83deeae850251b3cf73 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagSubsetEqBag True Passed
910b87fadadbb2d943efb7ffd8e9531b6508e22d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagSubsetEqBag False Passed
18bbee1a5961b3a6fe3155f8a7a20021476fc431 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagBagUnion True Passed
07abf563f0ce9821300fea24f08a5531332aee9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagBagUnion False Passed
4cb07a918c3d5b357fbcda5fbde4b4c4b2dfeadb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagBagCardinality True Passed
6809d049312e1d757e8521160d69110e17867dac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagBagCardinality False Passed
d7184a7a831c33e2086b74ddf8f95c7e1fb1b09b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagBagOfAll True Passed
4b8fc545381843e69b1b79d8d7b5e390993af593 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagBagOfAll False Passed
27bf126f8e9edc7e7814a17142f16424a48b064c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagSubBag True Passed
4faa9fb3874f6badd99f57247e2942f65e1cb5a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun BagSubBag False Passed
0370ceb83bd4c4d6d148c7b80d05674b87f736d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun FiniteSetsIsFiniteSet True Passed
8e9f61bab36ff68c5eed72dfcfee93d7ae0d43ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun FiniteSetsIsFiniteSet False Passed
29ba92a5a1b1c75d9582dfaed64b22598eea7616 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun FiniteSetsCardinality True Passed
9c13cd8176863463086765e71be017dd4a341a66 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun FiniteSetsCardinality False Passed
d927a5ab51a94cd67e74f78ad960019292660ca8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun SeqHead True Passed
6f5af7d1753363100f8980defeab9d7fdab4b231 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun SeqHead False Passed
80ebc00a438ac206209576e669b628bc46e75353 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun SeqTail True Passed
8e84d0a995a9027ae8da428f496fa6469dc83f00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun SeqTail False Passed
f5f411c4125fc651ceeedfcb768caa65cec1d319 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun SeqAppend True Passed
c94c534a9bd5b3caa4eade475cb37648b46119d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun SeqAppend False Passed