Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
a123ebb5d42169296fe8ce6feedecd804e440e22 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq Let True Passed
0d16a5b927b1f418bd41b75e2996d5ecd26afee0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq Let False Passed
260eb974436a9f74f8d37537b13ed94954ee94b0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq Choose True Passed
0f86efc3fb8f31e96bc7c4919db471fb0158b2b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq Choose False Passed
3830d6751d6717af9c8d74a21394bdd0381caac9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq Tuple True Passed
64890dcd011d68b2cc5741752cb72607ea0a718a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq Tuple False Passed
cd3a3436a911d10ce7a9d4129af082e4ada1daf7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq TupleEmpty True Passed
e185bce03109daf8df39ff5db33aecd860aed8b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq TupleEmpty False Passed
d057ff09b2be7895de2237995d2baa7e60b40886 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq FunApp True Passed
9ea1d57f8f45318bcf2d1203a624bb26ee6812d3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq FunApp False Passed
c3d43d667f9e01ac55f9aac764cb6ea57f3756e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq Prime True Passed
d0fecf9b920ef712b4dae02f407580ae167b44bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq Prime False Passed
77be24b86c03266935d0556cc300f5bb5fde049b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq NumZero True Passed
f046a5eecc14278b96a59ef866d0bbceab3077be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq NumZero False Passed
7c31459b13d9adca4e290446ab219b2ef290b125 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq NumOne True Passed
6dc39aa40928fef00703519d9c1811cda0023b96 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq NumOne False Passed
268041284b002236e6a5344be8ed5973e607e9b6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq NumMaxInt True Passed
78c1f92b50d66698d910377744a5c7334c92690d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq NumMaxInt False Passed
033e61319dfb6da6f0630fa8ded84b828a577c38 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq NumUnaryMinus True Passed
0cf1e8aa920ab2796ad501bf233d15ec3b07d788 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq NumUnaryMinus False Passed
b2443255c3b38815ddad2d191540fdf451eed258 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq NumPlus True Passed
f6bf53962761688cff7751f4b68dcdfc0908cac0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq NumPlus False Passed
93c060971baa5a328c5b6e4ffc955af429aeb55e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq NumMinus True Passed
36fc18a30cb50f14cfd987f841beb3b936bd790c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq NumMinus False Passed
02ee3541e4b04cb870a3e73275dfa0f6ce12f80c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq NumMul True Passed
dc65705484cd05afba28013802a1ddb9592f9a6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq NumMul False Passed
eeb7f4ec71e684a74df841ab5edbeb845b3bb164 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq NumDiv True Passed
2620ada82be2626ce14f89e3a0dc7f697e68c406 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq NumDiv False Passed
e2c39521cacfdc32935a3163aebc0c2f59be3062 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq NumMod True Passed
a5d86ae555487c0801cfc5c30d2959feb2d34c5a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq NumMod False Passed
aa1678f7506f4cda027b0b2bb26d1419eeb897a2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq NumPow True Passed
d4598f472d498ac425f1b51072b09b672ef615fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq NumPow False Passed
baee64dcd07cd606706d33170d87a66168edc29c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq Def0 True Passed
40a1436acd1342a23495f3255c82a4b25da6357d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq Def0 False Passed
88f98414e97152a412264b6e71b56a6e69c55481 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq LetDef0 True Passed
0aa0bb8462ecc51aee0e6d17fd1c5d77800891e4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq LetDef0 False Passed
08b3e90060fc87eb92945f0617886697272772b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq Def1 True Passed
e3df60bedc25aadb67f521a2b44b2725075effe1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq Def1 False Passed
58ab9109459175e4864c96c339bdca9c6ba054af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq LetDef1 True Passed
04192a3c300d5b08b58baf7c4179e157850e822d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq LetDef1 False Passed
08f9e7505c5fe15047738dc444dfb540bce060ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq Def2 True Passed
c89c85857a64bdee94e0e802b8e705e20f34b73a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq Def2 False Passed
905ba4f7e18b128f101facaf3196c4777caed13f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq LetDef2 True Passed
b7c06389796e6632bc80aa6f33ae498bb1995119 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq LetDef2 False Passed
b79b96ec214c3ca449920b6053b2146c9b821079 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq Def1Recursive True Passed
0e8d467a4692fdbb5d88635facc77429ffd758df TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq Def1Recursive False Passed
0016248c34e118c4456d6d6f26becffd73509d42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq LetDef1Recursive True Passed
2edf56780f3a3e8ce477579e4933712d3fa29aaf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq LetDef1Recursive False Passed
92a53bcb90237f469ceff9dea181883e5a4df177 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq Extends True Passed
19d127079fa6dbe84bd82f70b5c29b78c252080a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq Extends False Passed
e0b8634d46e193b97d30bbce009351b19ecc543a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq ExtendsInDifferentFolder True Passed
ac5c0244b7d22353d2001c7becaa0a8c2d5bb3d9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq ExtendsInDifferentFolder False Passed
72058183b79bf825a3213def27ef2247475725b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq Variable True Passed
e1364331bc26d0167ece1ceecd607796fd40a1ea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq Variable False Passed
55ac6bc5c0128d19f2831f7855925a6f6826cdd8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq Constant True Passed
65fe7d17e010beb7ecdd1b049ece32aaea223db8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq Constant False Passed
644b06518a697446906d8c26b7387384600d288c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq ConstantRank1 True Passed
eab2f4b9379223b938dff7f6773a84382e018791 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq ConstantRank1 False Passed
86acc7d3e465d1a6a62904dab6a408aefe4b4e42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq Instance True Passed
2ffdba7f5276cdbbd6dbdc6de17539878614575f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq Instance False Passed
4d20ad348a35c49aef16860a03f675ef384cf805 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq InstanceWith True Passed
934c8b80bed455e9083f086b98e751dd43d2ee75 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq InstanceWith False Passed
6a59c013ecb2519b24cefcb317d04f9a666f70e0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq InstanceNamed True Passed
c4db549c533ff743391fd363462ec4a850f766bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq InstanceNamed False Passed
7db38d383d827f69b6b327288bd2288295e86278 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq InstanceNamedWith True Passed
09ee544e522b8354073d47d7b8bff63eccf0549c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq InstanceNamedWith False Passed
f6589705fdf1759f0bcb9a12700d23c39a11c305 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq InstanceInFolder True Passed
606d3ad333a9d54844b36b923fe07e87449bc480 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq InstanceInFolder False Passed
ccbc76933e52cc15b5ab47372eb78181b4042ff3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq InstanceWithInFolder True Passed
b5162caf69d0d87913b5201681fa224ca61768ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq InstanceWithInFolder False Passed
6fb09f13d69c479849771a816118c5f99987c5f9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq InstanceNamedInFolder True Passed
9f82bf591ed2607935e229b9fddb77ac6f2e8c81 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq InstanceNamedInFolder False Passed
ebdbd25e56f44917aa14b9ace7751ac70288ac6f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq InstanceNamedWithInFolder True Passed
b48d1530619c7a61ff3edab0c6c1f0687d29f322 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq InstanceNamedWithInFolder False Passed
180d36d45f030824e718776b768db3e18986c0de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq IfCond True Passed
bdf3bba9bfde913b4d29440516f8e9491ef9d7d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq IfCond False Passed
6881d3dd41e960b0d8e273281b163cfeccf73f0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq IfThen True Passed
679469abec353657b0f970f3940e70244fd1a4b9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq IfThen False Passed
99f6bfde96890e5f498f2aaa361f5e241a074774 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq IfElse True Passed
ad9a6758bb373cfdae436c9a0282a8bdf82ae405 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq IfElse False Passed
b8f9695274145f29f97e3e5a722d04662aeeb0a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq SeqLen True Passed
279b8b8e62916cbc59e4dbc02c05cf6aae6a77b7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq SeqLen False Passed
820aa3d08aed7bbb3052d4e2c6fd318a0d2789e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq SeqConcat True Passed
7107749718f01a698d1b2000e1a97aa909fe4a60 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq SeqConcat False Passed
dacf358b5aaa0cf5c69911ee189856ecad3e6545 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq SeqSelectSeq True Passed
604737b63371ad353e234717c89cd590a8048abb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq SeqSelectSeq False Passed
626d0a17d36658fa86011d51a7d77ef10f207509 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq SeqSubSeq True Passed
10d300976ffc66d461247d80f484dba427396ce7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq SeqSubSeq False Passed
114a1e3fdd8aa2a9045adacdf097fc98f1cced7c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq TlcSortSeq True Passed
1c2a4c42042f6183f2a7284a676c130ead6413db TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq TlcSortSeq False Passed
215d1ca4912382cebd831babfdf735e8ec4c64a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq TlcEval True Passed
048717fe8743f07156c3246ad105538a412afe16 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq TlcEval False Passed
36761836ecd4f8462f18d48cc637d80183ffc846 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq BagCopiesIn True Passed
256d10b0220cddc9a51ce83612a33bb2d813e471 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq BagCopiesIn False Passed
5e37a8af0c4e7b8875a135fe94c5aaf5ffd0e9ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq BagBagCardinality True Passed
0fada821cc405147b999514f8934375814d29f0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq BagBagCardinality False Passed
4aad47f47e16b7e094a3c5f1f891c42fd877c9b1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq FiniteSetsCardinality True Passed
4ca18f88f39a6e5611980612ee789749ab59ce31 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq FiniteSetsCardinality False Passed
65b83c1fb6c5e0c6a6f9d231c5855e9a867c5d79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq SeqHead True Passed
f9359f5516181c364e0c3401c73c449d6cbdd463 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq SeqHead False Passed
5b629dec31991e1ed5b99e2292d5af5974de0918 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq SeqTail True Passed
42f72cc896ec1844f1f97b4628c3cfca75f4111c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq SeqTail False Passed
c99c26683e8dd0a509f20f2ae38c29c401800e27 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq SeqAppend True Passed
feea13b6da45fbd410c0ec800892445712983e08 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqSubSeq SeqAppend False Passed