DEBUG PARAMS:
string(1) "1"

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

DEBUG DOMAIN RESULT:
array(2) {
  [0]=>
  string(19) "Formal Verification"
  [1]=>
  string(1) " "
}

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

DEBUG FAMILY NUM ROWS: 66
Application domain Formal Verification

Application domain Formal Verification


Warning: Undefined variable $htmlString in /web/htdocs/www.qbflib.org/home/applicationDomain_detail.php on line 46
DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(2) "23"
  [1]=>
  string(5) "Adder"
  [2]=>
  string(2) "32"
}

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

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "710"
  [1]=>
  string(16) "blackbox-01X-QBF"
  [2]=>
  string(3) "450"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "616"
  [1]=>
  string(15) "blackbox_design"
  [2]=>
  string(2) "28"
}

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

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

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

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

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

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

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

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

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

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(2) "19"
  [1]=>
  string(7) "Counter"
  [2]=>
  string(2) "88"
}

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

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "709"
  [1]=>
  string(5) "Debug"
  [2]=>
  string(2) "38"
}

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

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

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "120"
  [1]=>
  string(17) "FPGA_PLB_FIT_FAST"
  [2]=>
  string(1) "5"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(2) "22"
  [1]=>
  string(17) "FPGA_PLB_FIT_SLOW"
  [2]=>
  string(1) "3"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "728"
  [1]=>
  string(3) "fpu"
  [2]=>
  string(3) "398"
}

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

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "726"
  [1]=>
  string(16) "HardwareFixpoint"
  [2]=>
  string(3) "131"
}

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

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "729"
  [1]=>
  string(19) "incrementer-encoder"
  [2]=>
  string(3) "612"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "714"
  [1]=>
  string(12) "irqlkeapclte"
  [2]=>
  string(2) "46"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "755"
  [1]=>
  string(7) "ISCAS89"
  [2]=>
  string(3) "408"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "747"
  [1]=>
  string(5) "ITC99"
  [2]=>
  string(3) "519"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "785"
  [1]=>
  string(4) "jctc"
  [2]=>
  string(2) "17"
}

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

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

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "727"
  [1]=>
  string(30) "LinearBitvectorRankingFunction"
  [2]=>
  string(2) "60"
}

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

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

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

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

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

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "718"
  [1]=>
  string(14) "NuSMV_diam_bin"
  [2]=>
  string(2) "92"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "751"
  [1]=>
  string(9) "qbfeval12"
  [2]=>
  string(2) "17"
}

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

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "722"
  [1]=>
  string(16) "RankingFunctions"
  [2]=>
  string(3) "372"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "191"
  [1]=>
  string(5) "s1196"
  [2]=>
  string(1) "6"
}

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

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

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "190"
  [1]=>
  string(4) "s298"
  [2]=>
  string(2) "24"
}

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

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "160"
  [1]=>
  string(5) "s3330"
  [2]=>
  string(2) "13"
}

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

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(2) "86"
  [1]=>
  string(4) "s499"
  [2]=>
  string(2) "25"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "104"
  [1]=>
  string(4) "s510"
  [2]=>
  string(2) "50"
}

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(2) "52"
  [1]=>
  string(4) "s641"
  [2]=>
  string(1) "9"
}

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

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

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

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

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

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

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

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "610"
  [1]=>
  string(7) "tipdiam"
  [2]=>
  string(3) "203"
}

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

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

DEBUG FAMILY ROW:
array(3) {
  [0]=>
  string(3) "730"
  [1]=>
  string(23) "trafficlight-controller"
  [2]=>
  string(4) "1622"
}

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

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

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

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

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