Index


  • Introduction

  • Skipped feature combinations
  • Failed test cases
  • Tests by feature combinations
  • SYMMETRY tests
  • Tests under anomalous conditions

  • Tests by feature combinations: -workers 2
  • SYMMETRY tests: -workers 2

  • Tests by feature combinations: -workers auto
  • SYMMETRY tests: -workers auto

Tests by plug feature TlcEval; CLI Option: -workers 2

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
c05516f6a7c9d5e493e977ecd56543fb87919882 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And TlcEval True Passed
  • Model Under Test
  • Equivalent Model
c926c577e8e3c935b66b642a1094fb9987a0e250 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And TlcEval False Passed
  • Model Under Test
  • Equivalent Model
17b3cb88d425f13b2e6bf1764cd27d727a29a0cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine TlcEval True Passed
  • Model Under Test
  • Equivalent Model
5f9d9ba8a827af2dac51fb2fd9d730c49029f6af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine TlcEval False Passed
  • Model Under Test
  • Equivalent Model
520105fa16189e10cd4fb607fe24b84250ce2d9e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply TlcEval True Passed
  • Model Under Test
  • Equivalent Model
cfb8d910ec4a06dd52263ba5383dc4f85f277f23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply TlcEval False Passed
  • Model Under Test
  • Equivalent Model
adf8e9aa8e295665f25efedc8d0fb7d9c978ab60 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not TlcEval True Passed
  • Model Under Test
  • Equivalent Model
0cb835b9a583065d11116cd4cd3a81131f41a40d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not TlcEval False Passed
  • Model Under Test
  • Equivalent Model
37b66558029216ac5c328568e1d7b7d99c5633fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or TlcEval True Passed
  • Model Under Test
  • Equivalent Model
5f04890fc57628df68e9faec5475cf1d6e73cb1f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or TlcEval False Passed
  • Model Under Test
  • Equivalent Model
12ee3af8624a37c4f3acc5c992858b4cc50291df TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine TlcEval True Passed
  • Model Under Test
  • Equivalent Model
cef476e0ca4917b25e35f489531be940177214e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine TlcEval False Passed
  • Model Under Test
  • Equivalent Model
c7b2d60f77a84078c565944ad6d8f6e2bf8d8470 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp TlcEval True Passed
  • Model Under Test
  • Equivalent Model
0aac959e7467a4b138fc65060598842c66b2baa4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp TlcEval False Passed
  • Model Under Test
  • Equivalent Model
c471219392472176eced444962f4cfe953455ec8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed TlcEval True Passed
  • Model Under Test
  • Equivalent Model
52467b341614a8538d580a924e228d07fbdeb230 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed TlcEval False Passed
  • Model Under Test
  • Equivalent Model
c1bb86f15a9fa99d5b7e6be7f487e7fba30cb390 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq TlcEval True Passed
  • Model Under Test
  • Equivalent Model
b3fe2c452c5731de3520caf77da1ad863fbdd1a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq TlcEval False Passed
  • Model Under Test
  • Equivalent Model
ce38650b94e97f08ac4092330f98a9b095077e22 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne TlcEval True Passed
  • Model Under Test
  • Equivalent Model
a4cbfa178af9570e8e0750fbfced95cb881a85ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne TlcEval False Passed
  • Model Under Test
  • Equivalent Model
ec4a71a51ab52c2c80aaeffcff4a6ddb161b916a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let TlcEval True Passed
  • Model Under Test
  • Equivalent Model
55be4039e849e7cf355cff934828b6dfb68c13ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let TlcEval False Passed
  • Model Under Test
  • Equivalent Model
f023a304e05b9efe7cfb10637176c957bf175f78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 TlcEval True Passed
  • Model Under Test
  • Equivalent Model
16d643f7e8a8c82bd1aa5c63b626ec5b1f3f237e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 TlcEval False Passed
  • Model Under Test
  • Equivalent Model
fca0c6e05ac6d4a7e8c7c4dcf514471283b2a5c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 TlcEval True Passed
  • Model Under Test
  • Equivalent Model
d5838f2ee4bbdfe6bafc38f98acb894a6c677a2b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 TlcEval False Passed
  • Model Under Test
  • Equivalent Model
7fe7658c984088143d9fad91aa03ffa34ee6321b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 TlcEval True Passed
  • Model Under Test
  • Equivalent Model
9150c8a361781ccee9d16bc07d3877b86589c99b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 TlcEval False Passed
  • Model Under Test
  • Equivalent Model
936bc957a49828fbb5f3b92608a6a622cf4c6d7c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun TlcEval True Passed
  • Model Under Test
  • Equivalent Model
be56d944714f0beabf4f967bdd0c7997793a5724 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun TlcEval False Passed
  • Model Under Test
  • Equivalent Model
91acf8c159e98a7a30e2a9ce6c2f332cb0ab1928 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In TlcEval True Passed
  • Model Under Test
  • Equivalent Model
4159205fa04f5d5151f36cc0efdfffd007275913 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In TlcEval False Passed
  • Model Under Test
  • Equivalent Model
9eddf44ab481a7c152bc4f69b5697f10a8187932 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn TlcEval True Passed
  • Model Under Test
  • Equivalent Model
891f8ff7ab6d63dc0855580a22842c88da3ce3a2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn TlcEval False Passed
  • Model Under Test
  • Equivalent Model
5a5a88174a91d3331e35dc95c5aa4604b7a29116 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists TlcEval True Passed
  • Model Under Test
  • Equivalent Model
529af93b778f20f244d709b3e83e64635705f2d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists TlcEval False Passed
  • Model Under Test
  • Equivalent Model
f24688cdd59389fb67ee63d9e76efe218b876d7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall TlcEval True Passed
  • Model Under Test
  • Equivalent Model
085649f6e47afb7b5da0c7c7b581d2fb19485a82 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall TlcEval False Passed
  • Model Under Test
  • Equivalent Model
053b1c3a59697980205d4864df2b112b543f19a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose TlcEval True Passed
  • Model Under Test
  • Equivalent Model
97d656bcbc6b5fceaf0a95d58354d17f3548753b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose TlcEval False Passed
  • Model Under Test
  • Equivalent Model
ab0d3282266d3f464371b8c19d22637bf03ee772 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record TlcEval True Passed
  • Model Under Test
  • Equivalent Model
d92649d0d0663f10ff62344cacbb4e92d1839402 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record TlcEval False Passed
  • Model Under Test
  • Equivalent Model
6201f4ea28c216ebb0d3d5291510bff48ff7da87 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple TlcEval True Passed
  • Model Under Test
  • Equivalent Model
597193d3f033fb0f7cf1e082396e986939acc17e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple TlcEval False Passed
  • Model Under Test
  • Equivalent Model
08680db7b453822cbf4f7948a821b8754287caf8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp TlcEval True Passed
  • Model Under Test
  • Equivalent Model
0f2822e03193a2e45608359345e3e1c384948dd2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp TlcEval False Passed
  • Model Under Test
  • Equivalent Model
262bfc1c4429bf465f854febcc6f4584bca9a3dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 TlcEval True Passed
  • Model Under Test
  • Equivalent Model
2076669c6cf9884af4f15091e4d2fc03e0d97af1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 TlcEval False Passed
  • Model Under Test
  • Equivalent Model
de969127820c1ff1ac285620088df648b23aff1b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun TlcEval True Passed
  • Model Under Test
  • Equivalent Model
777f1d8d48960c535a8178a0738134c02f6b0369 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun TlcEval False Passed
  • Model Under Test
  • Equivalent Model
053361dee64e55c9a48578f1e9adacf7e018c8c7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt TlcEval True Passed
  • Model Under Test
  • Equivalent Model
160a07851d70b75c4bdcb4174095474a3aed6cfd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt TlcEval False Passed
  • Model Under Test
  • Equivalent Model
ae9ea5b201c4d774dc389a9d3d92797fe1633448 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec TlcEval True Passed
  • Model Under Test
  • Equivalent Model
4ffc8e52909d397778361d66d8fd7b74810a30b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec TlcEval False Passed
  • Model Under Test
  • Equivalent Model
eca14acaa4ad8cc4f5837df528a09ef065c31e5a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt TlcEval True Passed
  • Model Under Test
  • Equivalent Model
9303dee990329fc2ad27396f2e5d694c6e80f1ac TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt TlcEval False Passed
  • Model Under Test
  • Equivalent Model
05d8940273ad45ced5c8f782945c69bc3af0f61d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun TlcEval True Passed
  • Model Under Test
  • Equivalent Model
b365d6cf651814d9e1f1c2bd542f80d0444d317e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun TlcEval False Passed
  • Model Under Test
  • Equivalent Model
4d2790e9d1577ebc5977c3dcea7f5e2d57a813cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple TlcEval True Passed
  • Model Under Test
  • Equivalent Model
4bf0909d121328009dde682c7a3a7914660e5eeb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2FunTuple TlcEval False Passed
  • Model Under Test
  • Equivalent Model
93b3ffcc807adff724e303c29567581a55fe3a8b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime TlcEval True Passed
  • Model Under Test
  • Equivalent Model
81ffc4cf717a58d9a162ea8deebb5016767c15b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime TlcEval False Passed
  • Model Under Test
  • Equivalent Model
1e5e84a915d5a4c2db29def93747f7fe6435c547 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus TlcEval True Passed
  • Model Under Test
  • Equivalent Model
baff21ab1d20937dc27cb9023a3ca223abe3ba6e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumUnaryMinus TlcEval False Passed
  • Model Under Test
  • Equivalent Model
95d473b1f810772cb7b9c04b8e06fc9711d19ce0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus TlcEval True Passed
  • Model Under Test
  • Equivalent Model
4fbda55a559fe13089606e77a966cb21221ae4d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPlus TlcEval False Passed
  • Model Under Test
  • Equivalent Model
b3e4c0836c12a8f663e376a6f730d562e3270136 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus TlcEval True Passed
  • Model Under Test
  • Equivalent Model
04f809c2c7c1d1d77f99f66e647984ebed726bfa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMinus TlcEval False Passed
  • Model Under Test
  • Equivalent Model
984f7aac551c64c8d8e316bfab67bab44f035b9f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul TlcEval True Passed
  • Model Under Test
  • Equivalent Model
10d346260985885da22d38cdaf7b15a8c188abde TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMul TlcEval False Passed
  • Model Under Test
  • Equivalent Model
71928f5fa43b06b81fc35a34e33ae399324583a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv TlcEval True Passed
  • Model Under Test
  • Equivalent Model
808569b6eab2f1215631e207322bc6deec3acd92 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumDiv TlcEval False Passed
  • Model Under Test
  • Equivalent Model
d92bbf52c8d9f91a1ccbfad38766fd2c353f1c96 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod TlcEval True Passed
  • Model Under Test
  • Equivalent Model
50840fe073f8ff44f0c90ee55e73b12cb5e01ef7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumMod TlcEval False Passed
  • Model Under Test
  • Equivalent Model
c22a86b401857849a3591a6a6b92f488ea8b23d6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow TlcEval True Passed
  • Model Under Test
  • Equivalent Model
04f4f19857bae134ca28f83cb50d075979543264 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumPow TlcEval False Passed
  • Model Under Test
  • Equivalent Model
b3552a7eab6b41b8670a2c8c5cca0da9bda41d11 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt TlcEval True Passed
  • Model Under Test
  • Equivalent Model
ff82a1d7c38c9679da9d4020d62b69e9ce76e0c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGt TlcEval False Passed
  • Model Under Test
  • Equivalent Model
156ebd35cb9d4fb7ef4a77a4ed4fc2371f2b0116 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe TlcEval True Passed
  • Model Under Test
  • Equivalent Model
86a4d4c8f3fbfbbe31fc9d1853b4ac303e576473 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe TlcEval False Passed
  • Model Under Test
  • Equivalent Model
522a85c928fdcb010cde76add9cab490582d3aa2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt TlcEval True Passed
  • Model Under Test
  • Equivalent Model
c3e4add4ac8613a0d573f56b402dd39743c5de06 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLt TlcEval False Passed
  • Model Under Test
  • Equivalent Model
48e420dd4eb8bddddb3cf29589d5a70b7c8c1c60 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe TlcEval True Passed
  • Model Under Test
  • Equivalent Model
e4eccc1871a8c5abf04351a11f27307003553569 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumLe TlcEval False Passed
  • Model Under Test
  • Equivalent Model
1df42ab3508bf907c79d38792082e13a16c5c707 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun TlcEval True Passed
  • Model Under Test
  • Equivalent Model
b6c7c53ade5b58391475c275d0c7804ac7e25050 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun TlcEval False Passed
  • Model Under Test
  • Equivalent Model
5de2a7e815c884d9de91fd2c56e82627307a0f7f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun TlcEval True Passed
  • Model Under Test
  • Equivalent Model
1ead7c38446f94fe5fa3c23dbfa27448da8d728a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun TlcEval False Passed
  • Model Under Test
  • Equivalent Model
506c702a6e6f5dfc93e3092193ff68447002847a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive TlcEval True Passed
  • Model Under Test
  • Equivalent Model
7d02bedec04e57834d2a38fedfc292dae412b23f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive TlcEval False Passed
  • Model Under Test
  • Equivalent Model
509f3e00aa4cc1a6eeda718bba83ea0ca5d6e8ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive TlcEval True Passed
  • Model Under Test
  • Equivalent Model
d9ffe66723fe44fb7546722ece634c66d15c23fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive TlcEval False Passed
  • Model Under Test
  • Equivalent Model
732b112f9a0aa9e7809eebfcdb3b60d96cac542e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 TlcEval True Passed
  • Model Under Test
  • Equivalent Model
708e8a5d219c23ce9ec72aed72df228efacf84f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 TlcEval False Passed
  • Model Under Test
  • Equivalent Model
d9f62e31dc1cdb98dba5dfcd226b7ac05f82f749 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 TlcEval True Passed
  • Model Under Test
  • Equivalent Model
1e625d9a814e05eee699d4f1004acc607fa43b95 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 TlcEval False Passed
  • Model Under Test
  • Equivalent Model
608e577fdd4135494f73c01fc9d87cf1df1f530c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 TlcEval True Passed
  • Model Under Test
  • Equivalent Model
c2689bec7895a2d096180808b927fedfb0867f3f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 TlcEval False Passed
  • Model Under Test
  • Equivalent Model
3748f92ea7b2ab08552ea440f0083d880a615dcb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 TlcEval True Passed
  • Model Under Test
  • Equivalent Model
2ac67a0e4b5bed842430e5b24624b766324ded4e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 TlcEval False Passed
  • Model Under Test
  • Equivalent Model
65fea2dbac7420e99607f398dfe09522ab44080d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 TlcEval True Passed
  • Model Under Test
  • Equivalent Model
1b196327ad41380ce7b242222fe9d03dd8b2c746 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 TlcEval False Passed
  • Model Under Test
  • Equivalent Model
e9f16b7c13e2602863b1f64a683c6c105ec67369 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 TlcEval True Passed
  • Model Under Test
  • Equivalent Model
e67c03a69261d84950fe9c522c6290f3fba17df9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 TlcEval False Passed
  • Model Under Test
  • Equivalent Model
413fcb790638c3f2838249eaeed06ff49dd66863 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive TlcEval True Passed
  • Model Under Test
  • Equivalent Model
44bcc2998c3386f0262918abd32ebc34de36aacb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive TlcEval False Passed
  • Model Under Test
  • Equivalent Model
d0cc0fb8874c88bd73182c07a1641e7801c781c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive TlcEval True Passed
  • Model Under Test
  • Equivalent Model
e944b836a818f7e45f51356ae6900ea5702fd617 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive TlcEval False Passed
  • Model Under Test
  • Equivalent Model
2c5def8b1c0ce53d8fa2bc3abf0741f0a7e49bc3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends TlcEval True Passed
  • Model Under Test
  • Equivalent Model
20c8c11023ce77656878c850a78315a40ba14311 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends TlcEval False Passed
  • Model Under Test
  • Equivalent Model
55478ba82c6218432fc5c398fee1a20afe1009d8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder TlcEval True Passed
  • Model Under Test
  • Equivalent Model
017abc9a2c9eed45d402eddd0efde3167e97bb6f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder TlcEval False Passed
  • Model Under Test
  • Equivalent Model
7634379b4df6fc9b70c01c28feaa17df0f272523 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable TlcEval True Passed
  • Model Under Test
  • Equivalent Model
4f9c11c5c86884926b58180a12b064ab4fea92a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable TlcEval False Passed
  • Model Under Test
  • Equivalent Model
5efa372ddd0f95f387090acb58be830234ecba65 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude TlcEval True Passed
  • Model Under Test
  • Equivalent Model
63e90915b25a6a9d2f0a55d96c897d98325b081e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude TlcEval False Passed
  • Model Under Test
  • Equivalent Model
2506f85a49b5435b61184b5792ffc86340b7afd5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant TlcEval True Passed
  • Model Under Test
  • Equivalent Model
307de950118a842a3826ad9e9c448c1a84a5d789 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant TlcEval False Passed
  • Model Under Test
  • Equivalent Model
e5645eee8f75d9f5127ed94412958149c83fb465 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 TlcEval True Passed
  • Model Under Test
  • Equivalent Model
40c05b65d71ad12ec37899e4fe020a8b69114a5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 TlcEval False Passed
  • Model Under Test
  • Equivalent Model
8692a85fee52e90fb0432c1623da21b3a90136f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance TlcEval True Passed
  • Model Under Test
  • Equivalent Model
dcd3353495019e3abc47a8368cc9603ca8782501 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance TlcEval False Passed
  • Model Under Test
  • Equivalent Model
cb7edef9a09977e80636c74f27182145457533b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith TlcEval True Passed
  • Model Under Test
  • Equivalent Model
8879c3218eba59390df2a016114bd6186956365b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith TlcEval False Passed
  • Model Under Test
  • Equivalent Model
856f460261d76d7b4d56e18aefd8c10830972446 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed TlcEval True Passed
  • Model Under Test
  • Equivalent Model
a5b9c522fce0272b399bfb633cee09f43e7bd28d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed TlcEval False Passed
  • Model Under Test
  • Equivalent Model
955379d974e56785f2b14a131f553483957cac2c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith TlcEval True Passed
  • Model Under Test
  • Equivalent Model
5679d683c4eea60fe16886f5a5954c660a05f3db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith TlcEval False Passed
  • Model Under Test
  • Equivalent Model
a755f89d7d4779507c7b84bc2fc60ae2d7e93691 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder TlcEval True Passed
  • Model Under Test
  • Equivalent Model
90fbbfad16febe78dfd02ca124aeca4632695c65 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder TlcEval False Passed
  • Model Under Test
  • Equivalent Model
ab2c7b7f3423ea6b7f1e7738474e5588535b870d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder TlcEval True Passed
  • Model Under Test
  • Equivalent Model
f0bb5cefdec2f2f8cd8904027807915d6ba7b733 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder TlcEval False Passed
  • Model Under Test
  • Equivalent Model
5867b1577d7ec0096737f7c94c9e048d7677aa7e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder TlcEval True Passed
  • Model Under Test
  • Equivalent Model
f3f5a5bf3e8bc31718f3bfd1a737d874b3fbb531 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder TlcEval False Passed
  • Model Under Test
  • Equivalent Model
de769bd36f093e74bd703a00ccfb1a918af9817f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder TlcEval True Passed
  • Model Under Test
  • Equivalent Model
5fcfb0aefd6e8eeec397a2cdad764f5ef21ae31b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder TlcEval False Passed
  • Model Under Test
  • Equivalent Model
867c99348b4be5163fba56173d1cbcea949717d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled TlcEval True Passed
  • Model Under Test
  • Equivalent Model
e943ca6ef08e080fcd959a82ab136f2384c42bb7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled TlcEval False Passed
  • Model Under Test
  • Equivalent Model
b1907683625c33b7cf94d7b9b72364f8c3ae110e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume TlcEval True Passed
  • Model Under Test
  • Equivalent Model
1d2e76f722968659183dac11f1d5fd3fc93a073a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume TlcEval False Passed
  • Model Under Test
  • Equivalent Model
7267ed0d3b2eca6f01305b1c933039cd59376b89 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed TlcEval True Passed
  • Model Under Test
  • Equivalent Model
5bd24451a3d45e3906b98af5755a97610db80a8a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed TlcEval False Passed
  • Model Under Test
  • Equivalent Model
76cb394a222703dbddf678bc8713f0ad9d369c15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda TlcEval True Passed
  • Model Under Test
  • Equivalent Model
1174cea9bb07398882b913e07671b0d5d817250a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda TlcEval False Passed
  • Model Under Test
  • Equivalent Model
239df50eeafb72cf944253978598dd7cd9bd9f0f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 TlcEval True Passed
  • Model Under Test
  • Equivalent Model
3d0ad0d2e2770ff80fb77e8b1670f0f15ac60ebc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross2 TlcEval False Passed
  • Model Under Test
  • Equivalent Model
9bd7b0e93e0c95ff08fb1461baa485d5fc28d108 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 TlcEval True Passed
  • Model Under Test
  • Equivalent Model
cc472997f7d324fdc59e4802a182cc2f7fb4c7a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Cross3 TlcEval False Passed
  • Model Under Test
  • Equivalent Model
dbd65a39e2abd7d9a39940f8a045aec4d64c836a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet TlcEval True Passed
  • Model Under Test
  • Equivalent Model
6d8c3e13471eefe4bfcdf2d6546b4c987b0b000f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunSet TlcEval False Passed
  • Model Under Test
  • Equivalent Model
c5175e3f7ffa50c392f5131917ad99f307e9a042 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet TlcEval True Passed
  • Model Under Test
  • Equivalent Model
af982c237ad702c43dcc48d8e9093dbc9445963b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
RecordSet TlcEval False Passed
  • Model Under Test
  • Equivalent Model
3986b9b4cfeb95cdc60b1997f9a389cb0800845f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff TlcEval True Passed
  • Model Under Test
  • Equivalent Model
7dd45d8c526a1a1b12ad9cb2f6fc62f79b0dfa99 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetDiff TlcEval False Passed
  • Model Under Test
  • Equivalent Model
142f4bcd37162187dc6139c56c52b9dab8d0f5a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion TlcEval True Passed
  • Model Under Test
  • Equivalent Model
372a43a813852390ecd9902d7737334423df5a98 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetUnion TlcEval False Passed
  • Model Under Test
  • Equivalent Model
d1579783c2b6907dee527229a602a1f8a319ae6c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect TlcEval True Passed
  • Model Under Test
  • Equivalent Model
67bfde26e557f302c2c348045c2b4beb593aa0d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SetIntersect TlcEval False Passed
  • Model Under Test
  • Equivalent Model
cc99be8fa090e7932da7d943edb499c0ea9874f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq TlcEval True Passed
  • Model Under Test
  • Equivalent Model
4957a6e40a01658e509e9917edf97bbd9756d77c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SubsetEq TlcEval False Passed
  • Model Under Test
  • Equivalent Model
4ad362cab37d493a1e80e39669d898a29d365105 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond TlcEval True Passed
  • Model Under Test
  • Equivalent Model
28cab3d9fca883058829779d5b847cfe771c5dee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond TlcEval False Passed
  • Model Under Test
  • Equivalent Model
3b8dcf5f482d897d3a7ca359d203f0201cf96e2c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen TlcEval True Passed
  • Model Under Test
  • Equivalent Model
8ccb2aba524f8938bccc939c2cc27ce544625f68 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen TlcEval False Passed
  • Model Under Test
  • Equivalent Model
1702312e0d8cd23817f4bd93e57a9c3c29ae7fd9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse TlcEval True Passed
  • Model Under Test
  • Equivalent Model
28425281b9c94933fc0b042a0d1758bf36c9bb63 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse TlcEval False Passed
  • Model Under Test
  • Equivalent Model
0c25d95910e67c3e017c43c809029b828fe2dc41 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset TlcEval True Passed
  • Model Under Test
  • Equivalent Model
8f91a0f3a5ce7f93950d938c583d2854c5e541b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Subset TlcEval False Passed
  • Model Under Test
  • Equivalent Model
f8f06dacfcae8cdf37d739fd18b597035e3255ee TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain TlcEval True Passed
  • Model Under Test
  • Equivalent Model
dd6fd47e0e831d16b7ff3d14f9fc467f4f66c90e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain TlcEval False Passed
  • Model Under Test
  • Equivalent Model
d086ec0030c2895765c68376c63c3705f0c77247 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union TlcEval True Passed
  • Model Under Test
  • Equivalent Model
966d08afa4db29b4962529b1e4a1dfc274b8dcb3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Union TlcEval False Passed
  • Model Under Test
  • Equivalent Model
28fdbc326472dd6e3d3cc53a83ecb2d71a8026c6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged TlcEval True Passed
  • Model Under Test
  • Equivalent Model
c8054c9f2b2d50b4af94a9f64af1b50f5a4fc6cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged TlcEval False Passed
  • Model Under Test
  • Equivalent Model
bbb436fd6120dc73f3a22e01290cff78e5680b72 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence TlcEval True Passed
  • Model Under Test
  • Equivalent Model
23d4cc04d2deaf02829bf302759a56cb997fa3ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence TlcEval False Passed
  • Model Under Test
  • Equivalent Model
b2fb9afe6d66abfa8e48b7ac88f6d93292f288cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen TlcEval True Passed
  • Model Under Test
  • Equivalent Model
b1396a0d5fa7abc47879850ef7d838be8a8782d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqLen TlcEval False Passed
  • Model Under Test
  • Equivalent Model
75d7d34348d8f58b2e479c430ed75724be0b21af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat TlcEval True Passed
  • Model Under Test
  • Equivalent Model
2c552726cfd42b7f5530cff95b0f6c63a733e0b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqConcat TlcEval False Passed
  • Model Under Test
  • Equivalent Model
c94828cb561f9266cc72060e2796436e719e52b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq TlcEval True Passed
  • Model Under Test
  • Equivalent Model
fb1829874332508134b20fafb6edc99ca7eaa778 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSeq TlcEval False Passed
  • Model Under Test
  • Equivalent Model
3b357eefe033ad897d92cb9414ed24f6907b984b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq TlcEval True Passed
  • Model Under Test
  • Equivalent Model
3e3a778bb5ad9ee403839825530b5a408bba253b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSelectSeq TlcEval False Passed
  • Model Under Test
  • Equivalent Model
dd94a8f7ae6eaedf79ea631f3b616f46500f53fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq TlcEval True Passed
  • Model Under Test
  • Equivalent Model
a072f407b0ed82b99010212788ce7a334e25a5ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqSubSeq TlcEval False Passed
  • Model Under Test
  • Equivalent Model
bbfb2224c9060a973f6aae2096338b785c6df416 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange TlcEval True Passed
  • Model Under Test
  • Equivalent Model
8bc359a396373e68019170fcfe46bb23c39231f5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumRange TlcEval False Passed
  • Model Under Test
  • Equivalent Model
29fb444a0d28cda54c975c254ec82dd2386395cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun TlcEval True Passed
  • Model Under Test
  • Equivalent Model
45ddcec3374eb7575e3b639fe9398360f948c98e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun TlcEval False Passed
  • Model Under Test
  • Equivalent Model
944ef4d3c1b4bbf752494e2e56d4c67e35eb498c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun TlcEval True Passed
  • Model Under Test
  • Equivalent Model
8c5293b077f767c1e39b4787076cc67f48184146 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun TlcEval False Passed
  • Model Under Test
  • Equivalent Model
7817059012788a6b08d3f1fea3e1400d0574ed8f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun TlcEval True Passed
  • Model Under Test
  • Equivalent Model
a34b57f4ade10c8de29956d0a769566484d70289 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcPermuteFun TlcEval False Passed
  • Model Under Test
  • Equivalent Model
e33c2db6879de1f86d65cf7da02040f891116241 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq TlcEval True Passed
  • Model Under Test
  • Equivalent Model
889e6e8ecb10c50358b6987953233b4faf049ed5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSortSeq TlcEval False Passed
  • Model Under Test
  • Equivalent Model
ead2566a503195e051464e825c18edc7717ea45e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval TlcEval True Passed
  • Model Under Test
  • Equivalent Model
1c1067dd5ae5694a79976bca87f830e435cf9fc0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval TlcEval False Passed
  • Model Under Test
  • Equivalent Model
099bc8ddbddd789983e86bcb68e8b01d721764c1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet TlcEval True Passed
  • Model Under Test
  • Equivalent Model
702493326a8dde6db155aa54894aec4740577d0b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagToSet TlcEval False Passed
  • Model Under Test
  • Equivalent Model
3e9a8e1f9676dfb5be157a44a51cbf913fe6149e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag TlcEval True Passed
  • Model Under Test
  • Equivalent Model
2fda14168524078acc0b704d708299ad57d67d96 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSetToBag TlcEval False Passed
  • Model Under Test
  • Equivalent Model
453a2810d67d5eee81b3c4e4f36ac95d6a39d8f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn TlcEval True Passed
  • Model Under Test
  • Equivalent Model
424b58e9a822fb418b1bfc4117f80053cfd2e625 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn TlcEval False Passed
  • Model Under Test
  • Equivalent Model
8c28e876f73dc0bbe17b30ed75c2482d4cec3fab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag TlcEval True Passed
  • Model Under Test
  • Equivalent Model
2ef20c4a37b1f4f6521ecbc0b21259d676fc0bc6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagAddBag TlcEval False Passed
  • Model Under Test
  • Equivalent Model
42b0af86a2ede7d6e157bb7bd5badfb85aad5bdc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub TlcEval True Passed
  • Model Under Test
  • Equivalent Model
8641ca25d4b2b26b95cc85dfb00d53d85e93f29d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagSub TlcEval False Passed
  • Model Under Test
  • Equivalent Model
b63c62940d11217d4571ad9aad3c9f9a63ab686c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn TlcEval True Passed
  • Model Under Test
  • Equivalent Model
061f066d19cdc368eb47c490fb2b53a086203573 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn TlcEval False Passed
  • Model Under Test
  • Equivalent Model
ccb8f524b455d672a21fc3af2a56d43350e99e4c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag TlcEval True Passed
  • Model Under Test
  • Equivalent Model
064fb14a2f487a621188ef34c9cb9b621d9833c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubsetEqBag TlcEval False Passed
  • Model Under Test
  • Equivalent Model
a13fb8559e3da8c27d94ec6d58f9b246dc1af147 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion TlcEval True Passed
  • Model Under Test
  • Equivalent Model
33dbc0d872f89b340fc38e2eacf697f103165bec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagUnion TlcEval False Passed
  • Model Under Test
  • Equivalent Model
d82580b4243c97f6a83d8bcaad94c226107934c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality TlcEval True Passed
  • Model Under Test
  • Equivalent Model
dfd9d666abfb73f479c90f579b8b9afcc411f4ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagCardinality TlcEval False Passed
  • Model Under Test
  • Equivalent Model
3b1bcf61fd7c481491c150edf8ec72387b49266e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll TlcEval True Passed
  • Model Under Test
  • Equivalent Model
61551f09353c387d1b49ead5712b93e7b8c96654 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagOfAll TlcEval False Passed
  • Model Under Test
  • Equivalent Model
344dc2b1cb2171ca9b6d688b02e35d985aa47e97 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag TlcEval True Passed
  • Model Under Test
  • Equivalent Model
c500520c53e2086bf806df626f1fd3b196c9fd16 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagSubBag TlcEval False Passed
  • Model Under Test
  • Equivalent Model
5de23736595d1d76d6eae965e13d4bb4dccfdaf4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet TlcEval True Passed
  • Model Under Test
  • Equivalent Model
1ec25c48eaf5478e456fa4ff4e46002d6ba1d576 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsIsFiniteSet TlcEval False Passed
  • Model Under Test
  • Equivalent Model
670f8f3c841e0aec7e56bb417cace95eacf9dc24 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality TlcEval True Passed
  • Model Under Test
  • Equivalent Model
956855b77ae47fb61740fb7c6fe86bada3508ab6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FiniteSetsCardinality TlcEval False Passed
  • Model Under Test
  • Equivalent Model
21ef694cf090d6ced918521ff51ba9bf9b517446 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead TlcEval True Passed
  • Model Under Test
  • Equivalent Model
9b76325589316f275cdddd0484721509144b0319 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqHead TlcEval False Passed
  • Model Under Test
  • Equivalent Model
c1cf30d82786a66063bb994880302e1c9f6b9738 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail TlcEval True Passed
  • Model Under Test
  • Equivalent Model
cd864b2bc3773b3225abd09f440c508ac8f4c5b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqTail TlcEval False Passed
  • Model Under Test
  • Equivalent Model
f95b4443d2a0feb2221de3a37531d6b9e11def62 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend TlcEval True Passed
  • Model Under Test
  • Equivalent Model
d3ce012775dcfe310757ff1d38b7d306bf445a1d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend TlcEval False Passed
  • Model Under Test
  • Equivalent Model