Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
d00097011a7013e1732fac41d4f9d7fce54a22ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun OneLineComment True Passed
dc3af1dca9aae8e4d1cb20e73eee6f426b97dfc6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun OneLineComment False Passed
4baf6528fa321b4aba30500d89be4ab343c16313 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun MultiLineComment True Passed
1119f2a630129b7e3ec790150fd9dfb19361afb1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun MultiLineComment False Passed
51dd3c5ad345e5c2d45fa76a816c00c4e75ea9e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BoolTrue True Passed
64477ad96f5abccc50174171e6f8f274e5b2ec3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BoolTrue False Passed
f917e3e75304402677c48b3a540442af7d34be96 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BoolFalse True Passed
0bba0eb38a2ab75a61f79e0ef1283de056361da7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BoolFalse False Passed
f56fd41c6ce7580dc5734ea93e6cb921fd8af2a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BoolSet True Passed
61d32b5ae19f24a8f4eec5a435909749be482d2b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BoolSet False Passed
58705752ddceb9616cf3cacdc48315990b2de98d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun And True Passed
76681085cb5a4f71e38202a8bcf132fe9776b516 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun And False Passed
a1a70a541a0709df79105d2f6769297c8909e7a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun AndMultiLine True Passed
657c8028cb61c7407f6f1d66a6afdb525fd5df00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun AndMultiLine False Passed
9f9e12c6c7c0bc8310d8ba9690d82fa918d1e7ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Imply True Passed
9ff1654182e49cbe550a6a7d56327028c913a552 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Imply False Passed
b9df9af5c27e6843c291ee72427b7c97f4b9fe2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Not True Passed
ade80967498c039cc6d9923a7531350e8be92fd6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Not False Passed
dcfd80f11c0ab8ce8a5b4b697455afb4b697072b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Or True Passed
e84f66064c70a1216eb331bc3ba7c0948b0dd244 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Or False Passed
03c0b634ea928d64c511f13cec47daecbb1c3d34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun OrMultiLine True Passed
db051b749092db4f54bb5737408f7358ed4a7043 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun OrMultiLine False Passed
575ddff59cca870e99d373f76c27fcdc139aad6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Eq True Passed
06ed16b184fab0462bfeeaac631188eaea23c1aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Eq False Passed
75bc5d19e73ecfdefe7acfee393811f7ad32ef0a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Ne True Passed
cb1cf11250974247a14e6fd43f87fe05cc60df02 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Ne False Passed
6bf5d2c5d2ee964a8932510c54a2005f23fb1f12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Let True Passed
f70767a96144bdb4621b5e0ead36d36afffc40f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Let False Passed
bfb761c1b22a623b3538322ffe7553783687057d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun SetEmpty True Passed
ab6ca387a9c11fb28992e482a33047edc9607a09 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun SetEmpty False Passed
3eccd9bb065b60f2a3785f6f7c5c82c7a02be529 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Set0 True Passed
e68179672c01d64b089ab2f85189e543e9b21981 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Set0 False Passed
98935326150079e31f4f08a4d422d81ad51c6c53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Set1 True Passed
c8156651474e7660e8b173d85e859702e0dc02d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Set1 False Passed
a114d73bed42b481b3917aa367d6c01f8b564d5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Set2 True Passed
bf588f07f692bf3bd55e2ded2448de5313a21493 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Set2 False Passed
0c3e19004c5f91e948deeebb70f6cefa9bd0dc13 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Fun True Passed
088bd15d0ff7e1c63f8fb481e78ed780c928d0bf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Fun False Passed
2a0509098dfd2b8336857a7b7ec95b9ceb7f051f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun In True Passed
ca61d12f8ab068ffcce3fecbee4bbe509ea144c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun In False Passed
02a0bd15ff37f334bfae1b24968e60781158e02b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NotIn True Passed
a717a6a33816c9c777442867f4ea6e63645b9cd8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NotIn False Passed
98756f5c82f9435793eda1d33a8110eb0ee72510 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Exists True Passed
e90e7928769cadcdceeb5457b0c6b91e21d40d1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Exists False Passed
e047f1cfd81769ad37dabffc2a7661c2a5e11b95 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Forall True Passed
508f9f4c1cf231a97bf1d3e4fe373b497c7e940d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Forall False Passed
691ec366c5effad3044f9aa028509c6d0217e543 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Choose True Passed
3e6142c9dcd9988d091a1511c6f4d371998ff7cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Choose False Passed
67647c4703f462aad1ecdf36986c8015fa7286a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Record True Passed
5f15cce3745d0eb448ef375460bc4b85dee5a825 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Record False Passed
96b5ec662a55c4a3ba8ab0a8f3a54de22bb73cc2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Tuple True Passed
82caf683756a978de36d58a323c311b72c25aae4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Tuple False Passed
166fa8f391a7454534f1f1c612d6eae9906ff8fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun TupleEmpty True Passed
7dd561bbbab2076b8c5d86ea6d8e3798e3fd5eaf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun TupleEmpty False Passed
71b761deb522bb1bccf7d5a7b6a3263ae7d52775 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun FunApp True Passed
d69f72676f8e8b5253b8e362b317a6724ec2bb8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun FunApp False Passed
57bbb58af06fc1b390eead61ab91046243fa1b5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Prime True Passed
09c516649fbaf45a4a50b8e76934621929f85a70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Prime False Passed
87c52c8ec98abe5f20d82ae5c7f30f3b00ad099b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumZero True Passed
ffacf6c66fecc88620cdc75481e0f93c8b4bd2ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumZero False Passed
ce59f13b77868815b25de05528c01587236be60f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumOne True Passed
fd0800a308961329de1d9937dc335866c464b5e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumOne False Passed
655eb968bbec58441304d4666a1e18f9e27b7802 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumMaxInt True Passed
77a253c383011a03ab4ea4b8a551f4f748ec9b21 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumMaxInt False Passed
20df2d21070418c89ad194a5ab5e62676b0d1fae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumUnaryMinus True Passed
7f3945d92957f72f48f46328b86b60551e11825b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumUnaryMinus False Passed
7d0f6923a18f3c098ed0950a697f366514008ca4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumPlus True Passed
c55d9dd241b22211d64c03773fa6cd7529040022 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumPlus False Passed
56cc0336e9c3ba6c87e5c2cbe3deac0d9a8d1801 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumMinus True Passed
da9d5f8a1009cc7490b8c8c5dff82b692ca63b0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumMinus False Passed
945034d4bf84687b473d225bfc885547cf6fa5d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumMul True Passed
8e9472a63bdec69c90146979468c0e9a3c0146da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumMul False Passed
7205ab389c02238c90a0f567d6ad0f9cd6ea88f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumDiv True Passed
0d9617a63a90dce4b30c533d10a6daed86c0f162 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumDiv False Passed
6e22a129146a2f39ae7f89cf18226e374df39ed0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumMod True Passed
896832c9b773223467461b92060e8ea0d22b6494 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumMod False Passed
754fecb5f6ecca798230b2d3e8df2f49aeb3a934 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumPow True Passed
0d8be771d9a00f1737eaf758894d7767a7fb9684 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumPow False Passed
9b8f0c7fb65dd3d86da0b407e2e359f24ffaf9f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumGt True Passed
cb89ac39760bc62cfa1f78eef5fcea4974abb5b8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumGt 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
7b1b5819d705064f1d8d0e3ca6f22a17b539aa3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumLt True Passed
516e3208f95b22db96536449e1f42eba6d3ab972 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumLt False Passed
0e36dfc820a55eb503af06cff54b0f6eb1a78a0f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumLe True Passed
8a272b508449ad588965178d5a898fe1d480632f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumLe False Passed
d62a40a4d07c84dd21d88bd62ff590494d84603d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun DefFun True Passed
5957a7f7bf4646cfd5787c0eb9ef88a73019d131 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun DefFun False Passed
70913383e7be78c6f44a4d10ca24062228df75b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun LetDefFun True Passed
c8e4cedc62e46a47effd6ce4175c8dd282029f71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun LetDefFun False Passed
81cd805c0e95cbec26e0efbfffda86aa14c06029 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun DefFunRecursive True Passed
7e55c67863e43ca2364df58846bb5bb9d84a9511 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun DefFunRecursive False Passed
8c40b05fcf98582e076831f9680dc7e6607e2854 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun LetDefFunRecursive True Passed
6d2f54a9f3342e2680acf1d7eca0acfe4842da10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun LetDefFunRecursive False Passed
136292a3ba93b4eab3065cb7d1f32edb9c7e1dba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Def0 True Passed
c5f7cd14a74c572c9b88ca5099326499b3ac3d33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Def0 False Passed
e7815b6d52a2082114487bea46722516252adeb7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun LetDef0 True Passed
12e394773e91b373e9e064ac8a196e54b9ed9a0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun LetDef0 False Passed
ccd15c04965282cadf24a7bf88fe4c8ae877794b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Def1 True Passed
53b6faf332db5b273d735848abe9d9af42e88f44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Def1 False Passed
e5220bdfe052a2fbb3524ca7caeaa9ab039f3475 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun LetDef1 True Passed
eac66f940860ed69ab51848ccc6260f60b1e0e3c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun LetDef1 False Passed
f7728939dcad4bd71ea54f2d2b08f01892a4b517 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Def2 True Passed
daeb2c8d399332231ceef6818e2a691541b1a442 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Def2 False Passed
3e7d3065562e144b0f9b340be8436963be544496 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun LetDef2 True Passed
9f26ec44b72ec303e262f2eb8ccd7223fe10aaf4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun LetDef2 False Passed
9481a6fa3c12aad31ef3c7e98be09bfb85b67ff2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Def1Recursive True Passed
f7a6afedc4edc93a23823617cba2515d1091c0db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Def1Recursive False Passed
6b4c99116178d4e33a43651f508462560a8154ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun LetDef1Recursive True Passed
01809cafbc0dafac0007396883f6fa3835dbf6ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun LetDef1Recursive False Passed
4c4b8ba556746b0c7b0cdfbb96d22dcdd1a51269 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Extends True Passed
d26ad38e10560321a8d9605d85f9c1eb95e1c519 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Extends False Passed
68320bd554884cbf7ff10591bbd2f481fdf298d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun ExtendsInDifferentFolder True Passed
ff666b37a0942b215733dedaee6b46560e5867ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun ExtendsInDifferentFolder False Passed
b564f92b1e1406ffc07ed0201a0abf168025360a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Variable True Passed
32f14bdb40702b5e6a6035a62f419a581ee5047c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Variable False Passed
d005a2004f2d29c6d4f964be4e6cb2573184d523 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Constant True Passed
c08239688f779a69a501c174284bfb44d6f40165 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Constant False Passed
0a8c144918bc4295279dcbcd7b77c8a360241113 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun ConstantRank1 True Passed
0323f66aea3bcb6bea78bb662a7f6bb475c973f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun ConstantRank1 False Passed
9b8b9d8cc56e89faface3ca8ec0bf0300710bb88 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Instance True Passed
056780bd4df6d79a0a989a590b59e04a4dc81833 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Instance False Passed
b57536864384e0df011965cf8767409cc1793330 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun InstanceWith True Passed
9cf31f9e4ba1bb9e2fe1034c9e41a5601516c017 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun InstanceWith False Passed
89c4c8e5f8d3712bd9ef7f82f082889e00dfba70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun InstanceNamed True Passed
8ddfa7f2b4dd5ae26d8706afa5bc792731e6896b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun InstanceNamed False Passed
7c20353153b75efcf4697a5ac84498def704e85b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun InstanceNamedWith True Passed
70f89ba6b206003841ad45cc5ae33b8a15c5e445 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun InstanceNamedWith False Passed
86bd58e42298adcc5505e9c363da57ce3b9d8485 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun InstanceInFolder True Passed
d26557e258873fd28fb438452e5ed3023c6ee66d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun InstanceInFolder False Passed
852f4070985181b22a478b17839fd261df60f9ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun InstanceWithInFolder True Passed
ca6860d280cc8667ab00641ba11f72c8bb4c7dba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun InstanceWithInFolder False Passed
4c0854404ec4bc1749ef5b7dab23a90f04b8c27f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun InstanceNamedInFolder True Passed
03ba4f438c49da1445a22351ca87a7395ac1e653 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun InstanceNamedInFolder False Passed
e57197c2a688be1bef4c4dbe618b07db4b71228c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun InstanceNamedWithInFolder True Passed
93a16582f7d29a9c475fdd04e7ed2e895396b71f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun InstanceNamedWithInFolder False Passed
6fde2e09a3231455b53dba075bb2d0692d615864 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Enabled True Passed
33ead6a5fe32571d38c1d978529bb04fc85756c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Enabled False Passed
e9142c788094b48469fd8e5faff5b5dc97fd9942 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Cross2 True Passed
efec82927743ffc141aae19b28932330922e9878 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Cross2 False Passed
ca190758d449d815c569b7a9a930fd4508524121 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Cross3 True Passed
ec2bfb0db1797c670b3d131eb4507308f08d14bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Cross3 False Passed
8fa589d398a7b7163dab7829d24618d93b4593a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun FunSet True Passed
b34a346cc46e72e5beaf91fe2ee8699f2d80788a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun FunSet False Passed
daf97e75752632e25a22f8952bc561750ccd986f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun RecordSet True Passed
f0c21b8a431efdd7e2231371ff41116871dce399 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun RecordSet False Passed
c7067b0edc324f06d15c0dfe46d34d9dd9a697f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun SetDiff True Passed
94b088207ae9b2b1902fcd0af37d103ac618e056 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun SetDiff False Passed
b9bac57eccd60daddc79b1e06edee03b88c080da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun SetUnion True Passed
753297840802a0d158dfc2a02a30b21ac7d0d5c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun SetUnion False Passed
3b91108bf04e76e79d5fbb5cf4d2e405b6b14a64 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun SetIntersect True Passed
424af7cf16a0e46325afd53aee7e7b59bf24dfa2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun SetIntersect False Passed
5cfb63f180258c3bf70ddcc87dc1b780c68f7037 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun SubsetEq True Passed
f362abb8fcdd5a881e6a890428d67598f7a80ba5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun SubsetEq False Passed
1e35fc6c6e0cbb7874d26645ce13077a789eb305 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun IfCond True Passed
f674fde68ea47b43ac247e4ac1ec80b0b84dacfb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun IfCond False Passed
14006c88559c250f054fb57f7ebaa0592dbec41e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun IfThen True Passed
430f9224b8fe67bff07ca70935929266cb4d187e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun IfThen False Passed
46dcc4f18130c373806dbfd001fccb73b7c5f6e8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun IfElse True Passed
1251afb4863526cc08e70cc5d4ddfb961a9c4a47 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun IfElse False Passed
218fad5e4e8f55ce5ae4704c1835cf8ee32b9e29 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Subset True Passed
c1fa99453ba29388359ebbd14701c7ca8291cecc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Subset False Passed
337a679a601697d1d501309e5afdea39050dc795 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Domain True Passed
4b82477b7356773c0631349b9ae60d4654d2fc5d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Domain False Passed
27f3497cce00f0859db901a675a1ff6dd08e828e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Union True Passed
852935eecbe17a148752f024db0d18b3ee896dce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Union False Passed
8ebdd6ed1ca48ebae4082595d77fc3bf21155f74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Unchanged True Passed
29d96bcc9930fb4e549cae1121738f756af30d51 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Unchanged False Passed
107072445b47570e745261e71fc1e13e9f0bbfaa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Equivalence True Passed
0d6a4de8ed867381539f41a935474669b2a1968d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun Equivalence False Passed
3a399368edfbcbbaeede687f5b7090746edc17c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun StringEmpty True Passed
b6238aab5c2d1ff533aea756109690c9e81351fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun StringEmpty False Passed
347fb9c32a52d6091f1a752944b203de689ba425 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun String True Passed
3a28a6192f90184e2e03fbb5506340c49023b841 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun String False Passed
7d4be02419ceefc569909f6984c2c29c1f8f10da TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun SeqLen True Passed
dcf757363d31920e65bc0dfea4fb696adea0da53 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun SeqLen False Passed
acdff6e20ff786a950c33136366a59d6088cbde2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun SeqConcat True Passed
85d74e3878cd8915041d03b40f8e678aad616971 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun SeqConcat False Passed
12f7528f4cc81db7b2d4d6bfb5e07b694019a92a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun SeqSelectSeq True Passed
72fa1fc1fcc25fd75b4d7c9b900a606fa5b55a9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun SeqSelectSeq False Passed
7fe977514dac0e164efc60ba95d4145a91e5761b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun SeqSubSeq True Passed
472fe2a3c82532973d8adc9e773206e58b52a24e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun SeqSubSeq False Passed
7d3f8ed1c1e77bb696ea245d0278512bc8f5be13 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumRange True Passed
8b1e9adbb1492095e3e58b86ba09d024a58d9718 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NumRange False Passed
c489200d2a1d59eb234c9e27943f21983f789e89 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun TlcSingletonFun True Passed
15a9c695b2f9644c9b6a0cb8c0771fdc37dbc6a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun TlcSingletonFun False Passed
70dac2e0b277d1b3bf64c486289ee966dd78a4c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun TlcExtendFun True Passed
b39b2d8522ffffdda13d8690c7fe5402b066a567 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun TlcExtendFun False Passed
e167b946094b7b52ab1b1f0bbc8e077afd69cb04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun TlcPermuteFun True Passed
a7543d2c613ae41f0fd240b8869dbc6001e45f32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun TlcPermuteFun False Passed
20f20c8eaa78d6e4da9165c6f6e0bf9bff062256 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun TlcSortSeq True Passed
0f43300af39b21bf8dd51c76f8c62fcf005a666d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun TlcSortSeq False Passed
29fb444a0d28cda54c975c254ec82dd2386395cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun TlcEval True Passed
45ddcec3374eb7575e3b639fe9398360f948c98e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun TlcEval False Passed
80267a9da1114ab72ada5323bc2873ddbe1c81e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagBagToSet True Passed
316586f75085041626f9f6c44588d5c9dc852543 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagBagToSet False Passed
4fe084a5a726bcbfa61e31d57c8c775c19550364 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagSetToBag True Passed
564981b082be12744c515dc4b86f2cd60bf16c5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagSetToBag False Passed
f9dc74adbdc4144b3cc70d0929095de0b0661325 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagBagIn True Passed
d953092341bfb2127bd80891cb4b4d923dbc5081 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagBagIn False Passed
eeb9559323fc60b51ec302939492dc5859f34e4b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagEmptyBag True Passed
bb43cfc46b01801804f3b813a9989f03f0e33942 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagEmptyBag False Passed
aa7336189add7d3d0914c981df7595ea649964f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagAddBag True Passed
0b8c0c2823b3b6d9e8aa664b8b0e074b48333a3b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagAddBag False Passed
9039dee015e583bce41e7097d9af9f81bc54f3ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagBagSub True Passed
a1c4e161d8f554125d8ac717d57dfa4740bdd903 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagBagSub False Passed
185ca5f424f344cf784509037e1532509411b50b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagCopiesIn True Passed
1de5b332fb2d8a966b2df666522c8bb8a72157f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagCopiesIn False Passed
7af63085a615d585ddf43b3bf5cb388cd84c92a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagSubsetEqBag True Passed
9536bbd5c919ba96a0840f5f348d91579fa6cbc2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagSubsetEqBag False Passed
688f41423d98c07be8432bb3ad73bb977dac25a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagBagUnion True Passed
d2e6454a91a48da55b826d6c35522aec2e9c74a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagBagUnion False Passed
178051105bc6f929d49e49dc8798501ef52d6269 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagBagCardinality True Passed
6320a1b637d188b20d5cc1fd60b4783042710c10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagBagCardinality False Passed
66615778c4ccf70fd87268bbf4b252bd00d3e1d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagBagOfAll True Passed
5b9be598b3d6341cd3be1a16980ac10aab6d6d85 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagBagOfAll False Passed
9ec12a5363aaa01e2a85c493c4033a967cb96701 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagSubBag True Passed
61533dc851f470f414b7f37a82cc0fa479144a93 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun BagSubBag False Passed
bd60bbd1d8e162a20f5d0cbe2917c0b3bbcec429 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun FiniteSetsIsFiniteSet True Passed
5a4c138e46fb3b226b629bdfb23e11aa987dcf96 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun FiniteSetsIsFiniteSet False Passed
a46e635c2043fe2f5d95b435c3e792f7154bd2d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun FiniteSetsCardinality True Passed
c3c10cc3d8e0b1d799a8ec3d8302d6fee838537a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun FiniteSetsCardinality False Passed
6ad0bf615f4d3f6ad78a30a248ae7aa966337123 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun SeqHead True Passed
2a21bf7f3e30ef57faa0f167fae08e903e2a0f9d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun SeqHead False Passed
fa68e382daac6c47e70b18297653d3d2b2bea70f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun SeqTail True Passed
34b8c1b8a2801ca1cf10a61ef4cef05d23327fc2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun SeqTail False Passed
4cfcf651a0c89a9d234105db6f31f6a1d6e557a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun SeqAppend True Passed
9de97bdc198ffe7ee7ca91b90c899f2367f03f1b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun SeqAppend False Passed