OKlibrary  0.2.1.6
Argo.hpp
Go to the documentation of this file.
00001 // Matthew Gwynne, 22.8.2011 (Swansea)
00002 /* Copyright 2011 Oliver Kullmann
00003 This file is part of the OKlibrary. OKlibrary is free software; you can redistribute
00004 it and/or modify it under the terms of the GNU General Public License as published by
00005 the Free Software Foundation and included in this library; either version 3 of the
00006 License, or any later version. */
00007 Statistics; done
00047 ub rn rc t sat cfs dec rts r1 mem ptime stime cfl
00048 13 30867 92535 4.27935 1 4163 4782 22 32241454 20.00 0.05 0.17 53421
00049 14 31229 93655 13.6159 1 13103 14368 59 105018641 20.00 0.05 0.18 162452
00050 15 31238 93678 5.72913 1 5452 6451 29 43914380 20.00 0.05 0.18 78501
00051 16 31248 93704 6.80497 1 6260 7575 30 51698260 20.00 0.05 0.18 98687
00052 17 31318 93916 33.6599 1 32100 35152 120 253976822 20.00 0.04 0.18 579619
00053 19 31435 94348 317.759 1 265675 280077 636 2213616862 33.00 0.05 0.18 4803791
00054 20 31503 94548 1378.86 1 1266646 1339078 2428 8324740787 51.00 0.05 0.18 34985574
00055 21 31613 94904 6230.85 1 4975819 5225600 8191 35394063729 83.00 0.05 0.19 121366390
00056 22 31616 94910 17506.6 1 11661878 12189100 16891 92082425131 120.00 0.05 0.19 280720131
00057 23 31711 95200 2167.9 1 1719380 1849480 3322 12190504675 68.00 0.05 0.19 51786283
00058 24 31821 95535 39073.5 1 23385776 24574689 32767 187419566166 176.00 0.05 0.19 630593530
00059 25 31931 95911 215.137 1 194200 217984 510 1389553850 42.00 0.05 0.19 6692588
00060 26 31942 95938 107735 1 59528887 62568695 77051 476482081268 285.00 0.05 0.19 1787397560
00061    \endverbatim
00062    </li>
00063   </ul>
00064 
00065 */