-
Notifications
You must be signed in to change notification settings - Fork 0
/
benchmark.html
11 lines (10 loc) · 7.87 KB
/
benchmark.html
1
2
3
4
5
6
7
8
9
10
11
<!DOCTYPE html><html><head>
<title>realgeom benchmark</title>
<link rel="stylesheet" type="text/css" href="style.css"></head><body><h1>realgeom benchmark</h1>
<h2>on 2018-01-25 21:14:16.768 at roadrunner</h2><h3>Automatic substitution</h2><table><tr><th>Name</th>
<th>mathematica</th><th>maple/regularchains</th><th>maple/synrac</th><th>qepcad</th><th>redlog</th></th><tr><td class="ex">Test 1</td><td class="st">1.217</td><td class="st">1.161</td><td class="st">1.187</td><td class="st">5.816</td><td class="st">1.105</td></tr><tr><td class="ex">Test 2</td><td class="st">0.663</td><td class="st">1.738</td><td class="st">2.032</td><td class="st">5.993</td><td class="st">0.957</td></tr><tr><td class="ex">Bottema 1.1</td><td class="st">0.681</td><td class="st">2.389</td><td class="st">6.255</td><td class="st">6.04</td><td class="st">1.572</td></tr><tr><td class="ex">Bottema 1.2</td><td class="st">1.414</td><td class="s3">3052.307</td><td class="s2">18.01</td><td class="st">7.427</td><td class="timeout">t/o</td></tr><tr><td class="ex">Bottema 1.3</td><td class="st">0.839</td><td class="st">3.537</td><td class="st">3.687</td><td class="st">6.109</td><td class="st">0.988</td></tr><tr><td class="ex">Bottema 1.4</td><td class="st">1.298</td><td class="timeout">t/o</td><td class="s2">32.971</td><td class="st">7.404</td><td class="st">2.294</td></tr><tr><td class="ex">Bottema 1.5</td><td class="st">1.014</td><td class="st">5.407</td><td class="st">6.854</td><td class="st">6.057</td><td class="st">3.576</td></tr><tr><td class="ex">Bottema 1.6</td><td class="st">1.202</td><td class="timeout">t/o<td class="s2">48.819</td><td class="st">6.166</td><td class="s3">778.287</td></tr><tr><td class="ex">Bottema 1.7</td><td class="st">1.405</td><td class="st">4.879</td><td class="st">9.113</td><td class="st">6.024</td><td class="st">2.474</td></tr><tr><td class="ex">Bottema 1.8</td><td class="st">1.334</td><td class="s2">172.947</td><td class="s2">12.891</td><td class="st">6.062</td><td class="s3">1063.775</td></tr><tr><td class="ex">Bottema 1.9</td><td class="st">1.738</td><td class="timeout">t/o</td><td class="timeout">t/o</td><td class="s2">16.642</td><td class="timeout">t/o</td></tr><tr><td class="ex">Bottema 1.11</td><td class="st">1.043</td><td class="timeout">t/o</td><td class="s2">32.499</td><td class="s2">10.722</td><td class="timeout">t/o</td></tr><tr><td class="ex">Bottema 1.12</td><td class="st">1.096</td><td class="timeout">t/o</td><td class="st">4.723</td><td class="st">6.183</td><td class="s2">257.085</td></tr><tr><td class="ex">Bottema 1.14</td><td class="st">0.846</td><td class="st">8.533</td><td class="s2">46.918</td><td class="st">6.128</td><td class="st">2.488</td></tr><tr><td class="ex">Bottema 1.15</td><td class="st">0.774</td><td class="st">3.047</td><td class="st">6.04</td><td class="st">5.734</td><td class="st">1.148</td></tr><tr><td class="ex">Bottema 1.16</td><td class="st">0.902</td><td class="s2">62.103</td><td class="s2">14.02</td><td class="st">5.86</td><td class="s3">839.169</td></tr><tr><td class="ex">Bottema 1.17</td><td class="st">0.768</td><td class="s2">70.326</td><td class="s2">13.904</td><td class="st">5.904</td><td class="s3">800.657</td></tr><tr><td class="ex">Bottema 1.18</td><td class="st">0.685</td><td class="st">2.69</td><td class="st">1.419</td><td class="st">6.108</td><td class="st">0.995</td></tr><tr><td class="ex">Bottema 1.19</td><td class="st">0.92</td><td class="st">3.552</td><td class="st">9.208</td><td class="st">5.963</td><td class="s2">19.739</td></tr><tr><td class="ex">Bottema 1.23</td><td class="st">1.224</td><td class="s3">381.592</td><td class="s2">26.693</td><td class="st">6.1</td><td class="s3">2072.483</td></tr><tr><td class="ex">Bottema 1.24</td><td class="st">0.676</td><td class="st">8.955</td><td class="st">4.464</td><td class="st">5.867</td><td class="st">0.976</td></tr>
<tr><td class="summary"><b>Summary (of 21)</b></td><td class="summary"><b>21</b></td><td class="summary"><b>16</b></td><td class="summary"><b>20</b></td><td class="summary"><b>21</b></td><td class="summary"><b>18</b></td></tr>
</table><h3>No substitution</h2><table><tr><th>Name</th>
<th>mathematica</th><th>maple/regularchains</th><th>maple/synrac</th><th>qepcad</th><th>redlog</th></th><tr><td class="ex">Test 1</td><td class="st">0.622</td><td class="st">1.605</td><td class="st">0.913</td><td class="st">7.359</td><td class="st">0.785</td></tr><tr><td class="ex">Test 2</td><td class="st">0.818</td><td class="st">2.941</td><td class="st">2.173</td><td class="st">7.385</td><td class="st">0.715</td></tr><tr><td class="ex">Bottema 1.1</td><td class="st">0.83</td><td class="st">6.148</td><td class="st">8.54</td><td class="st">6.152</td><td class="st">2.138</td></tr><tr><td class="ex">Bottema 1.2</td><td class="st">2.882</td><td class="timeout">t/o</td><td class="s2">19.111</td><td class="s2">10.523</td><td class="timeout">t/o</td></tr><tr><td class="ex">Bottema 1.3</td><td class="st">1.059</td><td class="st">5.268</td><td class="st">3.525</td><td class="st">5.89</td><td class="st">0.899</td></tr><tr><td class="ex">Bottema 1.4</td><td class="st">2.106</td><td class="timeout">t/o</td><td class="s2">28.592</td><td class="st">5.963</td><td class="st">3.303</td></tr><tr><td class="ex">Bottema 1.5</td><td class="st">0.865</td><td class="s2">10.275</td><td class="st">8.159</td><td class="st">6.539</td><td class="s2">105.632</td></tr><tr><td class="ex">Bottema 1.6</td><td class="st">2.292</td><td class="timeout">t/o</td><td class="s2">48.492</td><td class="st">6.697</td><td class="timeout">t/o</td></tr><tr><td class="ex">Bottema 1.7</td><td class="st">0.965</td><td class="st">9.267</td><td class="st">9.678</td><td class="st">5.912</td><td class="st">3.14</td></tr><tr><td class="ex">Bottema 1.8</td><td class="st">2.161</td><td class="s3">548.823</td><td class="s2">12.814</td><td class="st">6.462</td><td class="timeout">t/o</td></tr><tr><td class="ex">Bottema 1.9</td><td class="st">2.665</td><td class="timeout">t/o</td><td class="timeout">t/o</td><td class="s2">31.155</td><td class="timeout">t/o</td></tr><tr><td class="ex">Bottema 1.11</td><td class="st">2.011</td><td class="timeout">t/o</td><td class="st">9.633</td><td class="timeout">t/o</td><td class="timeout">t/o</td></tr><tr><td class="ex">Bottema 1.12</td><td class="st">1.157</td><td class="timeout">t/o</td><td class="st">4.834</td><td class="st">7.379</td><td class="timeout">t/o</td></tr><tr><td class="ex">Bottema 1.14</td><td class="st">0.965</td><td class="s2">18.979</td><td class="s2">13.195</td><td class="st">6.12</td><td class="s2">11.122</td></tr><tr><td class="ex">Bottema 1.15</td><td class="st">0.788</td><td class="st">5.518</td><td class="st">6.388</td><td class="st">6.187</td><td class="st">1.375</td></tr><tr><td class="ex">Bottema 1.16</td><td class="st">1.34</td><td class="s2">207.821</td><td class="s2">14.456</td><td class="st">6.763</td><td class="timeout">t/o</td></tr><tr><td class="ex">Bottema 1.17</td><td class="st">1.532</td><td class="s2">218.612</td><td class="s2">13.345</td><td class="st">6.859</td><td class="timeout">t/o</td></tr><tr><td class="ex">Bottema 1.18</td><td class="st">0.544</td><td class="st">6.056</td><td class="st">1.959</td><td class="st">6.117</td><td class="st">1.116</td></tr><tr><td class="ex">Bottema 1.19</td><td class="st">0.966</td><td class="st">8.037</td><td class="st">8.874</td><td class="st">6.582</td><td class="s2">98.634</td></tr><tr><td class="ex">Bottema 1.23</td><td class="st">1.527</td><td class="s3">796.229</td><td class="s2">27.787</td><td class="st">6.455</td><td class="timeout">t/o</td></tr><tr><td class="ex">Bottema 1.24</td><td class="st">0.964</td><td class="s2">19.673</td><td class="st">3.484</td><td class="st">6.116</td><td class="st">1.267</td></tr>
<tr><td class="summary"><b>Summary (of 21)</b></td><td class="summary"><b>21</b></td><td class="summary"><b>15</b></td><td class="summary"><b>20</b></td><td class="summary"><b>20</b></td><td class="summary"><b>12</b></td></tr>
</table></body></html>