Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
45c23f83f08bdc5b7a85bca18c3affb90e35d846 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe OneLineComment True Passed
ab85a4acc136868bf96a0eb6f15bddd9d8371d2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe OneLineComment False Passed
7d58fdf8984c42dcecac7a15ecdda3feb92b769b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe MultiLineComment True Passed
e6ff5104ea37b9a88d86a84bf4eb508b8945187c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe MultiLineComment False Passed
ea54adc9986999eed9428ac53371958ac68f0427 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe Let True Passed
f26d8317bace258810cde7fd195d62936225cb15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe Let False Passed
dde38619e9076bc48a01c525df6b0d45f764008b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe Choose True Passed
68341b1f23a8422f116880f38d3e7a07e96d95a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe Choose False Passed
678838957001c94f74b3330ddf981a8472cf77f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe FunApp True Passed
fc6bb9f69b2107f19ec03746f272a907daf23bf2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe FunApp False Passed
f6610812561cdd2102640609af663903c0618daa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe Prime True Passed
acc2852711ddabfc9d294fe0b58bc052bd7b8deb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe Prime False Passed
1336fa78db9532b5c9c68dbe043a08699e9fb1bc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe NumZero True Passed
a529cdf42005983432e44f45947c191faf4ae827 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe NumZero False Passed
8ee045a90f7fcb310d09f0edf930710902b75396 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe NumOne True Passed
df0028438e212abba957e30ac0b0c24952b0d856 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe NumOne False Passed
ba1f6b61944b01fad976e467527c5e7c943cce8d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe NumMaxInt True Passed
ff91a5e5df2f21c29fc742a4cba459431bb8b92e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe NumMaxInt False Passed
e1503bd6bb381baed5e1439e1aa23cf451542ff4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe NumUnaryMinus True Passed
8b899f37e99854da1a122b32240df5a1b7c595f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe NumUnaryMinus False Passed
9a032d27b9db537fae113262acfa46c62cd9665a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe NumPlus True Passed
e88cfe944e1a2c3c827f45fd788a7ce1e420959d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe NumPlus False Passed
e04ad8c78b71594245d96214406e6ca6599e4156 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe NumMinus True Passed
f5e077f3d957d006f1ca63bfa5d7ac5d0d15b3de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe NumMinus False Passed
2ad3b0b7d4d00a01ba13504e608a7406eecdeeed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe NumMul True Passed
acab80d4d6ece7c3aa00cb6fc31ff8331ac89a14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe NumMul False Passed
74da56a2eb924c2e845d60989b71d8d3759735f0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe NumDiv True Passed
f0b81d77595f64d3b6261197876f66ebdad360f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe NumDiv False Passed
d452e6f9d6dba49b1579e9ce64283d81b37d77c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe NumMod True Passed
e052de8a44e5c32832262cf7cdb52569c10c4f2d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe NumMod False Passed
07ccf2fb1aac7db1c73456c1a00e5dd74b965711 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe NumPow True Passed
936b6ae929a46abf2d413c1b8f1d28c22277efac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe NumPow False Passed
7a8ad27adc16a8ed2aaaf915f47f22177b4f2c8b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe Def0 True Passed
c116a6596ae540e0ee669cf14b86ea7df2c5d6a8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe Def0 False Passed
d4365f1a4b04fbe9bb00b1b82d841fcdbb77186d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe LetDef0 True Passed
1842612a35143d724a27e65eeb46ef357d5c2cc5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe LetDef0 False Passed
db89a9debf479611fc6cbbe8a5d181aa03ddec5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe Def1 True Passed
4216132e4ed26bc71212ac07e29c7f2a32d1c28e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe Def1 False Passed
915d271f44e5657dad062f6c528f3305c1fa500f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe LetDef1 True Passed
0244aa24899da817de9b0d66ca961c69f25293eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe LetDef1 False Passed
6d0585851014f3032e0ff16b5de146308c674ff9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe Def2 True Passed
6bc67d4d31113d1d7925920a8eb133aa4e187e5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe Def2 False Passed
1b6b724ed4994db2bc23353ed145a72627d26fec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe LetDef2 True Passed
94863fa32347a9f3129cfb2673d908e0993b7307 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe LetDef2 False Passed
e2cd0a82a50ded15b424e9c3856d7436f37b5932 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe Def1Recursive True Passed
e8a4ce234a79ec9e2c74cf66f2997f0b880f0d76 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe Def1Recursive False Passed
7be9d2ec8635a42ad702cd06671e213f4987f162 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe LetDef1Recursive True Passed
74421e1e71a42fe1408723b56ca2ace6b239f119 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe LetDef1Recursive False Passed
c3dd786d6414fe8fb7edaef2a08ea43c4dafd5d4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe Extends True Passed
49d83c48cc00b435ea2848c2e9be0b2f287e5643 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe Extends False Passed
f1455f41011f6dd9d27cd7d24806fd8bba4a8ed6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe ExtendsInDifferentFolder True Passed
c75a7e16182a0947b8037ec122fd3627fd767284 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe ExtendsInDifferentFolder False Passed
705cd8ddad25da3d246c1f150793ca1d97eb2829 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe Variable True Passed
01f1028c41871f81668f096cd120e61bee5ef8e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe Variable False Passed
2b50df9cb4cac98340ec34b24033bd63d25594bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe Constant True Passed
fbce81b2c1209e91bcaccb4e7abfa6cfd0da4ca1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe Constant False Passed
3c85f67551a5b341691718f3303c51ece0c4f334 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe ConstantRank1 True Passed
0f7eb4a78b5ff699843d52e3e350002ad2568719 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe ConstantRank1 False Passed
51d8de6001bafa36f986dbe634febb304613b7be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe Instance True Passed
360b45815e5362160c57f060b015b4deeaa1c85a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe Instance False Passed
f1faed1098de05da4572368e5e99f82a9f4df080 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe InstanceWith True Passed
a503c0eb41fffa82443b2889ccf8b30e1b704048 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe InstanceWith False Passed
3b1bd26ca44ccb52d318583e8920a98f5a932608 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe InstanceNamed True Passed
652d597282e56689c33996d4d64c5b9fff5242e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe InstanceNamed False Passed
9a15776f7bca522cd92ac935f295f80e377425cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe InstanceNamedWith True Passed
7a3877c49c48bc59be2fb3df77d2fd8fedf03dac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe InstanceNamedWith False Passed
2886e2745d557c8531895bf00b1f06c911097c97 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe InstanceInFolder True Passed
e1fdbc5ae280e2365c608169fb344e7a157c8d03 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe InstanceInFolder False Passed
f69ba041ecfa8ad2691a5f75a455cf34d3e9490a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe InstanceWithInFolder True Passed
e0d72a90172ce954c1c3a46c4cc2aff7941414c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe InstanceWithInFolder False Passed
ce22475be25728b9e9db008820f0feb2aa130e33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe InstanceNamedInFolder True Passed
c0c4e3fe31178c3f91c7aa11c6ea20030a3afda6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe InstanceNamedInFolder False Passed
f91452b3ebecd1da7b7224f8617a4a0ed705aa04 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe InstanceNamedWithInFolder True Passed
964da6e3d6d174c25be0d9c6ac7a4a7eab316944 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe InstanceNamedWithInFolder False Passed
65d8905a052dec8ece448527628d374e836b8447 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe IfCond True Passed
28490241ca35b9d6c8bc1b583c4e8eb508505869 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe IfCond False Passed
c4e43892996f45f17507c4fa217f483d73df5a95 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe IfThen True Passed
c85da3295e5a12f096d440889d38b72291f324c8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe IfThen False Passed
79cc057d8a4b1dd7f6ab43a207a3f8120343def4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe IfElse True Passed
ce5b3844df5fba92b73c5039688726f648abbd8c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe IfElse False Passed
811e20cb16bf90ad1d0882aa8b41c6bb18753f8e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe SeqLen True Passed
dc401eaf590c71561f7dd0b24ebeb76d2c209ea6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe SeqLen False Passed
48e420dd4eb8bddddb3cf29589d5a70b7c8c1c60 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe TlcEval True Passed
e4eccc1871a8c5abf04351a11f27307003553569 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe TlcEval False Passed
67c3de3fe87aeec7cc5ffbac6cfac62e7ebe5531 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe BagCopiesIn True Passed
d692b4f0d3f86f0ed7a29a4ec9165396906f67a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe BagCopiesIn False Passed
d44e33811f3820279c546d27ad82e24e99555ebe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe BagBagCardinality True Passed
c75c2498d73547b1437dea76efafc47c32266972 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe BagBagCardinality False Passed
14d895fe4ad2dde8c8ce00396db7765ccd0e565c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe FiniteSetsCardinality True Passed
177345f8ac35f3a01f4c73e3d591ec2d6fa6a06c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe FiniteSetsCardinality False Passed
d45d203997c2de565a38b1bb73e232a408dfb3e2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe SeqHead True Passed
5e662e4c42fec740d2e3b1bcbeffa21d3026c084 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe SeqHead False Passed