queens_6_metrics_3.als

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