1 2 3<!DOCTYPE html> 4<html lang="en"> 5 <head> 6 7 <link rel="icon" href="images/favicons/32.png" sizes="32x32"> 8 <link rel="icon" href="images/favicons/128.png" sizes="128x128"> 9 <link rel="icon" href="images/favicons/152.png" sizes="152x152"> 10 <link rel="icon" href="images/favicons/167.png" sizes="167x167"> 11 <link rel="icon" href="images/favicons/180.png" sizes="180x180"> 12 <link rel="icon" href="images/favicons/192.png" sizes="192x192"> 13 <link rel="icon" href="images/favicons/196.png" sizes="196x196"> 14 15 <title>NEOS Server: Solver Statistics</title> 16 17 <meta charset="utf-8" /> 18 <meta name="description" content="NEOS Server: Solver Statistics"> 19 <meta name="keywords" 20 content="NEOS Server, optimization, 21 algorithms, software, problem solving environments"> 22 23 <base href="https://neos-server.org/neos/"> 24 25 26 <link rel="stylesheet" type="text/css" href="authentication/styles/bootstrap/bootstrap.css" /> 27 <link rel="stylesheet" type="text/css" href="authentication/styles/select2/select2.css" /> 28 <link rel="stylesheet" type="text/css" href="authentication/styles/select2/select2-bootstrap.css" /> 29 <link rel="stylesheet" type="text/css" href="authentication/styles/font-awesome-4.3.0/css/font-awesome.min.css" /> 30 <link rel="stylesheet" type="text/css" href="authentication/styles/flags.css" /> 31 <link rel="stylesheet" type="text/css" href="authentication/styles/styles.css" /> 32 33 34 35 <link rel="stylesheet" type="text/css" href="css/neos.css"> 36 37 38 39<link rel="stylesheet" href="css/report.css"/> 40<link rel="stylesheet" href="js/jquery-ui-1.11.2.custom/jquery-ui.min.css"/> 41<link rel="stylesheet" href="css/c3.min.css"/> 42 43 44 45
46<script src='https://code.jquery.com/jquery-3.4.1.min.js' 47 integrity='sha256-CSXorXvZcTkaix6Yvo6HppcZGetbYMGWSFlBw8HfCJo=' 48 crossorigin='anonymous'></script>
vendor: 1 bytes, line 48
48
49<script src="js/jquery-ui-1.11.2.custom/jquery-ui.min.js"></script>
vendor: 1 bytes, line 49
49
50<script src="js/jquery.validate.min.js"></script>
vendor: 1 bytes, line 50
50
51<script src="js/d3.min.js"></script>
vendor: 1 bytes, line 51
51
52<script src="js/c3.min.js"></script>
vendor: 1 bytes, line 52
52
53<script src="authentication/library/jquery/tablesorter/jquery.tablesorter.min.js"></script>
vendor: 1 bytes, line 53
53
54<script src="js/report.js"></script>
54 55 56 </head> 57 58 <body> 59
59<script type="text/javascript" data-main="authentication/scripts/main" 60 src="authentication/library/require/require.js"></script>
60 61 62 63 <div class="container" style="flex: 1 0 auto"> 64 65 <a href="index.html"> 66 <svg id="logo" class="img-responsive center-block" viewBox="0 0 680 110" preserveAspectRatio="xMidYMin"> 67 <image href="images/banners/background.jpg" preserveAspectRatio="none" height="110" width="680"></image> 68 <image href="images/banners/neos-arc.svg" height="32" width="90" x="63" y="8"></image> 69 <image href="images/banners/neos.svg" height="42" width="150" x="31" y="40"></image> 70 <image href="images/banners/optimization.svg" height="45" width="400" x="244" y="40" style="opacity: 0.7;"></image> 71 <image href="images/banners/swoosh.svg" height="100" width="580" x="158" y="10" style="opacity: 0.5;"></image> 72 <image href="images/banners/server-small.svg" height="10" width="65" x="118" y="88" style="opacity: 0.6;"></image> 73 </svg> 74 </a> 75 76 77<h2>NEOS Solver Statistics</h2> 78 79<form id="solver-form" method="POST" action="" 80 style="max-width: 520px; margin-left: auto; margin-right: auto;"> 81 <div class="container-fluid" style="border:1px solid #ccc;border-radius:8px;background-color:#eee;padding-bottom: 4px;padding-top: 8px"> 82 <div class="row"> 83 <div class="col-xs-5" style="padding-right: 0"> 84 <div> 85 <label for="start_date" class="col-xs-3" 86 style="margin-bottom:2px; margin-top: 3px; padding-left: 8px">Start</label> 87 <input id="start_date" class="text-center date" name="start_date"/> 88 </div> 89 <div> 90 <label for="end_date" class="col-xs-3" style="margin-bottom: 2px; margin-top: 3px; padding-left: 8px">End</label> 91 <input id="end_date" class="text-center date" name="end_date"/> 92 </div> 93 <div class="col-xs-offset-3">
94 <input class="col-xs-2" id="compare" name="compare" type="checkbox"/> 95 <label for="compare" style="font-weight: normal">Compare to...</label> 96 </div> 97 </div> 98 99 <div class="col-xs-7"> 100 <div class="row"> 101 <label for="solver_name" class="col-xs-4">Solvers</label> 102 <select id="solver_name" class="col-xs-7" name="solver_name"> 103 <option value="All">All</option> 104 </select> 105 </div> 106 107 <div class="row"> 108 <label for="solver_input" class="col-xs-4">Inputs</label> 109 <select id="solver_input" class="col-xs-7" name="solver_input"> 110 <option value="All">All</option> 111 </select> 112 </div> 113 114 <div class="row"> 115 <label for="solver_cat" class="col-xs-4">Categories</label> 116 <select id="solver_cat" class="col-xs-7" name="solver_cat"> 117 <option value="All">All</option> 118 </select> 119 </div> 120 </div> 121 </div> 122 123 <div id="comparison-div" class="row hidden"> 124 <div class="col-xs-5" style="padding-right: 0"> 125 <div> 126 <label for="comp_start_date" class="col-xs-3" style="margin-bottom: 2px; margin-top: 3px; padding-left: 8px">Start</label> 127 <input id="comp_start_date" class="text-center date" name="comp_start_date"/> 128 </div> 129 </div> 130 </div> 131 <div id="error"></div> 132 </div> 133 134 <div class="col-xs-offset-5"> 135 <input type="submit" value="Refresh"> 136 </div> 137 138</form> 139 140<div id="total-jobs" class="text-center"></div> 141 142<div id="chart"></div> 143 144<div class="row"> 145 <div class="col-xs-6 col-md-offset-2 col-md-4"> 146 <h5 id='pie-1-title' class='text-center'></h5> 147 <div id="pie-1"></div> 148 </div> 149 <div class="col-xs-6 col-md-4"> 150 <h5 id='pie-2-title' class='text-center'></h5> 151 <div id="pie-2"></div> 152 </div> 153</div> 154 155<div id="solver-tables" class="inline"> 156 <div class="report-table solver_name"></div> 157 <div class="report-table solver_input"></div> 158 <div class="report-table solver_cat"></div> 159 <div class="report-table interface"></div> 160 <div class="report-table clienthost"></div> 161</div> 162 163<div id="loading" style="display: none;">loading...</div> 164 165 </div> 166 167 <!--Google Analytics Begin--> 168
168<script type="text/javascript">
vendor: 369 bytes, lines 168-174
168 169 (function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){ 170 (i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o), 171 m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m) 172 })(window,document,'script','https://www.google-analytics.com/analytics.js','ga'); 173 174 ga('create', '
174UA-19362896-2
vendor: 46 bytes, lines 174-176
174', 'auto'); 175 ga('send', 'pageview'); 176
176</script>
176 177 <!--Google Analytics End--> 178 </body> 179</html>
Line numbers count LF bytes from the start of the resource, as the search results do. Vendor segments are library code the classifier recognised; they are stored but not indexed. Bytes are shown as Latin1 characters, one per byte.