queens_4_metrics_3.als

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