TSTP Solution File: CSR028+5 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : CSR028+5 : TPTP v8.1.0. Bugfixed v3.5.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n029.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 300s
% DateTime : Tue Sep 20 13:38:07 EDT 2022
% Result : Unknown 250.77s 102.70s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : CSR028+5 : TPTP v8.1.0. Bugfixed v3.5.0.
% 0.07/0.13 % Command : goeland -dmt -presko -proof %s
% 0.14/0.34 % Computer : n029.cluster.edu
% 0.14/0.34 % Model : x86_64 x86_64
% 0.14/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.34 % Memory : 8042.1875MB
% 0.14/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.34 % CPULimit : 300
% 0.14/0.34 % WCLimit : 300
% 0.14/0.34 % DateTime : Tue Aug 30 16:43:12 EDT 2022
% 0.14/0.34 % CPUTime :
% 0.14/0.35 [DMT] DMT loaded with preskolemization
% 0.14/0.35 [EQ] equality loaded.
% 0.14/0.35 [0.000038s][1][MAIN] Problem : theBenchmark.p
% 250.77/99.88 SIGQUIT: quit
% 250.77/99.88 PC=0x468161 m=0 sigcode=0
% 250.77/99.88
% 250.77/99.88 goroutine 0 [idle]:
% 250.77/99.88 runtime.futex()
% 250.77/99.88 /usr/lib/go-1.18/src/runtime/sys_linux_amd64.s:552 +0x21
% 250.77/99.88 runtime.futexsleep(0x1ffb81bbed8?, 0x0?, 0x7fffb81bbec8?)
% 250.77/99.88 /usr/lib/go-1.18/src/runtime/os_linux.go:66 +0x36
% 250.77/99.88 runtime.notesleep(0x83dd28)
% 250.77/99.88 /usr/lib/go-1.18/src/runtime/lock_futex.go:159 +0x87
% 250.77/99.88 runtime.mPark(...)
% 250.77/99.88 /usr/lib/go-1.18/src/runtime/proc.go:1449
% 250.77/99.88 runtime.stopm()
% 250.77/99.88 /usr/lib/go-1.18/src/runtime/proc.go:2228 +0x8d
% 250.77/99.88 runtime.findrunnable()
% 250.77/99.88 /usr/lib/go-1.18/src/runtime/proc.go:2804 +0x865
% 250.77/99.88 runtime.schedule()
% 250.77/99.88 /usr/lib/go-1.18/src/runtime/proc.go:3187 +0x239
% 250.77/99.88 runtime.park_m(0xc0001589c0?)
% 250.77/99.88 /usr/lib/go-1.18/src/runtime/proc.go:3336 +0x14d
% 250.77/99.88 runtime.mcall()
% 250.77/99.88 /usr/lib/go-1.18/src/runtime/asm_amd64.s:425 +0x43
% 250.77/99.88
% 250.77/99.88 goroutine 1 [runnable]:
% 250.77/99.88 github.com/GoelandProver/Goeland/parser.(*TPTPParserImpl).Parse(0xc000176000, {0x6de470, 0xc00000c090})
% 250.77/99.88 /home/julie/Goeland/src/parser/tptp_6.3.0.go:1035 +0xb05
% 250.77/99.88 github.com/GoelandProver/Goeland/parser.TPTPParse(...)
% 250.77/99.88 /home/julie/Goeland/src/parser/tptp_6.3.0.go:844
% 250.77/99.88 github.com/GoelandProver/Goeland/parser.ParseMain({0xc000020640?, 0x12?})
% 250.77/99.88 /home/julie/Goeland/src/parser/tptp_6.3.0.go:518 +0xa5
% 250.77/99.88 main.StatementListToFormula({0xc000010730?, 0x2, 0xc000110280?}, 0x1?, {0x7fffb81bc8c0, 0x23})
% 250.77/99.88 /home/julie/Goeland/src/main.go:251 +0x545
% 250.77/99.88 main.main()
% 250.77/99.88 /home/julie/Goeland/src/main.go:105 +0x374
% 250.77/99.88
% 250.77/99.88 rax 0xca
% 250.77/99.88 rbx 0x0
% 250.77/99.88 rcx 0xffffffffffffffff
% 250.77/99.88 rdx 0x0
% 250.77/99.88 rdi 0x83dd28
% 250.77/99.88 rsi 0x80
% 250.77/99.88 rbp 0x7fffb81bbe80
% 250.77/99.88 rsp 0x7fffb81bbe38
% 250.77/99.88 r8 0x0
% 250.77/99.88 r9 0x0
% 250.77/99.88 r10 0x0
% 250.77/99.88 r11 0x286
% 250.77/99.88 r12 0x0
% 250.77/99.88 r13 0x4
% 250.77/99.88 r14 0x83d880
% 250.77/99.88 r15 0xc02c680000
% 250.77/99.88 rip 0x468161
% 250.77/99.88 rflags 0x286
% 250.77/99.88 cs 0x33
% 250.77/99.88 fs 0x0
% 250.77/99.88 gs 0x0
%------------------------------------------------------------------------------