|
b36228b4f7
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 20]
|
2017-12-02 02:27:47 +01:00 |
|
|
e7cc809b9a
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 19]
|
2017-12-02 02:26:58 +01:00 |
|
|
404c11e1a5
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 18]
|
2017-12-02 02:26:16 +01:00 |
|
|
8cc7e03050
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 17]
|
2017-12-02 02:25:30 +01:00 |
|
|
058aea7b9e
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 16]
|
2017-12-02 02:24:46 +01:00 |
|
|
10ebce001b
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 15]
|
2017-12-02 02:24:04 +01:00 |
|
|
008449550e
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 14]
|
2017-12-02 02:23:20 +01:00 |
|
|
1e23a97517
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 13]
|
2017-12-02 02:22:37 +01:00 |
|
|
4ca6c5961d
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 12]
|
2017-12-02 02:21:57 +01:00 |
|
|
24c38348a8
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 11]
|
2017-12-02 02:21:14 +01:00 |
|
|
58952e6981
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 10]
|
2017-12-02 02:20:31 +01:00 |
|
|
b2a2d38ff1
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 9]
|
2017-12-02 02:19:51 +01:00 |
|
|
b5b5f055c0
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 8]
|
2017-12-02 02:19:07 +01:00 |
|
|
10dd3e82bf
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 7]
|
2017-12-02 02:18:25 +01:00 |
|
|
286dc4cbda
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 6]
|
2017-12-02 02:17:46 +01:00 |
|
|
64c9868a51
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 5]
|
2017-12-02 02:17:05 +01:00 |
|
|
5a136e3cc9
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 4]
|
2017-12-02 02:16:27 +01:00 |
|
|
42fda8481f
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 3]
|
2017-12-02 02:15:45 +01:00 |
|
|
a610a996c3
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 2]
|
2017-12-02 02:15:02 +01:00 |
|
|
33bc76a9ce
|
Add benchmark result [m-mp | ipc-2006 | rovers-propositional | 1]
|
2017-12-02 02:14:24 +01:00 |
|
|
e3588c4e1c
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 30]
|
2017-12-02 02:08:08 +01:00 |
|
|
285242be5c
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 29]
|
2017-12-02 02:02:11 +01:00 |
|
|
31f5dbd84c
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 28]
|
2017-12-02 01:55:59 +01:00 |
|
|
1352f65c91
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 27]
|
2017-12-02 01:49:44 +01:00 |
|
|
8e6c58fb20
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 26]
|
2017-12-02 01:43:47 +01:00 |
|
|
41d9a4372d
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 25]
|
2017-12-02 01:37:45 +01:00 |
|
|
5287f38146
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 24]
|
2017-12-02 01:31:39 +01:00 |
|
|
7cc9c7f571
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 23]
|
2017-12-02 01:25:45 +01:00 |
|
|
1fcc71777c
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 22]
|
2017-12-02 01:19:50 +01:00 |
|
|
d4a4171864
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 21]
|
2017-12-02 01:13:42 +01:00 |
|
|
fb39da5298
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 20]
|
2017-12-02 01:07:49 +01:00 |
|
|
6865614722
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 19]
|
2017-12-02 01:01:55 +01:00 |
|
|
4bd79e3a7d
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 18]
|
2017-12-02 00:56:08 +01:00 |
|
|
62790912b9
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 17]
|
2017-12-02 00:50:18 +01:00 |
|
|
da34a38dbf
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 16]
|
2017-12-02 00:44:28 +01:00 |
|
|
032055f084
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 15]
|
2017-12-02 00:38:44 +01:00 |
|
|
73d4850a1a
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 14]
|
2017-12-02 00:32:56 +01:00 |
|
|
785327cac3
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 13]
|
2017-12-02 00:27:10 +01:00 |
|
|
3bbac6b963
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 12]
|
2017-12-02 00:21:17 +01:00 |
|
|
f347929805
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 11]
|
2017-12-02 00:15:34 +01:00 |
|
|
123821391f
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 10]
|
2017-12-02 00:09:51 +01:00 |
|
|
c96c1500f3
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 9]
|
2017-12-02 00:04:08 +01:00 |
|
|
d8f8ea4b78
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 8]
|
2017-12-01 23:58:23 +01:00 |
|
|
e20bb84dc4
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 7]
|
2017-12-01 23:52:42 +01:00 |
|
|
2a4e8e46af
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 6]
|
2017-12-01 23:47:00 +01:00 |
|
|
7ff759b34f
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 5]
|
2017-12-01 23:41:16 +01:00 |
|
|
33a010b2a4
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 4]
|
2017-12-01 23:40:11 +01:00 |
|
|
2a513a9a7a
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 3]
|
2017-12-01 23:39:05 +01:00 |
|
|
306352eb1a
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 2]
|
2017-12-01 23:38:22 +01:00 |
|
|
367464a21e
|
Add benchmark result [m-mp | ipc-2006 | pathways-propositional-strips | 1]
|
2017-12-01 23:37:27 +01:00 |
|
|
ceb885f177
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 36]
|
2017-12-01 23:21:49 +01:00 |
|
|
c54924cbcd
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 35]
|
2017-12-01 23:04:37 +01:00 |
|
|
a783db1a57
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 34]
|
2017-12-01 22:47:42 +01:00 |
|
|
8236a31400
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 33]
|
2017-12-01 22:31:07 +01:00 |
|
|
427347ef88
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 32]
|
2017-12-01 22:14:17 +01:00 |
|
|
a6b6214a47
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 31]
|
2017-12-01 21:57:58 +01:00 |
|
|
04666fbb86
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 30]
|
2017-12-01 21:41:26 +01:00 |
|
|
f3a6c0e894
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 29]
|
2017-12-01 21:25:23 +01:00 |
|
|
1a2c50f965
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 28]
|
2017-12-01 21:09:32 +01:00 |
|
|
b065de4fd2
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 27]
|
2017-12-01 20:53:46 +01:00 |
|
|
c853d1ffd1
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 26]
|
2017-12-01 20:38:06 +01:00 |
|
|
ce7f599fd0
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 25]
|
2017-12-01 20:22:27 +01:00 |
|
|
6c9ced8e92
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 24]
|
2017-12-01 20:06:47 +01:00 |
|
|
d05e128106
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 23]
|
2017-12-01 19:51:08 +01:00 |
|
|
d05d3a601c
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 22]
|
2017-12-01 19:49:01 +01:00 |
|
|
4be0762ebe
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 21]
|
2017-12-01 19:33:23 +01:00 |
|
|
e2c9340915
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 20]
|
2017-12-01 19:32:28 +01:00 |
|
|
330713b41b
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 19]
|
2017-12-01 19:31:28 +01:00 |
|
|
4c8b64e4e8
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 18]
|
2017-12-01 19:30:47 +01:00 |
|
|
e2d30d725c
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 17]
|
2017-12-01 19:15:10 +01:00 |
|
|
4399c4b1ee
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 16]
|
2017-12-01 18:59:33 +01:00 |
|
|
e7fc4a08d3
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 15]
|
2017-12-01 18:58:14 +01:00 |
|
|
2375e9f6b3
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 14]
|
2017-12-01 18:57:27 +01:00 |
|
|
a63b91582d
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 13]
|
2017-12-01 18:56:40 +01:00 |
|
|
53b4d81078
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 12]
|
2017-12-01 18:55:53 +01:00 |
|
|
5a166914b8
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 11]
|
2017-12-01 18:55:13 +01:00 |
|
|
0bda1b8d88
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 10]
|
2017-12-01 18:54:28 +01:00 |
|
|
9deb29655e
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 9]
|
2017-12-01 18:53:45 +01:00 |
|
|
d8c69e1408
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 8]
|
2017-12-01 18:53:06 +01:00 |
|
|
20c6e6c39b
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 7]
|
2017-12-01 18:52:23 +01:00 |
|
|
8c1c63b3dd
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 6]
|
2017-12-01 18:51:41 +01:00 |
|
|
c4dedb0756
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 5]
|
2017-12-01 18:51:02 +01:00 |
|
|
c04cd7a1de
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 4]
|
2017-12-01 18:50:23 +01:00 |
|
|
73a93794c2
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 3]
|
2017-12-01 18:49:45 +01:00 |
|
|
0dc92eb1d8
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 2]
|
2017-12-01 18:49:03 +01:00 |
|
|
a070d10fe9
|
Add benchmark result [m-mp | ipc-2004 | satellite-strips | 1]
|
2017-12-01 18:48:21 +01:00 |
|
|
b701e206ac
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 50]
|
2017-12-01 18:47:43 +01:00 |
|
|
88388ca873
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 49]
|
2017-12-01 18:39:42 +01:00 |
|
|
853a9ff246
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 48]
|
2017-12-01 18:38:57 +01:00 |
|
|
8a5ca3a9bf
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 47]
|
2017-12-01 18:38:18 +01:00 |
|
|
df1549b9d4
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 46]
|
2017-12-01 18:37:23 +01:00 |
|
|
487a5cdc68
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 45]
|
2017-12-01 18:36:45 +01:00 |
|
|
104d79b4a3
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 44]
|
2017-12-01 18:36:06 +01:00 |
|
|
d4acab211f
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 43]
|
2017-12-01 18:35:28 +01:00 |
|
|
053affc772
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 42]
|
2017-12-01 18:34:46 +01:00 |
|
|
6cf8567ed1
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 41]
|
2017-12-01 18:34:04 +01:00 |
|
|
54ef344b84
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 40]
|
2017-12-01 18:33:20 +01:00 |
|
|
e99d73682a
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 39]
|
2017-12-01 18:32:37 +01:00 |
|
|
c211edb8cd
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 38]
|
2017-12-01 18:31:55 +01:00 |
|
|
9131b68db4
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 37]
|
2017-12-01 18:31:17 +01:00 |
|
|
fc6225066a
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 36]
|
2017-12-01 18:30:31 +01:00 |
|
|
978215ce37
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 35]
|
2017-12-01 18:29:47 +01:00 |
|
|
d9d0f2e273
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 34]
|
2017-12-01 18:29:08 +01:00 |
|
|
8615f54d41
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 33]
|
2017-12-01 18:28:29 +01:00 |
|
|
62091aa3f2
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 32]
|
2017-12-01 18:27:51 +01:00 |
|
|
47c28d48e9
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 31]
|
2017-12-01 18:27:05 +01:00 |
|
|
8a4d3f45f9
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 30]
|
2017-12-01 18:26:22 +01:00 |
|
|
490fd25808
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 29]
|
2017-12-01 18:25:43 +01:00 |
|
|
896f5028bf
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 28]
|
2017-12-01 18:24:59 +01:00 |
|
|
60af7978ad
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 27]
|
2017-12-01 18:24:16 +01:00 |
|
|
bc86774b19
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 26]
|
2017-12-01 18:23:39 +01:00 |
|
|
4b024d1077
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 25]
|
2017-12-01 18:21:49 +01:00 |
|
|
c0990bf0b1
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 24]
|
2017-12-01 18:21:11 +01:00 |
|
|
05a2088671
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 23]
|
2017-12-01 18:20:29 +01:00 |
|
|
e3ae51d3a8
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 22]
|
2017-12-01 18:19:45 +01:00 |
|
|
1320d11fa8
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 21]
|
2017-12-01 18:19:07 +01:00 |
|
|
76159f3f50
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 20]
|
2017-12-01 18:18:29 +01:00 |
|
|
a55a64b429
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 19]
|
2017-12-01 18:17:50 +01:00 |
|
|
23f2f56bac
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 18]
|
2017-12-01 18:17:08 +01:00 |
|
|
59d0af0371
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 17]
|
2017-12-01 18:16:26 +01:00 |
|
|
fe3b54dd68
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 16]
|
2017-12-01 18:15:48 +01:00 |
|
|
a9cbefb663
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 15]
|
2017-12-01 18:15:07 +01:00 |
|
|
b1bf5c011d
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 14]
|
2017-12-01 18:14:29 +01:00 |
|
|
35a13b4fb6
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 13]
|
2017-12-01 18:13:47 +01:00 |
|
|
a08ace5c5a
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 12]
|
2017-12-01 18:13:05 +01:00 |
|
|
2fd6d46d47
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 11]
|
2017-12-01 18:12:27 +01:00 |
|
|
4bdf95ab60
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 10]
|
2017-12-01 18:11:49 +01:00 |
|
|
8551532076
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 9]
|
2017-12-01 18:11:11 +01:00 |
|
|
7e32a4cb82
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 8]
|
2017-12-01 18:10:29 +01:00 |
|
|
33cb4273cb
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 7]
|
2017-12-01 18:09:47 +01:00 |
|
|
e93dc83215
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 6]
|
2017-12-01 18:09:09 +01:00 |
|
|
689405d7db
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 5]
|
2017-12-01 18:08:31 +01:00 |
|
|
fd7557101b
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 4]
|
2017-12-01 18:07:52 +01:00 |
|
|
b686ff107b
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 3]
|
2017-12-01 18:07:11 +01:00 |
|
|
2a43a13cdf
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 2]
|
2017-12-01 18:06:29 +01:00 |
|
|
fe8de1ef5e
|
Add benchmark result [m-mp | ipc-2004 | psr-small-strips | 1]
|
2017-12-01 18:05:52 +01:00 |
|
|
4ea087dc39
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 50]
|
2017-12-01 18:03:04 +01:00 |
|
|
c7d11b28c2
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 49]
|
2017-12-01 17:46:17 +01:00 |
|
|
a87b3ab34d
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 48]
|
2017-12-01 17:29:31 +01:00 |
|
|
2ea0dbb34a
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 47]
|
2017-12-01 16:58:54 +01:00 |
|
|
0c49aed3db
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 46]
|
2017-12-01 16:28:18 +01:00 |
|
|
e28bf5df4b
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 45]
|
2017-12-01 15:57:41 +01:00 |
|
|
dd842365ba
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 44]
|
2017-12-01 13:44:12 +01:00 |
|
|
4d5ac22e72
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 43]
|
2017-12-01 13:13:36 +01:00 |
|
|
d6da3389da
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 42]
|
2017-12-01 12:43:00 +01:00 |
|
|
81d0d91b6c
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 41]
|
2017-12-01 12:26:55 +01:00 |
|
|
3491aa1ae7
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 40]
|
2017-12-01 12:11:18 +01:00 |
|
|
000cd6cb63
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 39]
|
2017-12-01 12:01:16 +01:00 |
|
|
6427735f6b
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 38]
|
2017-12-01 11:45:32 +01:00 |
|
|
30c402daf4
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 37]
|
2017-12-01 11:29:45 +01:00 |
|
|
e6da24e3e5
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 36]
|
2017-12-01 11:14:04 +01:00 |
|
|
56565841be
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 35]
|
2017-12-01 11:12:06 +01:00 |
|
|
2b1a499959
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 34]
|
2017-12-01 11:01:26 +01:00 |
|
|
6580fcde3e
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 33]
|
2017-12-01 11:00:18 +01:00 |
|
|
4389137b02
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 32]
|
2017-12-01 10:57:36 +01:00 |
|
|
fe714acced
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 31]
|
2017-12-01 10:56:33 +01:00 |
|
|
11666bca01
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 30]
|
2017-12-01 10:50:19 +01:00 |
|
|
1f946c98ba
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 29]
|
2017-12-01 10:36:07 +01:00 |
|
|
5380f2bf39
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 28]
|
2017-12-01 10:34:01 +01:00 |
|
|
3d1c8fea30
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 27]
|
2017-12-01 10:31:58 +01:00 |
|
|
8775a4922a
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 26]
|
2017-12-01 10:29:12 +01:00 |
|
|
21280e67eb
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 25]
|
2017-12-01 10:12:53 +01:00 |
|
|
eecfc001f8
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 24]
|
2017-12-01 09:57:10 +01:00 |
|
|
eb130f7658
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 23]
|
2017-12-01 09:41:32 +01:00 |
|
|
0a56791490
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 22]
|
2017-12-01 09:40:07 +01:00 |
|
|
5d55daeeac
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 21]
|
2017-12-01 09:39:25 +01:00 |
|
|
ffbdcbcd57
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 20]
|
2017-12-01 09:37:45 +01:00 |
|
|
c5fd28175a
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 19]
|
2017-12-01 09:36:44 +01:00 |
|
|
7e03f361bf
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 18]
|
2017-12-01 09:35:51 +01:00 |
|
|
38596bb4e0
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 17]
|
2017-12-01 09:35:07 +01:00 |
|
|
ecb0bf9b90
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 16]
|
2017-12-01 09:19:32 +01:00 |
|
|
b380658196
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 15]
|
2017-12-01 09:12:30 +01:00 |
|
|
688e855274
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 14]
|
2017-12-01 09:07:09 +01:00 |
|
|
39c179c48f
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 13]
|
2017-12-01 09:06:20 +01:00 |
|
|
96058310b7
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 12]
|
2017-12-01 09:05:36 +01:00 |
|
|
9864b16731
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 11]
|
2017-12-01 09:04:52 +01:00 |
|
|
de4b5ea0a5
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 10]
|
2017-12-01 09:04:11 +01:00 |
|
|
75344169be
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 9]
|
2017-12-01 09:03:32 +01:00 |
|
|
ebe410cc65
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 8]
|
2017-12-01 09:02:49 +01:00 |
|
|
3d545aee2b
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 7]
|
2017-12-01 09:02:05 +01:00 |
|
|
4743802038
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 6]
|
2017-12-01 09:01:26 +01:00 |
|
|
7cd53e9a32
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 5]
|
2017-12-01 09:00:49 +01:00 |
|
|
76618aba57
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 4]
|
2017-12-01 09:00:12 +01:00 |
|
|
2d22f0e1ec
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 3]
|
2017-12-01 08:59:30 +01:00 |
|
|
7d538b86a4
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 2]
|
2017-12-01 08:58:48 +01:00 |
|
|
b4b4e85d56
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 1]
|
2017-12-01 08:58:12 +01:00 |
|
|
e282a54bc3
|
Add corrupt benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 50]
|
2017-12-01 08:42:38 +01:00 |
|
|
86349694c5
|
Add corrupt benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 49]
|
2017-12-01 08:26:08 +01:00 |
|
|
fde5c570e4
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 48]
|
2017-12-01 08:09:38 +01:00 |
|
|
841e4bfcaf
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 47]
|
2017-12-01 07:39:02 +01:00 |
|
|
52e721f5df
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 46]
|
2017-12-01 07:08:27 +01:00 |
|
|
eefd3a698f
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 45]
|
2017-12-01 06:40:09 +01:00 |
|
|
9c24ad2a26
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 44]
|
2017-12-01 06:09:34 +01:00 |
|
|
277b381118
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 43]
|
2017-12-01 05:39:00 +01:00 |
|
|
b66c18c172
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 42]
|
2017-12-01 05:08:28 +01:00 |
|
|
0498b9468a
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 41]
|
2017-12-01 04:51:58 +01:00 |
|
|
4343452603
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 40]
|
2017-12-01 04:36:18 +01:00 |
|
|
e63c9e4f04
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 39]
|
2017-12-01 04:09:24 +01:00 |
|
|
78c6eef742
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 38]
|
2017-12-01 03:48:22 +01:00 |
|
|
c1a8ba13ff
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 37]
|
2017-12-01 03:17:42 +01:00 |
|
|
aeaf489c4e
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 36]
|
2017-12-01 03:01:34 +01:00 |
|
|
be1b34f10d
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 35]
|
2017-12-01 02:42:31 +01:00 |
|
|
e64ae41619
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 34]
|
2017-12-01 02:23:42 +01:00 |
|
|
a31788e3bc
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 33]
|
2017-12-01 02:00:47 +01:00 |
|
|
b55e415675
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 32]
|
2017-12-01 01:47:20 +01:00 |
|
|
2c93bccefd
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 31]
|
2017-12-01 01:16:43 +01:00 |
|
|
c61e82b630
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 30]
|
2017-12-01 00:46:07 +01:00 |
|
|
2512234df9
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 29]
|
2017-12-01 00:15:31 +01:00 |
|
|
3aa41d8cf7
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 28]
|
2017-11-30 23:44:54 +01:00 |
|
|
dc30084d8d
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 27]
|
2017-11-30 23:14:12 +01:00 |
|
|
88ab4163d3
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 26]
|
2017-11-30 22:45:40 +01:00 |
|
|
81a4100b70
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 25]
|
2017-11-30 22:14:51 +01:00 |
|
|
17f766edf0
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 24]
|
2017-11-30 21:44:11 +01:00 |
|
|
7de25ba72b
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 23]
|
2017-11-30 21:13:35 +01:00 |
|
|
f7b82e27e0
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 22]
|
2017-11-30 20:54:16 +01:00 |
|
|
606a847e1e
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 21]
|
2017-11-30 20:52:38 +01:00 |
|
|
d0f2a2ce53
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 20]
|
2017-11-30 20:37:02 +01:00 |
|
|
a8ce4f7e32
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 19]
|
2017-11-30 20:10:01 +01:00 |
|
|
3eef3a7b65
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 18]
|
2017-11-30 19:54:07 +01:00 |
|
|
1d73969ee9
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 17]
|
2017-11-30 19:38:06 +01:00 |
|
|
c4c50dff09
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 16]
|
2017-11-30 19:07:30 +01:00 |
|
|
37d3a0bbba
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 15]
|
2017-11-30 18:36:53 +01:00 |
|
|
507f73cd6c
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 14]
|
2017-11-30 18:20:19 +01:00 |
|
|
a6726db178
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 13]
|
2017-11-30 17:54:30 +01:00 |
|
|
5c20c3f185
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 12]
|
2017-11-30 17:38:55 +01:00 |
|
|
69a52436d5
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 11]
|
2017-11-30 17:30:08 +01:00 |
|
|
c1c99d3f67
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 10]
|
2017-11-30 17:29:05 +01:00 |
|
|
4b8fe747e3
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 9]
|
2017-11-30 17:28:06 +01:00 |
|
|
2032546aba
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 8]
|
2017-11-30 17:27:13 +01:00 |
|
|
da779215ff
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 7]
|
2017-11-30 17:26:25 +01:00 |
|
|
71f4a73e89
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 6]
|
2017-11-30 17:25:40 +01:00 |
|
|
45c9ed2437
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 5]
|
2017-11-30 17:24:55 +01:00 |
|
|
94918a4770
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 4]
|
2017-11-30 17:24:16 +01:00 |
|
|
52f264f334
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 3]
|
2017-11-30 17:23:31 +01:00 |
|
|
5f97dffa76
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 2]
|
2017-11-30 17:22:48 +01:00 |
|
|
7e26e69256
|
Add benchmark result [m-mp | ipc-2004 | pipesworld-tankage-nontemporal-strips | 1]
|
2017-11-30 17:22:10 +01:00 |
|
|
98d1a1ceb3
|
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 29]
|
2017-11-30 17:15:59 +01:00 |
|
|
b5d911ea67
|
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 28]
|
2017-11-30 17:09:38 +01:00 |
|
|
09a83ff0e2
|
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 27]
|
2017-11-30 17:03:31 +01:00 |
|
|
40c1f0ea54
|
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 26]
|
2017-11-30 16:57:24 +01:00 |
|
|
3e7cf5de5d
|
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 25]
|
2017-11-30 16:51:22 +01:00 |
|
|
8f9848766c
|
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 24]
|
2017-11-30 16:45:15 +01:00 |
|
|
f6573530c8
|
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 23]
|
2017-11-30 16:39:34 +01:00 |
|
|
ca24d85bd6
|
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 22]
|
2017-11-30 16:33:38 +01:00 |
|
|
1401d0152d
|
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 21]
|
2017-11-30 16:27:43 +01:00 |
|
|
89aaf30357
|
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 20]
|
2017-11-30 16:21:51 +01:00 |
|
|
b955a1b92f
|
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 19]
|
2017-11-30 16:15:59 +01:00 |
|
|
f599627caf
|
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 18]
|
2017-11-30 16:10:09 +01:00 |
|
|
27c2c7f8a1
|
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 17]
|
2017-11-30 16:04:20 +01:00 |
|
|
46b977d35b
|
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 16]
|
2017-11-30 15:58:32 +01:00 |
|