DATE-MARKER 3613 printf "Building with /gcc/spec/sb-vangelis-head-64/x86_64/install-200911232354/bin/g++ CODE=-O2 -w CODE2=\n" Building with /gcc/spec/sb-vangelis-head-64/x86_64/install-200911232354/bin/g++ CODE=-O2 -w CODE2= bison -y -o parser.tmp parser.y sed -e 's#parse error#syntax error#g' parser.tmp > parser2.c rm -f parser.tmp /gcc/spec/sb-vangelis-head-64/x86_64/install-200911232354/bin/g++ -c -ansi -pedantic -fno-exceptions -Wall -W -Wcast-align -Wcast-qual -Wconversion -Woverloaded-virtual -Wpointer-arith -Wwrite-strings -O2 -w dl.C -o dl.o /gcc/spec/sb-vangelis-head-64/x86_64/install-200911232354/bin/g++ -c -ansi -pedantic -fno-exceptions -Wall -W -Wcast-align -Wcast-qual -Wconversion -Woverloaded-virtual -Wpointer-arith -Wwrite-strings -O2 -w satz.C -o satz.o bison -y -d -o parser.c parser.y rm -f parser.c flex -oscanner2.c scanner.l /gcc/spec/sb-vangelis-head-64/x86_64/install-200911232354/bin/g++ -c -ansi -pedantic -fno-exceptions -Wall -W -Wcast-align -Wcast-qual -Wconversion -Woverloaded-virtual -Wpointer-arith -Wwrite-strings -O2 -w scanner.C -o scanner.o /gcc/spec/sb-vangelis-head-64/x86_64/install-200911232354/bin/g++ -c -ansi -pedantic -fno-exceptions -Wall -W -Wcast-align -Wcast-qual -Wconversion -Woverloaded-virtual -Wpointer-arith -Wwrite-strings -O2 -w safety.C -o safety.o /gcc/spec/sb-vangelis-head-64/x86_64/install-200911232354/bin/g++ -c -ansi -pedantic -fno-exceptions -Wall -W -Wcast-align -Wcast-qual -Wconversion -Woverloaded-virtual -Wpointer-arith -Wwrite-strings -O2 -w rewrite.C -o rewrite.o /gcc/spec/sb-vangelis-head-64/x86_64/install-200911232354/bin/g++ -c -ansi -pedantic -fno-exceptions -Wall -W -Wcast-align -Wcast-qual -Wconversion -Woverloaded-virtual -Wpointer-arith -Wwrite-strings -O2 -w rewrite-magic.C -o rewrite-magic.o /gcc/spec/sb-vangelis-head-64/x86_64/install-200911232354/bin/g++ -c -ansi -pedantic -fno-exceptions -Wall -W -Wcast-align -Wcast-qual -Wconversion -Woverloaded-virtual -Wpointer-arith -Wwrite-strings -O2 -w grounding.C -o grounding.o /gcc/spec/sb-vangelis-head-64/x86_64/install-200911232354/bin/g++ -c -ansi -pedantic -fno-exceptions -Wall -W -Wcast-align -Wcast-qual -Wconversion -Woverloaded-virtual -Wpointer-arith -Wwrite-strings -O2 -w grounding_sub.C -o grounding_sub.o /gcc/spec/sb-vangelis-head-64/x86_64/install-200911232354/bin/g++ -c -ansi -pedantic -fno-exceptions -Wall -W -Wcast-align -Wcast-qual -Wconversion -Woverloaded-virtual -Wpointer-arith -Wwrite-strings -O2 -w grounding-prop.C -o grounding-prop.o /gcc/spec/sb-vangelis-head-64/x86_64/install-200911232354/bin/g++ -c -ansi -pedantic -fno-exceptions -Wall -W -Wcast-align -Wcast-qual -Wconversion -Woverloaded-virtual -Wpointer-arith -Wwrite-strings -O2 -w generate.C -o generate.o /gcc/spec/sb-vangelis-head-64/x86_64/install-200911232354/bin/g++ -c -ansi -pedantic -fno-exceptions -Wall -W -Wcast-align -Wcast-qual -Wconversion -Woverloaded-virtual -Wpointer-arith -Wwrite-strings -O2 -w check.C -o check.o /gcc/spec/sb-vangelis-head-64/x86_64/install-200911232354/bin/g++ -c -ansi -pedantic -fno-exceptions -Wall -W -Wcast-align -Wcast-qual -Wconversion -Woverloaded-virtual -Wpointer-arith -Wwrite-strings -O2 -w odbc.C -o odbc.o /gcc/spec/sb-vangelis-head-64/x86_64/install-200911232354/bin/g++ -c -ansi -pedantic -fno-exceptions -Wall -W -Wcast-align -Wcast-qual -Wconversion -Woverloaded-virtual -Wpointer-arith -Wwrite-strings -O2 -w stats.C -o stats.o bison -y -p diagyy -d -o diag_parser.c diag_parser.y rm -f diag_parser.c flex -Pdiagyy -odiag_scanner2.c diag_scanner.l /gcc/spec/sb-vangelis-head-64/x86_64/install-200911232354/bin/g++ -c -ansi -pedantic -fno-exceptions -Wall -W -Wcast-align -Wcast-qual -Wconversion -Woverloaded-virtual -Wpointer-arith -Wwrite-strings -O2 -w diag_scanner.C -o diag_scanner.o bison -y -p diagyy -o diag_parser.tmp diag_parser.y sed -e 's#parse error#syntax error#g' diag_parser.tmp > diag_parser2.c rm -f diag_parser.tmp /gcc/spec/sb-vangelis-head-64/x86_64/install-200911232354/bin/g++ -c -ansi -pedantic -fno-exceptions -Wall -W -Wcast-align -Wcast-qual -Wconversion -Woverloaded-virtual -Wpointer-arith -Wwrite-strings -O2 -w diag.C -o diag.o bison -y -p sqlyy -d -o sql_parser.c sql_parser.y rm -f sql_parser.c flex -Psqlyy -osql_scanner2.c sql_scanner.l /gcc/spec/sb-vangelis-head-64/x86_64/install-200911232354/bin/g++ -c -ansi -pedantic -fno-exceptions -Wall -W -Wcast-align -Wcast-qual -Wconversion -Woverloaded-virtual -Wpointer-arith -Wwrite-strings -O2 -w sql_scanner.C -o sql_scanner.o bison -y -p sqlyy -o sql_parser.tmp sql_parser.y sed -e 's#parse error#syntax error#g' sql_parser.tmp > sql_parser2.c rm -f sql_parser.tmp /gcc/spec/sb-vangelis-head-64/x86_64/install-200911232354/bin/g++ -c -ansi -pedantic -fno-exceptions -Wall -W -Wcast-align -Wcast-qual -Wconversion -Woverloaded-virtual -Wpointer-arith -Wwrite-strings -O2 -w sql.C -o sql.o bison -y -p planyy -d -o plan_parser.c plan_parser.y rm -f plan_parser.c flex -Pplanyy -oplan_scanner2.c plan_scanner.l /gcc/spec/sb-vangelis-head-64/x86_64/install-200911232354/bin/g++ -c -ansi -pedantic -fno-exceptions -Wall -W -Wcast-align -Wcast-qual -Wconversion -Woverloaded-virtual -Wpointer-arith -Wwrite-strings -O2 -w plan_scanner.C -o plan_scanner.o bison -y -p planyy -o plan_parser.tmp plan_parser.y sed -e 's#parse error#syntax error#g' plan_parser.tmp > plan_parser2.c rm -f plan_parser.tmp /gcc/spec/sb-vangelis-head-64/x86_64/install-200911232354/bin/g++ -c -ansi -pedantic -fno-exceptions -Wall -W -Wcast-align -Wcast-qual -Wconversion -Woverloaded-virtual -Wpointer-arith -Wwrite-strings -O2 -w plan.C -o plan.o touch inheritance.h /gcc/spec/sb-vangelis-head-64/x86_64/install-200911232354/bin/g++ -c -ansi -pedantic -fno-exceptions -Wall -W -Wcast-align -Wcast-qual -Wconversion -Woverloaded-virtual -Wpointer-arith -Wwrite-strings -O2 -w inheritance.C -o inheritance.o # Link statically, unless we are building with the ODBC interface # or running on FreeBSD or Darwin/MacOS X. L=; \ if [ x""x != xx ]; then \ L="${L} -lodbc"; \ if [ `uname -s` = "FreeBSD" ]; then \ L="${L} -liconv"; \ fi ; \ elif [ `uname -s` != "Darwin" ] \ && [ "`uname -sr | sed -e 's/\..*//'`" != "FreeBSD 6" ]; then \ L="${L} "; \ fi ; \ echo "Linking with additional options: ${L}" ; \ /gcc/spec/sb-vangelis-head-64/x86_64/install-200911232354/bin/g++ dl.o satz.o scanner.o safety.o rewrite.o rewrite-magic.o grounding.o grounding_sub.o grounding-prop.o generate.o check.o odbc.o stats.o diag_scanner.o diag.o sql_scanner.o sql.o plan_scanner.o plan.o inheritance.o -o dl -lm ${L} Linking with additional options: TIME: 123.23 total: 309584 kB FILESIZE: text data bss dec hex filename 1123597 1828 3207064 4332489 421bc9 ./dl [0]: /usr/bin/time ../DLV/dl | [0] | ---------------------+--------------+ STRATCOMP1-ALL | 1.83 (0.09) | STRATCOMP-770.2-Q | 0.28 (0.00) | 2QBF1 | 7.63 (0.01) | PRIMEIMPL2 | 5.87 (0.02) | ANCESTOR | 86.02 (0.31) | 3COL-SIMPLEX1 | 2.64 (0.02) | 3COL-LADDER | 67.83 (0.05) | 3COL-N-LADDER | 1.14 (0.01) | 3COL-RANDOM1 | 5.38 (0.05) | HP-RANDOM1 | 5.96 (0.03) | HAMCYCLE-FREE | 1.03 (0.00) | DECOMP2 | 8.47 (0.11) | BW-P4-Esra-a | 28.17 (0.04) | BW-P5-nopush | 2.73 (0.01) | BW-P5-pushbin | 2.68 (0.01) | BW-P5-nopushbin | 0.82 (0.01) | 3SAT-1 | 17.93 (0.02) | 3SAT-1-CONSTRAINT | 10.39 (0.04) | HANOI-Towers | 1.85 (0.00) | RAMSEY | 3.90 (0.03) | CRISTAL | 5.92 (0.08) | HANOI-K | 21.47 (0.35) | 21-QUEENS | 8.65 (0.07) | MSTDir[V=13,A=40] | 8.78 (0.01) | MSTDir[V=15,A=40] | 8.78 (0.02) | MSTUndir[V=13,A=40] | 5.15 (0.00) | MSTUndir[V=15,A=40] | 83.16 (0.29) | TIMETABLING | 3.86 (0.05) | ---------------------+--------------+ STRATCOMP1-ALL: STRATCOMP, random instance, |companies| = 60, |products| = 180, all sets STRATCOMP-770.2-Q: STRATCOMP, random instance, |companies| = |products| = 770, first model, with query 2QBF1: 2QBF, 1000 all-quantified, 20 existentially-quantified variables 10000 clauses, 5CNF PRIMEIMPL2: Prime Implicants with 180 variables and 774 clauses (all models [246]) ANCESTOR: Double ancestor board of size 20x20 [grounding only] 3COL-SIMPLEX1: 3COL simplex graph, |edges| = 1980, |nodes| = 1035, one model 3COL-LADDER: 3COL ladder graph, |edges| = 8998, |nodes| = 6000, one model 3COL-N-LADDER: 3COL ladder graph, propositional/Niemela style, |nodes| = 12000, one model 3COL-RANDOM1: 3COL random graph, |edges| = 1100, |nodes| = 500, one model HP-RANDOM1: Hamiltonian Path on a random graph, |edges| = 700, |nodes| = 85, one model generated with Stanford Graph Base random_graph(85,700,0,0,0,0,0,1,1,33) undirected graph, represented as a directed one HAMCYCLE-FREE: Hamiltonian Cycle with a free guess. n = 60, one model DECOMP2: query decomposition (k=3), one model BW-P4-Esra-a: blocksworld problem P4 with Esra's bw_domain_a program BW-P5-nopush: blocksworld problem P5 with Axel's C-translation without push BW-P5-pushbin: blocksworld problem P5 with Axel's pushed and binarised C-translation BW-P5-nopushbin: blocksworld problem P5 with Axel's binarised C-translation without push 3SAT-1: 3SAT with 280 variables and 1204 clauses, randomly generated, one model 3SAT-1-CONSTRAINT: 3SAT with 280 variables and 1204 clauses, randomly generated, one model, constraint encoding HANOI-Towers: "Towers of Hanoi" with 3 stacks, 4 disks, and 15 steps. RAMSEY: "Ramsey(3,6) != 17" CRISTAL: "Deductive database use as done by Christoph Koch in CERN" HANOI-K: "Towers of Hanoi" in K with 3 stacks, 4 disks, and 15 steps. 21-QUEENS: "N-Queens with 21 queens" MSTDir[V=13,A=40]: min spanning tree [prim], directed graph with 13 vertices and 40 arcs MSTDir[V=15,A=40]: min spanning tree [prim], directed graph with 15 vertices and 40 arcs MSTUndir[V=13,A=40]: min spanning tree [prim], undirected graph with 13 vertices and 40 arcs MSTUndir[V=15,A=40]: min spanning tree [prim], undirected graph with 15 vertices and 40 arcs TIMETABLING: A timetable problem of the first year of the faculty of Science of University of Calabria for 1 class, one model