Index

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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
86997425a6159dab846b49cb88f0be6e06c3aef1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe OneLineComment True Passed
44b11adfc67085274a270abea84ab7a40d70c23c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe OneLineComment False Passed
69a9c74679a9da72b1a3e235830e4321086c0288 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe MultiLineComment True Passed
04083e117b67dcf59b794f0554ff52e612d0b28f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe MultiLineComment False Passed
5be972ddad36a2962a988387df2c7ad925de87e1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe Let True Passed
24edac9878ee6caf10404113b6f565191cc555e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe Let False Passed
dab38c030ba0d54b6365bdc9a0f25a9f7d492d11 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe Choose True Passed
918411f4165014d4456999efc7c11b13efd1229c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe Choose False Passed
46efda9c69e3ca3d3c4f48d133ff0cbafb8882ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe FunApp True Passed
ed5e7d47aafee190b39c783ebee1bcc719a34717 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe FunApp False Passed
892acb9f7886a3ede2b3d5864f2a751a00a324cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe Prime True Passed
007d08bca4b3224e186fef80aba2a66b14d07b54 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe Prime False Passed
602a2aefd42caf3993ca6cc9378965e9efe6e0ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe NumZero True Passed
7620df7f4ac18404874de7e20c08fdfc5d5ceb92 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe NumZero False Passed
58309a07070c3a356d2188174e462fabd577c25a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe NumOne True Passed
615405ec3b83e621533eaec423038bfb883dd9f6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe NumOne False Passed
4abd36433108b6c0c52e0b2524c4c28c754a1896 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe NumMaxInt True Passed
b4fac6c7fffe07fc6df41227c41479be44db832e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe NumMaxInt False Passed
f5cb8966d9af61407c88f69a80d65e233e154ecf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe NumUnaryMinus True Passed
2a2a87de105b377e4948d839a9fac1446a26a9b4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe NumUnaryMinus False Passed
a39c0c805275e8e4c0d8bc75030d16eea137273b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe NumPlus True Passed
edb67c1735c584801cc59844c305756dc1ee4dd4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe NumPlus False Passed
a9b25d1f383b0fa19a838d5c53ed7d431e4edb81 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe NumMinus True Passed
bcd082b8ffe50c27f5cc4bc044d3b1d7a58ffd90 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe NumMinus False Passed
9eaed3a217ec523642ac9d785c8ac46f844f9bb9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe NumMul True Passed
b76ae5746c5ea2761fcb7b69cade13568e360e5b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe NumMul False Passed
47d7402c6d0166f29870794f5438e461623301a7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe NumDiv True Passed
43d935f5b9134a23d568da25d9694f9f89063ceb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe NumDiv False Passed
5490c666d3ba1e7f11de739b4ec9345c4875e215 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe NumMod True Passed
d0ff9566231bd7c6dcfa43e36aacfbcc5663e54e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe NumMod False Passed
16fd26d886991baa4316e0f64816316fe2b5e21d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe NumPow True Passed
2ea717b528518fdcc998e4f29cb5c97492f3317f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe NumPow False Passed
ef15c7c0f689ae3ad5c14f46c5572486f1e03363 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe Def0 True Passed
0db32a5159effae750a73d4b347de14efd5fc078 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe Def0 False Passed
d1c9f6c99d6bd087c735543a506e9c1ab8d275ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe LetDef0 True Passed
6df2f66af77b2d35cefd5a5972d007fea7aba908 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe LetDef0 False Passed
ae6083ed0fc286663739e66ffcae0afcd41df5ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe Def1 True Passed
d1ae17a15d21b126ffa411bda261585752900616 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe Def1 False Passed
611ff8f161bb30d00511453b70d48711ea67f6d3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe LetDef1 True Passed
3cc67953e2df8f6833d214bdf10c2a48e5dde9c2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe LetDef1 False Passed
2f7b3a5a3a1a391ce1c8009073f25292bb294a13 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe Def2 True Passed
99be8a1653a8d29f7a57d510fd41915aa9b3dc3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe Def2 False Passed
5c45fc29aa9057cca958ece36d34b121ac2e2ae5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe LetDef2 True Passed
3ae00bc159a7555d9a453fe30cbbbb2b6e32a761 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe LetDef2 False Passed
dc723ec8f4069f49790eb7ff530d092fabf325ca TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe Def1Recursive True Passed
f7ab83477c9fc1ccf8744d6d2bf38a53be50d37e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe Def1Recursive False Passed
403b418bb08997f026e409c0dbbc1d5dfb034346 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe LetDef1Recursive True Passed
b365bb2f59284555e953e88d36a85778c70d71ef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe LetDef1Recursive False Passed
ae978f6ad21935c5d14701d1645d2d84b7765574 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe Extends True Passed
5bc257e3bcf7cefc4454136c318d525bdd921739 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe Extends False Passed
8c90ff1f6d8b41ae83413efde6a3d641a0c68993 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe ExtendsInDifferentFolder True Passed
ce1e875fc62647aaf060d1ee3758579dfc27970a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe ExtendsInDifferentFolder False Passed
ec694c355e4cb971e4a82ab82de4bbace7a25829 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe Variable True Passed
a8b85218fa475d1ffc157b229f01c90324a1ec11 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe Variable False Passed
c1877ba1b53ed5c44d8ccdec2dadb9f373b39035 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe Constant True Passed
7b3bedcde19c38c771752319f69fc2d79c37fa6e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe Constant False Passed
8157609a15c5b732c416b78d3b1f1a302b22fa1c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe ConstantRank1 True Passed
f6dcc99b679246d945d5adbd5e9e2cea03dcad7a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe ConstantRank1 False Passed
a1fa3899c2246006460d5001956e7f32955d0efc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe Instance True Passed
31b48e5d2e230e95597e656877e5bd8787875ec9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe Instance False Passed
a0731fcaf4fb2406e656d63adb2be300802d4a82 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe InstanceWith True Passed
456029354f6031840752fe891200723ce15fc691 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe InstanceWith False Passed
ee0a7e5a5fb13a350f04d9fb2eb4e85d8222e54a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe InstanceNamed True Passed
23beee461b67928513ac6f6c36318f43f26e063d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe InstanceNamed False Passed
3c3c7f3b1dff02d28b00f27b2f3b5c35e519ba70 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe InstanceNamedWith True Passed
d88ec6a5fb0ff84468c90e13dfc06ca27a97b678 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe InstanceNamedWith False Passed
ae29a2bbbf6ab0f05f8dbc500e672d0e97a9f780 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe InstanceInFolder True Passed
eb718d8cdf51d86fc3d86e9ea8130b9f2dadb577 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe InstanceInFolder False Passed
3d52eb8e2169334fb887dade9b6bc01ef977679d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe InstanceWithInFolder True Passed
167bc4b5277071f66e1f9886919749312a3edeef TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe InstanceWithInFolder False Passed
f9bc3f182d67bcec861662fd0fd54c9fb5a208f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe InstanceNamedInFolder True Passed
20e6014f2b36829b7c4caad18c0385338d686b08 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe InstanceNamedInFolder False Passed
82215cce29edf6b70ba17dfd06cfd8585ff945a6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe InstanceNamedWithInFolder True Passed
cd51daef18ffa63966ba1dab65954d6532cee1d7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe InstanceNamedWithInFolder False Passed
5e01c0af754d99fa335a34c39f17a1bee151ccc2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe IfCond True Passed
696fc5fdfe108c0ede3122f89d3942708c2feb19 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe IfCond False Passed
4ea7722ebee5cae29773da990c4d73de288617f8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe IfThen True Passed
877473daedf71abd4fbdd5e5cae6613364fdd350 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe IfThen False Passed
6a418a19859753af88a4312257c37f334ccad8fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe IfElse True Passed
e76a36b23905b389419c59af1b3df551c9d2fb32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe IfElse False Passed
50a25d56544f1c40c78968969d80f9c86ef60bc7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe SeqLen True Passed
e0609a32969590cec19ac1edd0dd3ee38d5e3923 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe SeqLen False Passed
156ebd35cb9d4fb7ef4a77a4ed4fc2371f2b0116 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe TlcEval True Passed
86a4d4c8f3fbfbbe31fc9d1853b4ac303e576473 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe TlcEval False Passed
c748d3beca53385b9a08902db75d59ef35a3ef31 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe BagCopiesIn True Passed
a3a3293d6b3c697255fef11cefa448fdbc5865d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe BagCopiesIn False Passed
4717134db7f412d8ec9c674fe82a6cae9bac66a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe BagBagCardinality True Passed
6530fd5c21969f336d149a2ab6700448b3fb33b3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe BagBagCardinality False Passed
0a4df037652e9152ab2543887824f405f120395e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe FiniteSetsCardinality True Passed
9d4f78168cb507d96601e661a3b0a5be43d6fe13 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe FiniteSetsCardinality False Passed
49014d662bb7ed2e34bb05dfc475f25f57f5bad3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe SeqHead True Passed
47348643a0281c42c4328e101b3eeadff83491d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NumGe SeqHead False Passed