rooks_3_metrics_2.als

Filepath rooks/rooks_3_metrics_2.als
Tarball link

Runtime Performance

Test Runs

  Test Type Commit Requested At Started At Return Code Total CPU Tarball Link
CI cec34a2... 2013-09-11T06:18:03Z 2013-09-11T06:44:17Z 0 00:00:02 00:00:05 link
CI 2d3986e... 2013-09-07T03:58:11Z 2013-09-07T04:06:05Z 0 00:00:02 00:00:05 link
CI ceb9af1... 2013-09-06T02:12:30Z 2013-09-06T02:42:03Z 0 00:00:02 00:00:05 link
Performance 8f8626f... 2013-07-29T03:43:17Z 2013-07-30T00:40:50Z 0 00:00:01 00:00:03 link
Correctness 8f8626f... 2013-07-29T03:42:39Z 2013-07-29T19:16:53Z 0 00:00:02 00:00:07 link
Performance 8eaa3d6... 2013-07-26T23:44:17Z 2013-07-28T23:17:07Z 0 00:00:01 00:00:04 link
Correctness 8eaa3d6... 2013-07-26T23:43:46Z 2013-07-28T08:40:05Z 0 00:00:02 00:00:08 link
CI 505145e... 2013-07-25T21:02:15Z 2013-07-25T21:12:11Z 0 00:00:02 00:00:05 link
CI 3e4af8e... 2013-07-24T16:53:23Z 2013-07-24T16:57:05Z 0 00:00:02 00:00:07 link
CI ba76aaa... 2013-07-23T20:36:23Z 2013-07-23T20:42:14Z 0 00:00:02 00:00:05 link
Performance fb8e93a... 2013-07-22T23:25:26Z 2013-07-24T08:38:22Z 0 00:00:01 00:00:03 link
CI fb8e93a... 2013-07-22T22:43:46Z 2013-07-22T22:49:18Z 0 00:00:02 00:00:06 link
Performance 13ab50f... 2013-07-21T23:08:22Z 2013-07-22T21:13:47Z 0 00:00:01 00:00:02 link
CI 77e547d... 2013-07-20T00:56:13Z 2013-07-20T01:07:01Z 0 00:00:03 00:00:22 link
CI d196d27... 2013-07-19T21:01:53Z 2013-07-19T21:06:01Z 0 00:00:02 00:00:07 link
CI 13ab50f... 2013-07-19T14:22:10Z 2013-07-19T14:42:04Z 0 00:00:02 00:00:04 link
CI 445ad03... 2013-07-19T05:51:35Z 2013-07-19T06:03:48Z 0 00:00:04 00:00:07 link
CI ebac2fd... 2013-07-19T02:45:43Z 2013-07-19T02:48:49Z 0 00:00:02 00:00:06 link
CI c78e5c1... 2013-07-19T01:13:24Z 2013-07-19T01:15:48Z 0 00:00:03 00:00:24 link
CI fcb9479... 2013-07-19T00:48:29Z 2013-07-19T00:51:15Z 0 00:00:02 00:00:04 link
Performance bc80c6b... 2013-07-16T20:13:36Z 2013-07-16T21:59:27Z 0 00:00:01 00:00:03 link
CI 3de929b... 2013-07-16T20:02:29Z 2013-07-16T20:03:23Z 0 00:00:02 00:00:05 link
Correctness a4d4413... 2013-07-15T20:06:24Z 2013-07-15T23:21:08Z 0 00:00:03 00:00:07 link
CI a4d4413... 2013-07-15T19:34:07Z 2013-07-15T19:37:13Z 0 00:00:02 00:00:07 link
CI 5bc24ac... 2013-07-15T19:14:16Z 2013-07-15T19:17:07Z 0 00:00:02 00:00:05 link
CI 0d1126c... 2013-07-10T19:47:09Z 2013-07-10T19:49:44Z 0 00:00:02 00:00:05 link
CI a4fdfd3... 2013-07-05T22:41:16Z 2013-07-06T00:36:05Z 0 00:00:02 00:00:05 link
CI 5efd508... 2013-07-05T02:17:01Z 2013-07-05T02:19:28Z 0 00:00:02 00:00:05 link
CI 1214954... 2013-07-05T00:53:35Z 2013-07-05T00:58:01Z 0 00:00:02 00:00:05 link
Correctness 1da4839... 2013-07-04T04:54:28Z 2013-07-04T05:20:55Z 0 00:00:02 00:00:05 link
CI 1da4839... 2013-07-03T22:06:06Z 2013-07-03T22:17:34Z 0 00:00:02 00:00:05 link
Performance 4b41833... 2013-06-28T01:13:07Z 2013-07-03T22:25:56Z 0 00:00:01 00:00:02 link
Performance 89e39b4... 2013-06-21T19:32:31Z 2013-06-25T18:09:48Z 0 00:00:01 00:00:02 link
Correctness 89e39b4... 2013-06-20T03:37:10Z 2013-06-23T16:07:40Z 0 00:00:03 00:00:05 link
CI 89e39b4... 2013-06-20T02:23:24Z 2013-06-20T02:28:52Z 0 00:00:02 00:00:05 link
CI 97914c0... 2013-06-18T22:48:56Z 2013-06-18T22:54:13Z 0 00:00:02 00:00:05 link
Performance 2ef1860... 2013-06-18T20:50:38Z 2013-06-21T05:43:36Z 0 00:00:01 00:00:02 link
Performance e2ae93c... 2013-06-18T13:36:35Z 2013-06-18T16:34:02Z 0 00:00:01 00:00:02 link
Correctness e2ae93c... 2013-06-13T21:12:37Z 2013-06-17T21:15:38Z 0 00:00:02 00:00:05 link
CI e2ae93c... 2013-06-06T00:09:27Z 2013-06-06T00:16:52Z 0 00:00:02 link
Correctness d523e2f... 2013-06-05T22:37:37Z 2013-06-07T04:01:21Z 0 00:00:02 link
Correctness d523e2f... 2013-05-28T00:32:40Z 2013-05-28T02:16:15Z 0 00:00:02 link
Correctness 230ff9f... 2013-05-27T22:50:56Z 2013-05-28T01:33:05Z 0 00:00:02 link
Correctness Unknown 2013-04-08T00:01:00Z 2013-04-08T05:00:55Z 0 00:00:02 link