Truffle verify

$ truffle run verify
 HashForEther |***************************             | 68% || Elapsed: 88.5s ✗ error
       Origin |****************************************| 100% || Elapsed: 22.0s ✓ completed
       Caller |****************************************| 100% || Elapsed: 23.5s ✓ completed
   EtherStore |****************************************| 100% || Elapsed: 13.4s ✓ completed
   Exceptions |*******                                 | 17% || Elapsed: 19.8s ✗ error
      Ownable |****************************************| 100% || Elapsed: 25.6s ✓ completed
   BasicToken |****************************************| 100% || Elapsed: 26.6s ✓ completed
   ERC20Basic |**************************              | 66% || Elapsed: 84.8s ✗ error
     BecToken |*******************************         | 78% || Elapsed: 99.6s ✗ error
        ERC20 |*******************************         | 78% || Elapsed: 100.6s ✗ error
     Pausable |****************************************| 100% || Elapsed: 20.8s ✓ completed
PausableToken |****************************************| 100% || Elapsed: 11.9s ✓ completed
  ReturnValue |****************************************| 100% || Elapsed: 15.1s ✓ completed
       Rubixi |*******************                     | 47% || Elapsed: 59.2s ✗ error
    SimpleDAO |**************************              | 66% || Elapsed: 83.9s ✗ error
     SafeMath |***************************             | 67% || Elapsed: 85.7s ✗ error
StandardToken |**                                      | 5% || Elapsed: 5.9s ✗ error
      Suicide |*                                       | 2% || Elapsed: 1.4s ✗ error
        Token |*                                       | 2% || Elapsed: 1.9s ✗ error
     TimeLock |*                                       | 3% || Elapsed: 3.9s ✗ error
   WeakRandom |*                                       | 3% || Elapsed: 2.9s ✗ error

/Users/bernhardmueller/Projects/MythXTest/contracts/BECToken.sol
   1:0   warning  A floating pragma is set                  SWC-103
   1:0   warning  A floating pragma is set                  SWC-103
   1:0   warning  A floating pragma is set                  SWC-103
   1:0   warning  A floating pragma is set                  SWC-103
   5:15  error    The binary addition can overflow          SWC-101
   5:29  error    The binary multiplication can overflow    SWC-101
  52:30  warning  The state variable visibility is not set  SWC-108
  52:30  warning  The state variable visibility is not set  SWC-108
  52:30  warning  The state variable visibility is not set  SWC-108
  52:30  warning  The state variable visibility is not set  SWC-108

/Users/bernhardmueller/Projects/MythXTest/contracts/calls.sol
   1:0  warning  A floating pragma is set                           SWC-103
   8:9  warning  The state variable visibility is not set           SWC-108
  15:5  warning  Unchecked return value from low level call         SWC-104
  15:5  warning  The contract executes an external message call     SWC-107
  15:5  warning  The return value of a message call is not checked  SWC-104
  19:5  warning  Unchecked return value from low level call         SWC-104
  19:5  warning  The contract executes an external message call     SWC-107
  19:5  warning  The return value of a message call is not checked  SWC-104
  24:5  warning  Unchecked return value from low level call         SWC-104
  24:5  warning  A call to a user-supplied address is executed      SWC-107
  24:5  warning  The return value of a message call is not checked  SWC-104
  28:5  warning  Unchecked return value from low level call         SWC-104
  28:5  warning  The contract executes an external message call     SWC-107
  28:5  warning  The return value of a message call is not checked  SWC-104

/Users/bernhardmueller/Projects/MythXTest/contracts/etherstore.sol
   1:0   warning  A floating pragma is set                            SWC-103
  10:8   error    The binary addition can overflow                    SWC-101
  18:23  error    The binary addition can overflow                    SWC-101
  19:44  warning  Sending of Ether depends on a predictable variable  SWC-116
  19:44  warning  A call to a user-supplied address is executed       SWC-107
  21:8   error    persistent state read after call                    SWC-107
  22:8   error    persistent state write after call                   SWC-107

/Users/bernhardmueller/Projects/MythXTest/contracts/origin.sol
   1:0   warning  A floating pragma is set                               SWC-103
  21:12  warning  Use of tx.origin is deprecated                         SWC-111
  21:12  warning  Use of "tx.origin" as a part of authorization control  SWC-115

/Users/bernhardmueller/Projects/MythXTest/contracts/returnvalue.sol
   1:0   warning  A floating pragma is set                           SWC-103
   9:4   warning  The contract executes an external message call     SWC-107
   9:4   warning  The return value of a message call is not checked  SWC-104
   9:4   warning  Unchecked return value from low level call         SWC-104
  13:40  warning  The contract executes an external message call     SWC-107

✖ 39 problems (6 errors, 33 warnings)

Internal MythX errors encountered:
Timeout reached after 2 minutes. The analysis job status is queued and the result may become available later. UUID: 7480760c-a3fd-47cc-b23d-cc080e6001e6

Timeout reached after 2 minutes. The analysis job status is in progress and the result may become available later. UUID: 7a61694e-102c-4e76-9c66-d104baecb743

{ FetchError: request to https://api.mythx.io/v1/analyses/d1878dd8-bb3a-46e1-8003-fe1c0a02e409 failed, reason: read ECONNRESET
    at ClientRequest.<anonymous> (/usr/local/lib/node_modules/truffle-security/node_modules/node-fetch/index.js:133:11)
    at ClientRequest.emit (events.js:197:13)
    at TLSSocket.socketErrorListener (_http_client.js:399:9)
    at TLSSocket.emit (events.js:197:13)
    at emitErrorNT (internal/streams/destroy.js:82:8)
    at emitErrorAndCloseNT (internal/streams/destroy.js:50:3)
    at processTicksAndRejections (internal/process/next_tick.js:76:17)
  name: 'FetchError',
  message:
   'request to https://api.mythx.io/v1/analyses/d1878dd8-bb3a-46e1-8003-fe1c0a02e409 failed, reason: read ECONNRESET',
  type: 'system',
  errno: 'ECONNRESET',
  code: 'ECONNRESET' }
Timeout reached after 2 minutes. The analysis job status is in progress and the result may become available later. UUID: 636076af-f7fd-440c-8cc5-798322d5d42a

{ FetchError: request to https://api.mythx.io/v1/analyses/3a28205e-8436-4535-9a09-4418dbe6f79f failed, reason: read ECONNRESET
    at ClientRequest.<anonymous> (/usr/local/lib/node_modules/truffle-security/node_modules/node-fetch/index.js:133:11)
    at ClientRequest.emit (events.js:197:13)
    at TLSSocket.socketErrorListener (_http_client.js:399:9)
    at TLSSocket.emit (events.js:197:13)
    at emitErrorNT (internal/streams/destroy.js:82:8)
    at emitErrorAndCloseNT (internal/streams/destroy.js:50:3)
    at processTicksAndRejections (internal/process/next_tick.js:76:17)
  name: 'FetchError',
  message:
   'request to https://api.mythx.io/v1/analyses/3a28205e-8436-4535-9a09-4418dbe6f79f failed, reason: read ECONNRESET',
  type: 'system',
  errno: 'ECONNRESET',
  code: 'ECONNRESET' }
Timeout reached after 2 minutes. The analysis job status is queued and the result may become available later. UUID: 8cf65eba-df15-45d6-80c9-8516278adf28

Timeout reached after 2 minutes. The analysis job status is queued and the result may become available later. UUID: 365f6562-1180-47dd-ba26-012d75009607

Failed in retrieving analysis response, HTTP status code: 429
Too Many Requests
Failed in retrieving analysis response, HTTP status code: 429
Too Many Requests
Failed in retrieving analysis response, HTTP status code: 429
Too Many Requests
Failed in retrieving analysis response, HTTP status code: 429
Too Many Requests
Failed in retrieving analysis response, HTTP status code: 429
Too Many Requests