Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
62dedf8d349028b99c45bfe93b7a0f3580a55582 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Let True Passed
df58238885e9db826fc01091f7f49dca50a24cec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Let False Passed
22e00cb8467d97f1a5f0bc162ec9fec9d73b3197 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Choose True Passed
09a600db7cf9118d71b1e3ddab4dc5949829e192 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Choose False Passed
4903159bee49219eb59b62bf0d10dcca6f65339a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Tuple True Passed
02e9c1a3ec91b57e7da11486395836d44ae055ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Tuple False Passed
28f78e1c7798357b1913eaf037c7b0e3ffb5e0de TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq TupleEmpty True Passed
da9aa7563094874f742bc04294eb667227c50b44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq TupleEmpty False Passed
238bc89b0d04ad5b2e5065e43d372981a86560bb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq FunApp True Passed
cc67406b1347db81e397765e0692c5350d8ef495 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq FunApp False Passed
c35f1facb6980fb406691d612d0e99aaed2d0386 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Prime True Passed
669d1ddc0ef58111c0f19685defebe76012e30ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Prime False Passed
bcf1a38204f34fd057932ee8628811a536457fc7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq NumZero True Passed
2b84489c03f96bab9487db80a3f350c0facb8986 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq NumZero False Passed
379de4ae05116c1e49869d978e09eea35ff473aa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq NumOne True Passed
e8e15b7e6d6a470d56c32b14ce2727c94257921b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq NumOne False Passed
852d8cc78e1ab23e2d49c7ef018739105b0bf936 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq NumMaxInt True Passed
c8623c2642dbf7eb6d04b17e3773c545904b884f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq NumMaxInt False Passed
d043cbe4863734b3f653918aa1114612dcc84d17 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq NumUnaryMinus True Passed
17590fb2f85ec5d55786947153e3e239a956f3d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq NumUnaryMinus False Passed
0c01bc6dea81eb033e88dcbf1384582ad7fa1543 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq NumPlus True Passed
339d1e1f2f4a500acbfbaa25b00fa800cc8db03d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq NumPlus False Passed
9b940bf798a7af75fa3d465c7e1d26220f69bdf3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq NumMinus True Passed
fb15bff406568a806639604dff4bc7fdbd399853 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq NumMinus False Passed
c061bf98549ea25d89efe74bab4cb778aa654af1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq NumMul True Passed
29d1d735bf29f408c51adc6090513031488985d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq NumMul False Passed
08761650c83b927ef6c406e88b6b78accad058e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq NumDiv True Passed
c884b9293dc16c1913416b91497dd24d66fc2ed0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq NumDiv False Passed
4ebaa51e03820675ef3248112ad5c80481c86ee5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq NumMod True Passed
00b12333f61e1bfd2e5d317789de7fd5516d58ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq NumMod False Passed
4096b08bf6362a69670d914525cedad414dc3b60 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq NumPow True Passed
0336ed2722a6ea7c1707f27305a7a0ba30762911 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq NumPow False Passed
feb50f5c6989908d3dcc3951cee27d55f93e54a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Def0 True Passed
530b43713db0d481fd21cde56df77bdd1eb0cc3f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Def0 False Passed
66b02afa994e99a05f05794ec8582982b939327a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq LetDef0 True Passed
0bf64137a14251044df760aad92e8a52d2ad5e7a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq LetDef0 False Passed
823b0e943ba4cb9cb547122e50f718507cecabf5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Def1 True Passed
839a5a85e0ab79a619d17276565a7c15aa5acba3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Def1 False Passed
e3ebc1e4b7dd8c01ef918997b801b690ae42fd24 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq LetDef1 True Passed
5d956c941d9282e5f1c7006cd1e5207f417c0d49 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq LetDef1 False Passed
5a1f859bb744d59da3b548bbd17250d2b4c97e05 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Def2 True Passed
7aaf10d0affc00e8c9efd95ed281837a726ab02a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Def2 False Passed
b7afe387cafe8837165f819325681588ec70f1fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq LetDef2 True Passed
e458c7801c577fd55d29ae86cff5b97e447a967b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq LetDef2 False Passed
9a19949ab95598f61e2260bb76f88ccc675ff527 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Def1Recursive True Passed
ef656567501b928f1334d5584d0dd9fb526a8af2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Def1Recursive False Passed
13d4fe82546fd61aad4b8d6aa1a4934cbaab6d68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq LetDef1Recursive True Passed
52a8d75fca9231cabf67478ce66ba753915dac2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq LetDef1Recursive False Passed
94b5b2f37a4d86abd59996b633160c0d40e1bca2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Extends True Passed
40dd0db1eb49815c11d4184915a1b8b631e899e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Extends False Passed
12868b74a737a5ea9c886346d129f79ac7324baa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq ExtendsInDifferentFolder True Passed
9b73a559d45040d2c6207af8fda9d5ca63818b6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq ExtendsInDifferentFolder False Passed
367e97780e063f4bab58e38d8053512399ae2048 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Variable True Passed
f83f697b6255dd5f04a97957360e2636194028fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Variable False Passed
75600c0d0ec52168af61c54ad11f1cd192164dbf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Constant True Passed
a0957ca3662c8f131451f26019b8ae473c130cdf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Constant False Passed
2265af41495874f67f85fe23e8f69b9b8f5e1caa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq ConstantRank1 True Passed
79f990a79079c22cc979f6c519f04fd5e3db0bd2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq ConstantRank1 False Passed
5d7c0a0102be6f49ed2c41672e0dc5b406ec02f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Instance True Passed
1d1d6363b11fa2b2a7c02b04a1ce1496753f9a36 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq Instance False Passed
bdb4b045c044f7e64ae806b41d4514e23374891e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq InstanceWith True Passed
608be8b040657a89c325929169db61f593a7c43d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq InstanceWith False Passed
f47082899bd4426afec2ecda3444d484db7df0c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq InstanceNamed True Passed
3a71dc9d0c2402ca10dd455baac1e0f17f4cc1c3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq InstanceNamed False Passed
e1d32e08ad86a27e2036a80cc90244aa1e8084ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq InstanceNamedWith True Passed
e5f9967447ec8e47ba17340541296d0797850f16 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq InstanceNamedWith False Passed
a91f9c62cf9d65e256aa96a5475124b45c4c884e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq InstanceInFolder True Passed
207800c4ef4871a36565de61ecffdc72eca7c55b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq InstanceInFolder False Passed
6e3077b06e4a667016c0a7ec6753f93182697af8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq InstanceWithInFolder True Passed
e53b36eff7df40e0b6f1689d43fef8bc503cabcd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq InstanceWithInFolder False Passed
9316ca1b072f1f25d17436908257eb4c3e90bd30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq InstanceNamedInFolder True Passed
4501a5825924bda72737dd0323726f070ae8502e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq InstanceNamedInFolder False Passed
d827a4ddedfa438edf683098bcb62be5338afe3e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq InstanceNamedWithInFolder True Passed
bd23252491fe0cbeb07061b9456788a6f1d3ade4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq InstanceNamedWithInFolder False Passed
913e61449f2f1fe665fed8c98b1a5aa2946a6ce1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq IfCond True Passed
2a220441c6165075bb5fb003485441f3a48dcf63 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq IfCond False Passed
82e95f9c96879d82301536b9b40f7f7797db910d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq IfThen True Passed
4f554f875f16de3020788a0329a94768c35b2c32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq IfThen False Passed
ce249206f1c294cf6f3210e39e8669ffb46174f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq IfElse True Passed
d2e6d5ccb3464605f6493b06a3567bc58ea73b56 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq IfElse False Passed
49c29b0463d0c0561d4ba0216a42aee2866d0845 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq SeqLen True Passed
9ccddeda990062872a2a748b459d900abac7b7a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq SeqLen False Passed
76da38259f93a82fe93a4255120d9f9ac807c71d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq SeqConcat True Passed
192054400401986047538dc8082b4695a100c123 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq SeqConcat False Passed
4d13bd7228490d8235e922bc27fc752ba2ceb952 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq SeqSelectSeq True Passed
f47a4c8a4473e8646920327dc28506add2c8fdb6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq SeqSelectSeq False Passed
0a89b2c4e5bdf5ddbbc977c5db4d5fe9762b9c14 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq SeqSubSeq True Passed
7b6245874fbb9bf0b7cf4750a2f8bd7abaf5566a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq SeqSubSeq False Passed
b358ee76db46d015cabad66aad38ed8520279e4f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq TlcSortSeq True Passed
752ac4469141e73439f194d77bcdc7bc4f541045 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq TlcSortSeq False Passed
dd94a8f7ae6eaedf79ea631f3b616f46500f53fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq TlcEval True Passed
a072f407b0ed82b99010212788ce7a334e25a5ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq TlcEval False Passed
1611dc5935f7a8496d4163872788b4973fe71b38 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq BagCopiesIn True Passed
a7d652c66f32ad42d5dd322d16bfe1066ed2c4bd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq BagCopiesIn False Passed
c3651a41604195022b0806e8e173f20cc78bb42e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq BagBagCardinality True Passed
77ee151de16b3a2f247f9f3e0f8c3f2c23cac314 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq BagBagCardinality False Passed
c2fa13e108b12405ddf9281db5c7bc662911a2ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq FiniteSetsCardinality True Passed
980bec6bfc1d6ea2ab3b1417d10963100ec2bbc5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq FiniteSetsCardinality False Passed
3afe602c6c02790da22807ecdbd9b79d9b4642d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq SeqHead True Passed
c0558596161ac3987c3c9d77a80b67cef2a35c33 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq SeqHead False Passed
ae8ade5728a7fb11b1cfd11b9b9422ff54dc7105 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq SeqTail True Passed
b2479985d659dcec17ed88d045f4bcdef8a12b76 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq SeqTail False Passed
85a07cd8056e2e40ac066e9612c739c68beba2c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq SeqAppend True Passed
3fad1db9641e218ee3a07ec5ed5e8a2d19930aaf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq SeqAppend False Passed