TSTP Solution File: HWV124+1 by Goeland---1.0.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Goeland---1.0.0
% Problem : HWV124+1 : TPTP v8.1.0. Released v6.1.0.
% Transfm : none
% Format : tptp:raw
% Command : goeland -dmt -presko -proof %s
% Computer : n016.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 : Fri Sep 16 23:22:15 EDT 2022
% Result : Unknown 279.40s 104.35s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.15 % Problem : HWV124+1 : TPTP v8.1.0. Released v6.1.0.
% 0.12/0.20 % Command : goeland -dmt -presko -proof %s
% 0.17/0.41 % Computer : n016.cluster.edu
% 0.17/0.41 % Model : x86_64 x86_64
% 0.17/0.41 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.17/0.41 % Memory : 8042.1875MB
% 0.17/0.41 % OS : Linux 3.10.0-693.el7.x86_64
% 0.17/0.41 % CPULimit : 300
% 0.17/0.41 % WCLimit : 300
% 0.17/0.41 % DateTime : Thu Sep 1 01:38:48 EDT 2022
% 0.17/0.42 % CPUTime :
% 0.24/0.42 [DMT] DMT loaded with preskolemization
% 0.24/0.42 [EQ] equality loaded.
% 0.24/0.42 [0.000059s][1][MAIN] Problem : theBenchmark.p
% 279.40/100.52 SIGQUIT: quit
% 279.40/100.52 PC=0x468161 m=0 sigcode=0
% 279.40/100.52
% 279.40/100.52 goroutine 0 [idle]:
% 279.40/100.52 runtime.futex()
% 279.40/100.52 /usr/lib/go-1.18/src/runtime/sys_linux_amd64.s:552 +0x21
% 279.40/100.52 runtime.futexsleep(0x10000000000?, 0x0?, 0x7fff01e32c38?)
% 279.40/100.52 /usr/lib/go-1.18/src/runtime/os_linux.go:66 +0x36
% 279.40/100.52 runtime.notesleep(0x83dd28)
% 279.40/100.52 /usr/lib/go-1.18/src/runtime/lock_futex.go:159 +0x87
% 279.40/100.52 runtime.mPark(...)
% 279.40/100.52 /usr/lib/go-1.18/src/runtime/proc.go:1449
% 279.40/100.52 runtime.stopm()
% 279.40/100.52 /usr/lib/go-1.18/src/runtime/proc.go:2228 +0x8d
% 279.40/100.52 runtime.findrunnable()
% 279.40/100.52 /usr/lib/go-1.18/src/runtime/proc.go:2804 +0x865
% 279.40/100.52 runtime.schedule()
% 279.40/100.52 /usr/lib/go-1.18/src/runtime/proc.go:3187 +0x239
% 279.40/100.52 runtime.park_m(0xc00016a4e0?)
% 279.40/100.52 /usr/lib/go-1.18/src/runtime/proc.go:3336 +0x14d
% 279.40/100.52 runtime.mcall()
% 279.40/100.52 /usr/lib/go-1.18/src/runtime/asm_amd64.s:425 +0x43
% 279.40/100.52
% 279.40/100.52 goroutine 1 [runnable]:
% 279.40/100.52 github.com/GoelandProver/Goeland/parser.(*TPTPParserImpl).Parse(0xc001594000, {0x6de470, 0xc00000c090})
% 279.40/100.52 /home/julie/Goeland/src/parser/tptp_6.3.0.go:1035 +0xb05
% 279.40/100.52 github.com/GoelandProver/Goeland/parser.TPTPParse(...)
% 279.40/100.52 /home/julie/Goeland/src/parser/tptp_6.3.0.go:844
% 279.40/100.52 github.com/GoelandProver/Goeland/parser.ParseMain({0x7fff01e338c0?, 0xc00000e018?})
% 279.40/100.52 /home/julie/Goeland/src/parser/tptp_6.3.0.go:518 +0xa5
% 279.40/100.52 main.main()
% 279.40/100.52 /home/julie/Goeland/src/main.go:93 +0x2ae
% 279.40/100.52
% 279.40/100.52 rax 0xca
% 279.40/100.52 rbx 0x0
% 279.40/100.52 rcx 0xffffffffffffffff
% 279.40/100.52 rdx 0x0
% 279.40/100.52 rdi 0x83dd28
% 279.40/100.52 rsi 0x80
% 279.40/100.52 rbp 0x7fff01e32bf0
% 279.40/100.52 rsp 0x7fff01e32ba8
% 279.40/100.52 r8 0x0
% 279.40/100.52 r9 0x0
% 279.40/100.52 r10 0x0
% 279.40/100.52 r11 0x286
% 279.40/100.52 r12 0x0
% 279.40/100.52 r13 0x4
% 279.40/100.52 r14 0x83d880
% 279.40/100.52 r15 0x2b4bad815703
% 279.40/100.52 rip 0x468161
% 279.40/100.52 rflags 0x286
% 279.40/100.52 cs 0x33
% 279.40/100.52 fs 0x0
% 279.40/100.52 gs 0x0
%------------------------------------------------------------------------------