Tests by case feature NumGt; CLI Option: -workers 1

Id	Type	Case Feature	Plug Feature	Check Deadlock	Test Results	Test Models
9ff442485234a0f56fe1e1b3ca618d007652963d	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumGt	OneLineComment	True	Passed	Model Under Test Equivalent Model
cd454dfe2b09711b103234cabcb9b81170d4acc0	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumGt	OneLineComment	False	Passed	Model Under Test Equivalent Model
d34646bd633ab091ba214638f15ae03e441dd041	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumGt	MultiLineComment	True	Passed	Model Under Test Equivalent Model
866a2bbdfdab838b1001812997bc0ef4dd5931b0	TLC with reduction strategy: Plug Feature: Replace spec with the same without comments	NumGt	MultiLineComment	False	Passed	Model Under Test Equivalent Model
f0f62d2d2d81395411356eea3e6d6a580f6068c3	Apalache	NumGt	Let	True	Passed	Model Under Test Equivalent Model
7a79dcb52f2ae259c974a01f2ed792500ef15fba	Apalache	NumGt	Let	False	Passed	Model Under Test Equivalent Model
aba308bf8f93e1a40f30d3dd5eea444f559139e4	Apalache	NumGt	Choose	True	Passed	Model Under Test Equivalent Model
b299e82c0cb722887017712ec75c597c9d604d73	Apalache	NumGt	Choose	False	Passed	Model Under Test Equivalent Model
d31ba9b574abab71c8056e4344e549a51632eb0f	Apalache	NumGt	FunApp	True	Passed	Model Under Test Equivalent Model
e5fb607fd0960f53056a31e8a4f1c375e16bbd41	Apalache	NumGt	FunApp	False	Passed	Model Under Test Equivalent Model
214e9c2fb5e24a15f26cd58eecb846a104bf1076	Apalache	NumGt	Prime	True	Passed	Model Under Test Equivalent Model
10eb9dc463c3cfceecc254af4da2248d37f5b96c	Apalache	NumGt	Prime	False	Passed	Model Under Test Equivalent Model
8ef05b1da259fd11ef78ab75e856efc469343ad7	Apalache	NumGt	NumZero	True	Passed	Model Under Test Equivalent Model
84198dd4d859748dbfacfbbf9112d666fd35c3f9	Apalache	NumGt	NumZero	False	Passed	Model Under Test Equivalent Model
6925a9d88f409f9c84b0254fd6ebb97533ff3f18	Apalache	NumGt	NumOne	True	Passed	Model Under Test Equivalent Model
645383167daf79a3c2497a2c5c26fb1a7f0d9826	Apalache	NumGt	NumOne	False	Passed	Model Under Test Equivalent Model
a7f24237de0384129fb6746123f8299e6420ef10	Apalache	NumGt	NumMaxInt	True	Passed	Model Under Test Equivalent Model
ac8093f636a81d5227fb2fb3cffe50a6518cba53	Apalache	NumGt	NumMaxInt	False	Passed	Model Under Test Equivalent Model
eddffbf62c942fc26567ec0fceabe7059c121f57	Apalache	NumGt	NumUnaryMinus	True	Passed	Model Under Test Equivalent Model
85d645d5881a014c457bf625c8087801a4f6c566	Apalache	NumGt	NumUnaryMinus	False	Passed	Model Under Test Equivalent Model
280fb08bdd99f87e7d73aae4a8bcae7c9ba422c4	Apalache	NumGt	NumPlus	True	Passed	Model Under Test Equivalent Model
0654c25b5319b8e27b000e844634c6aa696e6fed	Apalache	NumGt	NumPlus	False	Passed	Model Under Test Equivalent Model
8d0c929c5261f31432ebb7e0f5358a5bd4c326a5	Apalache	NumGt	NumMinus	True	Passed	Model Under Test Equivalent Model
cf1de4a29dc02a074da0679212c652b0659af2eb	Apalache	NumGt	NumMinus	False	Passed	Model Under Test Equivalent Model
53e6e4bb357b86bb0c4bacd906c0d258a4619687	Apalache	NumGt	NumMul	True	Passed	Model Under Test Equivalent Model
ee70e0bb2ee402454b0cda6196c049af2935b661	Apalache	NumGt	NumMul	False	Passed	Model Under Test Equivalent Model
de805c6465306079a9c16ff63ed66c3e29b2bd00	Apalache	NumGt	NumDiv	True	Passed	Model Under Test Equivalent Model
c086cc9a292aa3fe85ddf9f7c5f23710ff147064	Apalache	NumGt	NumDiv	False	Passed	Model Under Test Equivalent Model
5e95be6dfd57fd2665a077f0add299f6075e36b1	Apalache	NumGt	NumMod	True	Passed	Model Under Test Equivalent Model
47f1b43315d1ec065745d94437152ff5eaf0d2d4	Apalache	NumGt	NumMod	False	Passed	Model Under Test Equivalent Model
df8aac76e791720f5dbd5dfa11be31edb6ff980b	Apalache	NumGt	NumPow	True	Passed	Model Under Test Equivalent Model
67ff93879a9107d1962e4b4cffffec8f21a43069	Apalache	NumGt	NumPow	False	Passed	Model Under Test Equivalent Model
1253aa3b469318f1b3cfb629f0a825ea899aa069	Apalache	NumGt	Def0	True	Passed	Model Under Test Equivalent Model
0b1ffa2cf23459f5cfd72cad7b27554500aa6248	Apalache	NumGt	Def0	False	Passed	Model Under Test Equivalent Model
553d4582a39f0aa92f7c101cdaab0523c0ef1da1	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumGt	LetDef0	True	Passed	Model Under Test Equivalent Model
2d5958b56f23e8c5ff49096aba5ab3a8c8ae6646	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumGt	LetDef0	False	Passed	Model Under Test Equivalent Model
c6788ff4a005715b81ed931c99bced15244fc1a7	Apalache	NumGt	Def1	True	Passed	Model Under Test Equivalent Model
d015df0e4c9512c848e966cb818cf0bc1c93e03e	Apalache	NumGt	Def1	False	Passed	Model Under Test Equivalent Model
d09dce59924ba0393e3284dd641681f68daa68a4	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumGt	LetDef1	True	Passed	Model Under Test Equivalent Model
ea89762a359510d72277603e026759ff4f9c353b	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumGt	LetDef1	False	Passed	Model Under Test Equivalent Model
fab6b77e1aee441627a9c3849e0289d809132e01	Apalache	NumGt	Def2	True	Passed	Model Under Test Equivalent Model
ef9ca72a9fdce64a6ac215b551cb94c75aebc898	Apalache	NumGt	Def2	False	Passed	Model Under Test Equivalent Model
8ed214e59ffca19e46ef65b2147ad18e8fc6a3bc	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumGt	LetDef2	True	Passed	Model Under Test Equivalent Model
ad52368e315fd71105fc0079e6720958a7bdeea6	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumGt	LetDef2	False	Passed	Model Under Test Equivalent Model
8afee4149bc5185e38e0555798aadace997db4f0	Apalache	NumGt	Def1Recursive	True	Passed	Model Under Test Equivalent Model
cd9a28fb311c6ab7d07cbc0a18de768a82b8f2ed	Apalache	NumGt	Def1Recursive	False	Passed	Model Under Test Equivalent Model
c4d2419000f6b1a764914161bd2ee93a654093b5	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumGt	LetDef1Recursive	True	Passed	Model Under Test Equivalent Model
25db17bdfc73163cf9d6ec09d99f354173a90103	TLC with reduction strategy: Plug Feature: LET definitions are reduced to global definitions	NumGt	LetDef1Recursive	False	Passed	Model Under Test Equivalent Model
611df6e90c31489f09e84b842811ffa709989b18	Apalache	NumGt	Extends	True	Passed	Model Under Test Equivalent Model
7a6f5b610f5d22232d25bf1d8f304cc649779698	Apalache	NumGt	Extends	False	Passed	Model Under Test Equivalent Model
4f8f56d43410c3c2215960d8f8df2b6107bc32cc	Apalache	NumGt	ExtendsInDifferentFolder	True	Passed	Model Under Test Equivalent Model
543c027a7b7352ceb5df118952a86d760a3b916f	Apalache	NumGt	ExtendsInDifferentFolder	False	Passed	Model Under Test Equivalent Model
3fb7ba3faeccb44804ad9bf538d2b1d9cc260947	Apalache	NumGt	Variable	True	Passed	Model Under Test Equivalent Model
9dd9a8d50af8c8032e7b2ab57e1f68d73ff61f44	Apalache	NumGt	Variable	False	Passed	Model Under Test Equivalent Model
baf5929610dc9e85cdf6aa061948cf7132de817f	Apalache	NumGt	Constant	True	Passed	Model Under Test Equivalent Model
61419e13f1af24490524dc682ce00ab2629a5764	Apalache	NumGt	Constant	False	Passed	Model Under Test Equivalent Model
e9adbb23c429e7effb3c5bd9cd39053a9d1155aa	Apalache	NumGt	ConstantRank1	True	Passed	Model Under Test Equivalent Model
cad38f9315abce6a8e7af9cce1cddf6cfa1bdb4e	Apalache	NumGt	ConstantRank1	False	Passed	Model Under Test Equivalent Model
28326f3dc8adb4e1d982a2f2f9f6df20328da5b8	Apalache	NumGt	Instance	True	Passed	Model Under Test Equivalent Model
1024fbeb7cca7caaff0ffcd88feb33701c01c538	Apalache	NumGt	Instance	False	Passed	Model Under Test Equivalent Model
56c3f8572acc9df418fe4c26d293266f22d79bbe	Apalache	NumGt	InstanceWith	True	Passed	Model Under Test Equivalent Model
5b0628419db75b477d6018f13d7f504231095290	Apalache	NumGt	InstanceWith	False	Passed	Model Under Test Equivalent Model
50eed444f4aa42066dec443ab0083a0e68a71470	Apalache	NumGt	InstanceNamed	True	Passed	Model Under Test Equivalent Model
9f2991b72dec051cbed43fd9e3ab720afb63aafc	Apalache	NumGt	InstanceNamed	False	Passed	Model Under Test Equivalent Model
ad5741f4f55ae185baf03e0ff84436865c197cd1	Apalache	NumGt	InstanceNamedWith	True	Passed	Model Under Test Equivalent Model
65ca1bdd5fc5b6f244c572e4b8379c5be27c1abe	Apalache	NumGt	InstanceNamedWith	False	Passed	Model Under Test Equivalent Model
1696d17d8c85b84d41fdc80867a93e8043db6ec9	Apalache	NumGt	InstanceInFolder	True	Passed	Model Under Test Equivalent Model
4a206451dc937ccaffd5d003c93f77c672f8e1ff	Apalache	NumGt	InstanceInFolder	False	Passed	Model Under Test Equivalent Model
f002fc31445ad84efa4c7bb49f1ec86b05bf39f9	Apalache	NumGt	InstanceWithInFolder	True	Passed	Model Under Test Equivalent Model
6496cf6aaeb925ae3917feb0a60630a153fcd4e8	Apalache	NumGt	InstanceWithInFolder	False	Passed	Model Under Test Equivalent Model
3093c8190e2713f7d245f23cde3740a00111362e	Apalache	NumGt	InstanceNamedInFolder	True	Passed	Model Under Test Equivalent Model
faa693a4a59795d76079196f595f03cdff0bad59	Apalache	NumGt	InstanceNamedInFolder	False	Passed	Model Under Test Equivalent Model
7764fdba1d4ca4830d62fc3300f2b5ec6e154312	Apalache	NumGt	InstanceNamedWithInFolder	True	Passed	Model Under Test Equivalent Model
e275f25c9eb24a6a750abd14291649b8e29e0cc3	Apalache	NumGt	InstanceNamedWithInFolder	False	Passed	Model Under Test Equivalent Model
f2007b06254848b2fdc2c7e180246604c3fe6bed	Apalache	NumGt	IfCond	True	Passed	Model Under Test Equivalent Model
3995ae35a5eabc53a1b5b5e9afd71f11ef2ae29f	Apalache	NumGt	IfCond	False	Passed	Model Under Test Equivalent Model
a0def85c7aa5bcce4473296cff11e6a80db72a27	Apalache	NumGt	IfThen	True	Passed	Model Under Test Equivalent Model
698a06b4d6e95486c4cc8523f92ddf38ffd4ed9a	Apalache	NumGt	IfThen	False	Passed	Model Under Test Equivalent Model
8acf19fd54e327f26dce7cd5451682282af1c0bc	Apalache	NumGt	IfElse	True	Passed	Model Under Test Equivalent Model
29a62a6a9aef42e9aac970e9b097d3edfa93279b	Apalache	NumGt	IfElse	False	Passed	Model Under Test Equivalent Model
305f51d074417881e597b8805954d879ec63ff2b	Apalache	NumGt	SeqLen	True	Passed	Model Under Test Equivalent Model
821dbe2d403f1268687897ab9d7cf0e3922f2ef9	Apalache	NumGt	SeqLen	False	Passed	Model Under Test Equivalent Model
4959c9a8859853d90bec57b1e4c74db811d32651	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	NumGt	TlcEval	True	Passed	Model Under Test Equivalent Model
e376ad229fff3a4ee61f4f2cb5a344073c638935	TLC with reduction strategy: Plug Feature: TLCEval(expr) is reduced to just expr	NumGt	TlcEval	False	Passed	Model Under Test Equivalent Model
84497a51a33722a6b31242ed5704cc86ec2dd942	Apalache	NumGt	BagCopiesIn	True	Passed	Model Under Test Equivalent Model
282a7eb6ac428d412631fe118e8eb303dfd86f4c	Apalache	NumGt	BagCopiesIn	False	Passed	Model Under Test Equivalent Model
4c19e5074b0934ac93aa385bebd1aed7c952f0b8	Apalache	NumGt	BagBagCardinality	True	Passed	Model Under Test Equivalent Model
090814785591e95ebafd04b922f5fb9d8ea849d9	Apalache	NumGt	BagBagCardinality	False	Passed	Model Under Test Equivalent Model
70c644e02d7f3de909ae4ccfc2b2e56c71fce6f5	Apalache	NumGt	FiniteSetsCardinality	True	Passed	Model Under Test Equivalent Model
da9f6f4b85ea3155c5d0aad70f945a8fa861fb6c	Apalache	NumGt	FiniteSetsCardinality	False	Passed	Model Under Test Equivalent Model
eb64731c8fa37ab67e4e3235f17e61e66029638a	Apalache	NumGt	SeqHead	True	Passed	Model Under Test Equivalent Model
b839fe4a94e2b0beac481c9ca23e3b30101da283	Apalache	NumGt	SeqHead	False	Passed	Model Under Test Equivalent Model

Index

Tests by case feature NumGt; CLI Option: -workers 1