DEBUG PARAMS:
string(1) "4"

DEBUG DOMAIN QUERY:
SELECT name, description FROM ApplicationDomain WHERE id = 4

DEBUG DOMAIN RESULT:
array(2) {
  [0]=>
  string(11) "Miscellanea"
  [1]=>
  string(1) " "
}

DEBUG FAMILY QUERY:
SELECT Benchmark.Family_id, Family.name, COUNT(Benchmark.id)  
                 FROM Family, Benchmark
                 WHERE Benchmark.ApplicationDomain_id = 4 
                 AND Benchmark.Family_id = Family.id 
                 GROUP BY Benchmark.Family_id, Family.name
                 ORDER BY Family.name

DEBUG FAMILY NUM ROWS: 67
Application domain Miscellanea

Application domain Miscellanea


Warning: Undefined variable $htmlString in /web/htdocs/www.qbflib.org/home/applicationDomain_detail.php on line 46
DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "798"
  [1]=>
  string(17) "(D)-QBF_Autarkies"
  [2]=>
  string(2) "50"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "711"
  [1]=>
  string(9) "Abduction"
  [2]=>
  string(3) "303"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "765"
  [1]=>
  string(4) "amba"
  [2]=>
  string(1) "8"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "762"
  [1]=>
  string(10) "arithmetic"
  [2]=>
  string(2) "10"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "786"
  [1]=>
  string(24) "ASP_Equivalence_Checking"
  [2]=>
  string(3) "250"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "608"
  [1]=>
  string(21) "ASP_Program_Inclusion"
  [2]=>
  string(3) "200"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "790"
  [1]=>
  string(14) "Balabanov_dqbf"
  [2]=>
  string(2) "34"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "791"
  [1]=>
  string(10) "Bloem_dqbf"
  [2]=>
  string(1) "8"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "781"
  [1]=>
  string(26) "BoundedSynthesisPetriGames"
  [2]=>
  string(3) "360"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "170"
  [1]=>
  string(5) "Chain"
  [2]=>
  string(2) "12"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "783"
  [1]=>
  string(15) "chess_composing"
  [2]=>
  string(2) "58"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "784"
  [1]=>
  string(13) "chess_solving"
  [2]=>
  string(3) "127"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "778"
  [1]=>
  string(24) "CombinationalEquivalence"
  [2]=>
  string(2) "50"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "797"
  [1]=>
  string(12) "crafted_2020"
  [2]=>
  string(3) "132"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "766"
  [1]=>
  string(11) "cycle-sched"
  [2]=>
  string(2) "10"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "763"
  [1]=>
  string(25) "disjunctive_decomposition"
  [2]=>
  string(2) "10"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "767"
  [1]=>
  string(6) "driver"
  [2]=>
  string(2) "10"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "775"
  [1]=>
  string(11) "formula_add"
  [2]=>
  string(2) "12"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "768"
  [1]=>
  string(6) "genbuf"
  [2]=>
  string(2) "11"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "761"
  [1]=>
  string(8) "genpatch"
  [2]=>
  string(1) "5"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "794"
  [1]=>
  string(13) "gttt-4x4_2020"
  [2]=>
  string(2) "96"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "795"
  [1]=>
  string(33) "gttt-5x5-iterative-deepening_2020"
  [2]=>
  string(2) "20"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "796"
  [1]=>
  string(13) "hex-hein_2020"
  [2]=>
  string(2) "23"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "769"
  [1]=>
  string(5) "hwmcc"
  [2]=>
  string(2) "14"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "770"
  [1]=>
  string(8) "hyperLTL"
  [2]=>
  string(1) "2"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(2) "28"
  [1]=>
  string(4) "Impl"
  [2]=>
  string(2) "10"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "126"
  [1]=>
  string(10) "k_branch_n"
  [2]=>
  string(2) "21"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "101"
  [1]=>
  string(10) "k_branch_p"
  [2]=>
  string(2) "21"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "136"
  [1]=>
  string(6) "k_d4_n"
  [2]=>
  string(2) "21"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "113"
  [1]=>
  string(6) "k_d4_p"
  [2]=>
  string(2) "21"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(2) "66"
  [1]=>
  string(7) "k_dum_n"
  [2]=>
  string(2) "21"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(2) "40"
  [1]=>
  string(7) "k_dum_p"
  [2]=>
  string(2) "21"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "168"
  [1]=>
  string(7) "k_grz_n"
  [2]=>
  string(2) "21"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(2) "64"
  [1]=>
  string(7) "k_grz_p"
  [2]=>
  string(2) "21"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(2) "53"
  [1]=>
  string(7) "k_lin_n"
  [2]=>
  string(2) "21"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "185"
  [1]=>
  string(7) "k_lin_p"
  [2]=>
  string(2) "21"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "169"
  [1]=>
  string(8) "k_path_n"
  [2]=>
  string(2) "21"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(2) "84"
  [1]=>
  string(8) "k_path_p"
  [2]=>
  string(2) "21"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(2) "77"
  [1]=>
  string(6) "k_ph_n"
  [2]=>
  string(2) "21"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "186"
  [1]=>
  string(6) "k_ph_p"
  [2]=>
  string(2) "21"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "147"
  [1]=>
  string(8) "k_poly_n"
  [2]=>
  string(2) "21"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "192"
  [1]=>
  string(8) "k_poly_p"
  [2]=>
  string(2) "21"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "140"
  [1]=>
  string(7) "k_t4p_n"
  [2]=>
  string(2) "21"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "189"
  [1]=>
  string(7) "k_t4p_p"
  [2]=>
  string(2) "21"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "771"
  [1]=>
  string(12) "ltl2aig-comp"
  [2]=>
  string(2) "12"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "772"
  [1]=>
  string(7) "LTL2DBA"
  [2]=>
  string(1) "6"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "782"
  [1]=>
  string(7) "LTL2DPA"
  [2]=>
  string(1) "4"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "723"
  [1]=>
  string(3) "mqm"
  [2]=>
  string(3) "136"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "773"
  [1]=>
  string(11) "mult-matrix"
  [2]=>
  string(2) "12"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "789"
  [1]=>
  string(10) "PetriGames"
  [2]=>
  string(2) "25"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "780"
  [1]=>
  string(20) "PositionalGames_gttt"
  [2]=>
  string(2) "64"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "779"
  [1]=>
  string(19) "PositionalGames_hex"
  [2]=>
  string(2) "49"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "746"
  [1]=>
  string(12) "QBF-Hardness"
  [2]=>
  string(3) "198"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(2) "21"
  [1]=>
  string(8) "Qshifter"
  [2]=>
  string(1) "6"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "788"
  [1]=>
  string(19) "Random-qcir-1000-50"
  [2]=>
  string(4) "1000"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "753"
  [1]=>
  string(17) "Reduction-finding"
  [2]=>
  string(4) "4620"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "787"
  [1]=>
  string(22) "Reduction-finding-qcir"
  [2]=>
  string(4) "2296"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "754"
  [1]=>
  string(9) "Rewriting"
  [2]=>
  string(2) "10"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "614"
  [1]=>
  string(3) "SAT"
  [2]=>
  string(2) "21"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "792"
  [1]=>
  string(11) "Scholl_dqbf"
  [2]=>
  string(2) "25"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "776"
  [1]=>
  string(14) "Selection-hard"
  [2]=>
  string(2) "10"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "764"
  [1]=>
  string(6) "sketch"
  [2]=>
  string(2) "14"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "793"
  [1]=>
  string(12) "Tentrup_dqbf"
  [2]=>
  string(2) "27"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "774"
  [1]=>
  string(3) "toy"
  [2]=>
  string(2) "11"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(2) "56"
  [1]=>
  string(4) "Tree"
  [2]=>
  string(2) "14"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "615"
  [1]=>
  string(5) "UNSAT"
  [2]=>
  string(2) "21"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "777"
  [1]=>
  string(8) "wgrowing"
  [2]=>
  string(2) "42"
}

Fatal error: Uncaught Error: Call to undefined function tableExists() in /web/htdocs/www.qbflib.org/home/applicationDomain_detail.php:80 Stack trace: #0 {main} thrown in /web/htdocs/www.qbflib.org/home/applicationDomain_detail.php on line 80