Commit Graph

513 Commits

Author SHA1 Message Date
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
cedd594ba3 Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 15] 2017-11-30 15:52:56 +01:00
d4b661e475 Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 14] 2017-11-30 15:47:20 +01:00
a74029aa21 Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 13] 2017-11-30 15:42:08 +01:00
1ab28dd445 Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 12] 2017-11-30 15:37:33 +01:00
a7933912b3 Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 11] 2017-11-30 15:32:38 +01:00
4bf4fba169 Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 10] 2017-11-30 15:28:31 +01:00
df0115012b Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 9] 2017-11-30 15:24:11 +01:00
d50f4aa348 Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 8] 2017-11-30 15:20:55 +01:00
025bf86f1b Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 7] 2017-11-30 15:17:25 +01:00
6bb8813582 Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 6] 2017-11-30 15:14:25 +01:00
e09902340d Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 5] 2017-11-30 15:11:23 +01:00
9ae4abc6ea Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 4] 2017-11-30 15:08:35 +01:00
4a2cd3e7de Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 3] 2017-11-30 15:05:20 +01:00
14d13cb0ff Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 2] 2017-11-30 15:02:49 +01:00
80c6613213 Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 1] 2017-11-30 14:59:50 +01:00
b394e80f96 Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 14] 2017-11-30 14:44:15 +01:00
e991221151 Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 13] 2017-11-30 14:28:15 +01:00
665818c864 Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 12] 2017-11-30 14:12:30 +01:00
82d4f86d55 Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 11] 2017-11-30 14:02:02 +01:00
2215be2093 Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 50] 2017-11-30 13:46:35 +01:00
ccf35e65f8 Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 60] 2017-11-30 13:39:21 +01:00
19ced5829c Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 59] 2017-11-30 13:24:03 +01:00
a8de453799 Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 58] 2017-11-30 13:08:47 +01:00
2de39375ee Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 57] 2017-11-30 12:53:30 +01:00
86e130e002 Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 56] 2017-11-30 12:38:13 +01:00
e1ef25a354 Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 55] 2017-11-30 12:22:56 +01:00
540342a650 Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 54] 2017-11-30 12:07:39 +01:00
9aacdc27cd Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 53] 2017-11-30 11:52:23 +01:00
3d46155b99 Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 52] 2017-11-30 11:37:06 +01:00
7b184afa4c Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 51] 2017-11-30 11:21:49 +01:00
f89ef94156 Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 50] 2017-11-30 11:06:32 +01:00
51f08a0883 Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 49] 2017-11-30 10:51:16 +01:00
d9d4a3b9b0 Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 48] 2017-11-30 10:35:58 +01:00
b6fe56b96e Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 47] 2017-11-30 10:35:08 +01:00
6ebe68793c Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 46] 2017-11-30 10:19:52 +01:00
2fbb84b796 Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 45] 2017-11-30 10:04:35 +01:00