Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
6b75f9f4447049cc2db027e7e39e684985e1573d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence OneLineComment True Passed
adcedc34f3f843bd4a41f63c0c65141a5bc7cd23 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence OneLineComment False Passed
cc51dd14cabed90991667d8899a3a415f7864851 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence MultiLineComment True Passed
9f59661cd3be49c1256b0b556810171a0677e340 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence MultiLineComment False Passed
74f7e6821a05212171f6eb3774c62de26f009de3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence BoolTrue True Passed
304f839b86a56bfcc230a8a80ad3fb3aabc1cf3a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence BoolTrue False Passed
874e2e560ebda64123443f6457604da35e0ac27f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence BoolFalse True Passed
7d1abd282bc57a543c2507602516c6e6d55e6520 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence BoolFalse False Passed
dd10a7503f23cb5403c0f1161b512accf181691c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence And True Passed
9aa9edfcab67079fbecc0e6201a72b4c850d4e13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence And False Passed
13320b3e1897a4fea845391de03a7968d7c31127 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence AndMultiLine True Passed
a12b59aef8273112fa9c8de4ffcb43c7f280eee1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence AndMultiLine False Passed
33bc39cb60e2803c1fe0e4de76f6ce8c3bfc48c7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Imply True Passed
a4ccf2576868f05eb257b8868c233a2fbe0c92cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Imply False Passed
7f1841fe529816ff9ce712179a417230cd4d915a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Not True Passed
d1ec344fee20339b074e800af3385ee6a0f059f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Not False Passed
6bf1198c66f3ee5867c5218171ae547cd5d68e9d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Or True Passed
13c7af5b6c280be2bc2c52cc81bee93970952bcb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Or False Passed
609037a68cf0b7c10a5c474752b03e26af8717c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence OrMultiLine True Passed
12962673a835bcae3bbce6cfc6e73b4a6ddb5985 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence OrMultiLine False Passed
96fd5e9d19933fbf09c6c60033d3f05ffa3eb0f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Eq True Passed
1685a638344966c0a8a078a7fd86e16176141a0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Eq False Passed
4a913deb7fd8301f92c762685b69d41d18f8abae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Ne True Passed
d60469f847360d0375280f28e430f113568259ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Ne False Passed
a561c32ae5333377f3744161f7c6a82db1430fd5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Let True Passed
28e7c33a303cff490d8b509a0efab85b007ca8ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Let False Passed
6e0f101e6f0773ff25b6f74365037928d8320170 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence In True Passed
2e88c279c5f81449a98daa7a52d02d5a5ed54788 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence In False Passed
2ca2a1279d49a85f4e3325c2feba0d4eda2306b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence NotIn True Passed
1c0748cdf7e471b5e8a20f9dc2288282b939754e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence NotIn False Passed
4a7395e2f22182dac42a50869bf5e347bae85168 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Exists True Passed
c46bb9d79bb0aa0377fe5186dc74019f74488c14 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Exists False Passed
66fb281b1d11b1418180f98d51b615dd5de4a630 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Forall True Passed
d5e863f5a0669558b192fd6c00a202f14e7667ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Forall False Passed
047ef6825b274b77fb4265b05d605a010ec5c510 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Choose True Passed
a179169b1fbe986699da1706be0d9fcbf7ef6007 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Choose False Passed
5486f939e6d3807b863fe1971ab0584d09d352e2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence FunApp True Passed
36ce298437cc7c5ea1eb013affbddf066a8d2395 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence FunApp False Passed
5d20e4aa9ff149dc796fef6efbcf840ae45b3592 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Prime True Passed
5e3cb5a23dfb9abab40784106952fa8fa98256f0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Prime False Passed
7b78f762e3ac5d8d9014fcaaaff91acfe1bae9cf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence NumGt True Passed
3787e00dbdaf0d9fec3765183091dd2e4b173c68 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence NumGt False Passed
6c5d7706d394153384bfbe565a934aee39ae9231 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence NumGe True Passed
01b708e971406852a3f7d0f9907d23bd2d96be33 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence NumGe False Passed
9c94c474842071b4dce084a35e44e7a13c883398 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence NumLt True Passed
54ee25526887ab1b31ced0a808d53112548e054c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence NumLt False Passed
669ce21705e2253dbe898823a137d8ecfd6cbe58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence NumLe True Passed
dd150098ac847f0ea946f2668a7bd5d6be399ac4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence NumLe False Passed
1cc32a189e494f511bba458a8d857fcc713ec23b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Def0 True Passed
17e200051dd6994107106f2c2ba0628428a1f6da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Def0 False Passed
bf4b9c2769d2eb946d11523ae37d1846c7ad6b58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence LetDef0 True Passed
958f0c301aa7f0b3c274eb5b0dcfa3d2c213c7b5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence LetDef0 False Passed
190b7d7dc2f828060dcd4d4b6238a29af81c7112 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Def1 True Passed
a764021869f1d85e74bfb84e4d80fb09d3c27922 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Def1 False Passed
beed2da187f686ca3ca5adc0a25256df54942658 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence LetDef1 True Passed
e8c5278a41557440971e98083fe4cd5e9b47fbe2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence LetDef1 False Passed
b5f5f5ef46ed284439525a4310fc9e88c3f54ff6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Def2 True Passed
9f8510e3ca4c36a0b4203b4a28c96088a0e8e59b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Def2 False Passed
131a5eaaa4d0ef68993a0b64ac28f9141d195f33 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence LetDef2 True Passed
2ee9cf3544bf5abaa228dfe8a1e87d4c1d18ace9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence LetDef2 False Passed
4ac04b8eaf788009ba7a39f2af7711b7f5c03929 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Def1Recursive True Passed
40cf09496c6ffd94b6ff7ce6e170023a61c6eadf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Def1Recursive False Passed
46507e4f3978e90fd449e24a521a63958680ffb3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence LetDef1Recursive True Passed
f41a58762810a99b4ada579bc46d17748bd854bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence LetDef1Recursive False Passed
2f98de22b87d2a5f89631ea828ffb5c88dcda3ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Extends True Passed
5bf5f0ebc8198047a9c504ad9bc39cdaa5384869 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Extends False Passed
b47e37f3a83a3d418c7e49b0c0fcf20f7ca7a2c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence ExtendsInDifferentFolder True Passed
7b5c7359d49884c57bf0467f75a08ded4bac188b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence ExtendsInDifferentFolder False Passed
608fc28fbbb77efd3e21d170319deca274a90590 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Variable True Passed
19dd4b77e974e4374ec2928b51f44b4c5cb798a7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Variable False Passed
509cae92fa530e4ba7daaea5dc4a81a6350fa9be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Constant True Passed
4b618b33e693206ff11c6795a66ee32925aa4add TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Constant False Passed
7314b3eef29ef28e869f796db25f20bf23816876 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence ConstantRank1 True Passed
ed2ad5d8c1d29823928905eee1baff17aad76dcf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence ConstantRank1 False Passed
3ca4cc158a080e1ec2cb0a4cf94653ce4b9110d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Instance True Passed
4283d79db91b3c56dcf35a07d5ca086b4543f27b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Instance False Passed
4c1ba51299319b4492e9a0e2b140314155457fd2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence InstanceWith True Passed
50c57891024c0e6c42c043dbbab9dbe0a772711d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence InstanceWith False Passed
4ba233c69cfa4d8f963e31dbc7c7c7cc97cd964a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence InstanceNamed True Passed
b7cf8a9b086b42db9f11637ac0e1458a9364a492 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence InstanceNamed False Passed
bf79d06990a683904ccaf1d836028de6aae560d1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence InstanceNamedWith True Passed
5d7d8ffcbdfd8d9236d1bd02f96ebd16c41ba26f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence InstanceNamedWith False Passed
3c8f3a9624bfe9e7bc75ebeaa27cc68e37a34e99 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence InstanceInFolder True Passed
7b1c7e9c8e7f73742e367751a6a8454f71c5665c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence InstanceInFolder False Passed
35e3fe0bb84562fa334200462292a020221cf761 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence InstanceWithInFolder True Passed
03771ce1b37257838aac33dd4a07c1f61750845e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence InstanceWithInFolder False Passed
fbba85f2c281e35e7be6f7790ae049f79eb40760 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence InstanceNamedInFolder True Passed
fab8ecb729814086d3130c630379ee72fd8c0644 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence InstanceNamedInFolder False Passed
dfe24dac3d8ac1bf109a862006542c42b76000ad TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence InstanceNamedWithInFolder True Passed
a7c45b4eba3005a0855855407ed4c7527f788f7d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence InstanceNamedWithInFolder False Passed
da7da34462f959a0ec276c4e7af45d333d2117c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Enabled True Passed
867c562288bf6b4a6027de9e9748277e2621e6a9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Enabled False Passed
4c5d554139eb2b6d0f7171d382bb05a2b4cf7baf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence SubsetEq True Passed
e7a926637c0add3ce5e2e6eb9c00f86e160ddfc8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence SubsetEq False Passed
804e7a79057e1c5b38113fb468d25c5c4ebca66e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence IfCond True Passed
065e58743def43989c778594d1b6736561ba8f8e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence IfCond False Passed
64bdb9c39d12646f6619e8f2de7b8a1a438ea93b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence IfThen True Passed
a0377bd17405d4eb77dc6c72728640bef5127c60 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence IfThen False Passed
1f9bcd12dc41ae8ee08dd24d424613ad2eaffd81 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence IfElse True Passed
fc905989fb32e52c683174e7a715fcd7eb125b5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence IfElse False Passed
f6481e443b7fba2c5ec02305b30cd9e4a983085f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Unchanged True Passed
8036981efdaa62638531911d361c734e7893d354 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Unchanged False Passed
a305fb92604de5a3aa0d00dc11cf4e066b53f958 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Equivalence True Passed
69191237b107bbfd02b781d0f0d72cd11298e27b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Equivalence False Passed
beb45271d01beb73fb184eb5d7661a7d8ad0c5af TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence TlcEval True Passed
ffae997db89cb4986d21274d7832aa9615d76613 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence TlcEval False Passed
3a9479d1a0d310172b93407b3fc24eb9b56dd224 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence BagBagIn True Passed
c3d3a12b255259f7f107c52bf43962a9b65cbd42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence BagBagIn False Passed
8f153c356315fd934f8ddd5af185846b53417ce1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence BagSubsetEqBag True Passed
6c50613d3e17993775ee62dd14776b0308b53636 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence BagSubsetEqBag False Passed
929889b73c85d10d791952cc2dbf9507c2b1ca11 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence FiniteSetsIsFiniteSet True Passed
039039f8672a587cdcd2ea1be72b562e10fc9e5c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence FiniteSetsIsFiniteSet False Passed
d0ce49cf0e7615a1b71e30a20e50d7fdc57763e8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence SeqHead True Passed
0be328b49df2ee2216def9c8068fc5da68c9a779 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence SeqHead False Passed