%------------------------------------------------------------------------------
% File     : Faust---1.0
% Problem  : GEO028-3 : TPTP v3.4.2. Released v1.0.0.
% Transfm  : none
% Format   : tptp
% Command  : faust %s

% Computer : art04.cs.miami.edu
% Model    : i686 i686
% CPU      : Intel(R) Pentium(R) 4 CPU 2.80GHz @ 2794MHz
% Memory   : 1003MB
% OS       : Linux 2.6.11-1.1369_FC4
% CPULimit : 600s
% DateTime : Wed Jul  9 03:48:40 EDT 2008

% Result   : Unknown 14.2s
% Output   : None 
% Verified : 
% SZS Type : None (Parsing solution fails)
% Syntax   : Number of formulae    : 0

% Comments : 
%------------------------------------------------------------------------------
%----NO SOLUTION OUTPUT BY SYSTEM
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% *** glibc detected *** /home/graph/tptp/Systems/Faust---1.0/faust: free(): invalid pointer: 0x09900208 ***
% ======= Backtrace: =========
% /lib/libc.so.6[0x593424]
% /lib/libc.so.6(__libc_free+0x77)[0x59395f]
% /usr/lib/libstdc++.so.6(_ZdlPv+0x21)[0x6f9c669]
% /usr/lib/libstdc++.so.6(_ZdaPv+0x1d)[0x6f9c6b5]
% /home/graph/tptp/Systems/Faust---1.0/faust[0x806c8ec]
% /home/graph/tptp/Systems/Faust---1.0/faust[0x806c9ba]
% /home/graph/tptp/Systems/Faust---1.0/faust[0x806ca13]
% /home/graph/tptp/Systems/Faust---1.0/faust[0x807a41c]
% /home/graph/tptp/Systems/Faust---1.0/faust[0x807d6cc]
% /home/graph/tptp/Systems/Faust---1.0/faust[0x805d765]
% /home/graph/tptp/Systems/Faust---1.0/faust[0x8064283]
% /home/graph/tptp/Systems/Faust---1.0/faust[0x8056bd4]
% /lib/libpthread.so.0[0x8e3b80]
% /lib/libc.so.6(__clone+0x5e)[0x5fadee]
% ======= Memory map: ========
% 00207000-00208000 r-xp 00207000 00:00 0 
% 002da000-002e3000 r-xp 00000000 fd:00 8610700    /lib/libgcc_s-4.0.0-20050520.so.1
% 002e3000-002e4000 rwxp 00009000 fd:00 8610700    /lib/libgcc_s-4.0.0-20050520.so.1
% 00512000-0052c000 r-xp 00000000 fd:00 8610694    /lib/ld-2.3.5.so
% 0052c000-0052d000 r-xp 00019000 fd:00 8610694    /lib/ld-2.3.5.so
% 0052d000-0052e000 rwxp 0001a000 fd:00 8610694    /lib/ld-2.3.5.so
% 00530000-00654000 r-xp 00000000 fd:00 8610695    /lib/libc-2.3.5.so
% 00654000-00656000 r-xp 00124000 fd:00 8610695    /lib/libc-2.3.5.so
% 00656000-00658000 rwxp 00126000 fd:00 8610695    /lib/libc-2.3.5.so
% 00658000-0065a000 rwxp 00658000 00:00 0 
% 0065c000-0067e000 r-xp 00000000 fd:00 8610699    /lib/libm-2.3.5.so
% 0067e000-0067f000 r-xp 00021000 fd:00 8610699    /lib/libm-2.3.5.so
% 0067f000-00680000 rwxp 00022000 fd:00 8610699    /lib/libm-2.3.5.so
% 008de000-008ec000 r-xp 00000000 fd:00 8610696    /lib/libpthread-2.3.5.so
% 008ec000-008ed000 r-xp 0000d000 fd:00 8610696    /lib/libpthread-2.3.5.so
% 008ed000-008ee000 rwxp 0000e000 fd:00 8610696    /lib/libpthread-2.3.5.so
% 008ee000-008f0000 rwxp 008ee000 00:00 0 
% 06ee8000-06fc7000 r-xp 00000000 fd:00 3909635    /usr/lib/libstdc++.so.6.0.4
% 06fc7000-06fcc000 rwxp 000df000 fd:00 3909635    /usr/lib/libstdc++.so.6.0.4
% 06fcc000-06fd1000 rwxp 06fcc000 00:00 0 
% 08048000-0809f000 r-xp 00000000 00:15 22626359   /home/graph/tptp/Systems/Faust---1.0/faust
% 0809f000-080a2000 rw-p 00056000 00:15 22626359   /home/graph/tptp/Systems/Faust---1.0/faust
% 080a2000-080a7000 rw-p 080a2000 00:00 0 
% 08da3000-1432f000 rw-p 08da3000 00:00 0          [heap]
% b5f00000-b5f21000 rw-p b5f00000 00:00 0 
% b5f21000-b6000000 ---p b5f21000 00:00 0 
% b6086000-b60b7000 rw-p b6086000 00:00 0 
% b60b7000-b60b8000 ---p b60b7000 00:00 0 
% b60b8000-b6ab8000 rw-p b60b8000 00:00 0 
% b6ab8000-b6ab9000 ---p b6ab8000 00:00 0 
% b6ab9000-b74b9000 rw-p b6ab9000 00:00 0 
% b74b9000-b74ba000 ---p b74b9000 00:00 0 
% b74ba000-b7ef6000 rw-p b74ba000 00:00 0 
% b7f04000-b7f05000 rw-p b7f04000 00:00 0 
% bfaef000-bfb05000 rw-p bfaef000 00:00 0          [stack]
% 
%------------------------------------------------------------------------------