Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
8f920b6a0993a971aed5d89eaa5bfc97e3f25efe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt OneLineComment True Passed
69c4023722e342e3e26ad50b048bb78fdf793a46 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt OneLineComment False Passed
f63fc7cda59a71074e3efa1f600e7dc457f57c6f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt MultiLineComment True Passed
edf05a3c4335f95be29f2075313a68db1717e70b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt MultiLineComment False Passed
2fe606b44b6dd2d99e48260a188fa017da5fac5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt Let True Passed
f019014e4999e2d8df4bf0a0df18b63ec2503649 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt Let False Passed
7f038a3ee42e0eca42cd2920ad74139bbfc6d58e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt Choose True Passed
1c5c0fe298d8e6d71e9cd51f0a27743332721b31 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt Choose False Passed
f68f7d6491c3f2e7ceef0415a2802e261dd0ffc4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt FunApp True Passed
8bea5984c33b725bb7d926b3b62b2e27221baf27 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt FunApp False Passed
3423c016303a1f2fc50879d06348082218ddd3aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt Prime True Passed
2bf8aa0caedcf3ff6523d3a3ec01f91a47fd16a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt Prime False Passed
6c3907a87caf5c6715fc698c0158f868f95d26df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt NumZero True Passed
25fc5d87c87e2145f24b85d6199d09396ebaa695 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt NumZero False Passed
95706c776c830d9ea3ce9d7ea3599dcbe0988404 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt NumOne True Passed
5c4d91fc6af448f44c2095a5a3debdb9a3bdf09f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt NumOne False Passed
27cb6ec098c4feac17682190e211830af132ebda TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt NumMaxInt True Passed
a7c95aca147a18b26f60279f4d116acf92e025ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt NumMaxInt False Passed
bf56c8bea8a1813acc1647621019be2494e4980a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt NumUnaryMinus True Passed
8f3ee686d95198311b8b10dcda531ec856785bca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt NumUnaryMinus False Passed
216d5172e5dfa86cde48bdd21022a95db93df6a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt NumPlus True Passed
dd5912a199a78f3a74e9d545b3b250d513c85ec9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt NumPlus False Passed
60a98987aa224fb2c92082dc307f8ae2863d277a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt NumMinus True Passed
7dc9a08657784c8217a4c4398971f6c6e68207ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt NumMinus False Passed
087d3e3c79d9278cf46b2b2894dadc846d21e021 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt NumMul True Passed
c286d2110d324da228af2d61546950ae4c6f3cde TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt NumMul False Passed
3c3e37d9e88431d7872446cfaca62692cb367caa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt NumDiv True Passed
e9472c65f253fe7ef5d026096f0f52f816d21aa7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt NumDiv False Passed
f1e31c2ceb38901617b49f79cb58de07e68d67ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt NumMod True Passed
2026b2ded57a0668721fb37add067a679e6b97f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt NumMod False Passed
c71ef4bf230c4192dbc82e5922a1fe24bce9171a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt NumPow True Passed
b458269f09132479b0f0ba4fdcc4e3e3b0651315 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt NumPow False Passed
9415baa3cc78c42db82c68e3520748cec0d9b3c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt Def0 True Passed
a682b0cfe00253ccc2b4947ee978d5b8baab4dff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt Def0 False Passed
21bf5172a937b7477dbbe1eaf24e433ef505bb1b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt LetDef0 True Passed
aa8138de87cdcc1a30dad3912322c39a80a235ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt LetDef0 False Passed
1573908c4848c71f0d008e953665651fdb5fc9c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt Def1 True Passed
3abfc362dd10b19cf521d2140e45ae79a94b645f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt Def1 False Passed
647226f8e5e5c81dabed5a9f666da4489d2f8c75 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt LetDef1 True Passed
ecba308f60e9291634e74fe84d2ebe5221743cf7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt LetDef1 False Passed
475a6401268d7f58dc1685cea354b90a1f4c1b80 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt Def2 True Passed
ab2ba864d575c2dd52c1c16794b0d5aff1223417 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt Def2 False Passed
0a36ae25b9e3e46ed4a6661c88867803f7c1025c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt LetDef2 True Passed
e63223aee6d26e5c43f30cd22a1f8f9dde974841 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt LetDef2 False Passed
7f203489944e537d816d587334ced940f51d8c9c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt Def1Recursive True Passed
f7599bcbed255032f085b040f60e1a6f91234ded TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt Def1Recursive False Passed
d1aabdfa23053658e589871749b97df75795a476 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt LetDef1Recursive True Passed
b4ef5810643182ed7801f0b64a8a492843a30452 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt LetDef1Recursive False Passed
180650d135b6e4f13b34a3d965cd1236ae193036 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt Extends True Passed
97eadb56cc482a8dfe453a10374fcf5ae44e2451 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt Extends False Passed
33ab19f689dfdcee9a654cc120a7b7a9bebf2b5c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt ExtendsInDifferentFolder True Passed
e42e3695ff6d0f5657389ecec60cd040d07d9ab4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt ExtendsInDifferentFolder False Passed
5024b4661b707c737cc2b0c61e296c8f976f1098 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt Variable True Passed
9d87640d0a5a2c2d3a8de563900954bb7cc8c2b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt Variable False Passed
98b0e0b05433e83e517c2d20cdde14adfdc9b1c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt Constant True Passed
b0a487ae1b7071ab7e08848c1814fb0017348098 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt Constant False Passed
d7d5acdf7210b898b259a13f5c987b0c1c31ec03 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt ConstantRank1 True Passed
778481184754943f3906d29822a54cf691bc2302 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt ConstantRank1 False Passed
c0ba8ea722c4a4958b8dc0b6ae3e925712348a99 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt Instance True Passed
b599d57f5a80f8994b62ccda93e9ec3dca9f9c6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt Instance False Passed
5dbf51525f6e28cf21cefbf8de359d3068385f51 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt InstanceWith True Passed
a7e9d5c09b3bb30e823722065b2f3f6858981dc3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt InstanceWith False Passed
6140fcca7532c3c82a53bb25e4ab588cb31b5c7b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt InstanceNamed True Passed
92c8bd192ef02006419a131f0705f404a077d89e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt InstanceNamed False Passed
22a7c27d44941f0ab9f9f0446bcadca207ed360f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt InstanceNamedWith True Passed
5018d095ec4b9ee63454481e6edb0309db27ad7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt InstanceNamedWith False Passed
06177b40eb78119e0c09be99275bf361bd09971b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt InstanceInFolder True Passed
056678bf30204f75fefcc95892502014dd3e8ce0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt InstanceInFolder False Passed
67174f42e0546cec3b6aaaef90e6fa41ddb4b9f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt InstanceWithInFolder True Passed
adf4df45ce80d781ffcc2740dd79c1117ef07861 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt InstanceWithInFolder False Passed
1ceede6bb41903e2fd3f6be4baf708d02d3c7603 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt InstanceNamedInFolder True Passed
5ebb4fa32f6e6f376537259eb8530559b6e6e892 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt InstanceNamedInFolder False Passed
85dfe247a6d37a6b48d878159b7bd13b0febd811 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt InstanceNamedWithInFolder True Passed
e2733627ffb299b7c3e18050117bc55e58b2259b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt InstanceNamedWithInFolder False Passed
d8d71035799653dafe5ba09c0437c0411ae866fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt IfCond True Passed
56c0c14df151465c5dbad9f7bda6a58488267ae2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt IfCond False Passed
8ce78e4ed26e8a111fed19afdb1e225cc96071c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt IfThen True Passed
684d63b9d873ceb6f156e55c6deed34136125d1b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt IfThen False Passed
a47a1f8d1f1c115a08aa1bc437420bf30291fc12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt IfElse True Passed
b6111d368452dc7a9d01780fc39367b8b2c63b79 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt IfElse False Passed
495995289b98e2120d6ea346bee437c396383138 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt SeqLen True Passed
74d8e8bad46c860bf8d5c7619a147a5e85948be4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt SeqLen False Passed
522a85c928fdcb010cde76add9cab490582d3aa2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt TlcEval True Passed
c3e4add4ac8613a0d573f56b402dd39743c5de06 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt TlcEval False Passed
f22931d5dc1f0899f268a169e43d5e25ac5bb2df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt BagCopiesIn True Passed
e3b5c1c40b9129358df1d37f3b667eafbd0c16e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt BagCopiesIn False Passed
9dca41c7c5df1aa1504eabed7b4372adb8f9a99e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt BagBagCardinality True Passed
268af3ec518950edd02ddc9780e4eb13f82f6cc3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt BagBagCardinality False Passed
ee8c317dd442f82308f5500572aaedea4aedad6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt FiniteSetsCardinality True Passed
201a18155acb5073cb3784a6ad8a278b5dbcb8d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt FiniteSetsCardinality False Passed
4357c41b00fbed84ca71a283578721108e5b6e6b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt SeqHead True Passed
1123204fd086fdb7d972d8146aef4c3822df73cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt SeqHead False Passed