DEBUG PARAMS:
string(4) "2018"
string(3) "727"
string(1) "2"
DEBUG SOLVER SET QUERY:
SELECT SolverEval.Solver_id, Solver.name
                FROM SolverEval, Solver
                WHERE SolverEval.Solver_id = Solver.id AND SolverEval.eventYear = 2018 AND SolverEval.track = 2
                ORDER BY Solver.name
DEBUG SOLVER SET NUM ROWS: 13
DEBUG BENCH NUM QUERY:
SELECT COUNT(BenchmarkEval.Benchmark_id)
               FROM BenchmarkEval, Benchmark
               WHERE Benchmark.Family_id = 727
               AND BenchmarkEval.Benchmark_id = Benchmark.id  AND BenchmarkEval.eventYear = 2018 AND BenchmarkEval.track = 2
DEBUG BENCH NUM RESULT:
string(1) "5"
DEBUG FAMILY NAME QUERY:
SELECT name FROM Family WHERE id = 727
DEBUG FAMILY NAME RESULT:
string(30) "LinearBitvectorRankingFunction"
DEBUG EVENT QUERY:
SELECT titleTrack FROM Organization WHERE eventYear = 2018 AND numTrack = 2
DEBUG EVENT TITLE RESULT:
string(33) "QBFEVAL'18 - Prenex non-CNF Track"
Family LinearBitvectorRankingFunction results for solvers <br> QBFEVAL'18 - Prenex non-CNF Track

Family LinearBitvectorRankingFunction results for solvers
QBFEVAL'18 - Prenex non-CNF Track

DEBUG SOLVER ROW:
array(2) {
  [0]=>
  string(3) "307"
  [1]=>
  string(11) "Cqesto_2018"
}
DEBUG TOTAL TIME QUERY:
SELECT SUM(Result.time), Benchmark.Family_id
                    FROM Result, Benchmark
                    WHERE Result.Benchmark_id = Benchmark.id
                    AND Benchmark.Family_id = 727
                    AND Result.Solver_id = 307  AND Result.eventYear = 2018 AND Result.track = 2
                    GROUP BY Benchmark.Family_id
DEBUG TOTAL TIME RESULT:
string(18) "3600.7399829030037"
DEBUG STAT QUERY:
SELECT Result.time
        FROM Result, Benchmark
        WHERE Result.Solver_id = 307 
            AND Benchmark.Family_id = 727
            AND Result.Benchmark_id = Benchmark.id AND Result.eventYear = 2018 AND Result.track = 2
        ORDER BY Result.time
DEBUG STAT NUM ROWS: 5

Fatal error: Uncaught Error: Call to undefined function mysql_data_seek() in /web/htdocs/www.qbflib.org/home/html_functions.php:458 Stack trace: #0 /web/htdocs/www.qbflib.org/home/family_solvers.php(103): calcMean() #1 {main} thrown in /web/htdocs/www.qbflib.org/home/html_functions.php on line 458