TSTP Solution File: SWV532-1.010 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWV532-1.010 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n011.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 : 600s
% DateTime : Wed Jul 20 18:50:36 EDT 2022
% Result : Unknown 160.23s 123.54s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : SWV532-1.010 : TPTP v8.1.0. Released v4.0.0.
% 0.13/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n011.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Tue Jun 14 20:34:34 EDT 2022
% 0.13/0.34 % CPUTime :
% 13.44/12.90 eprover: CPU time limit exceeded, terminating
% 16.17/14.91 eprover: CPU time limit exceeded, terminating
% 18.86/16.93 eprover: CPU time limit exceeded, terminating
% 21.65/18.94 eprover: CPU time limit exceeded, terminating
% 24.39/20.96 eprover: CPU time limit exceeded, terminating
% 27.14/22.97 eprover: CPU time limit exceeded, terminating
% 29.92/24.99 eprover: CPU time limit exceeded, terminating
% 32.68/27.00 eprover: CPU time limit exceeded, terminating
% 35.43/29.02 eprover: CPU time limit exceeded, terminating
% 38.17/31.03 eprover: CPU time limit exceeded, terminating
% 40.85/33.05 eprover: CPU time limit exceeded, terminating
% 43.59/35.06 eprover: CPU time limit exceeded, terminating
% 46.35/37.08 eprover: CPU time limit exceeded, terminating
% 49.07/39.09 eprover: CPU time limit exceeded, terminating
% 55.57/44.80 eprover: CPU time limit exceeded, terminating
% 58.32/46.81 eprover: CPU time limit exceeded, terminating
% 61.05/48.83 eprover: CPU time limit exceeded, terminating
% 63.77/50.84 eprover: CPU time limit exceeded, terminating
% 66.45/52.85 eprover: CPU time limit exceeded, terminating
% 69.19/54.87 eprover: CPU time limit exceeded, terminating
% 71.92/56.88 eprover: CPU time limit exceeded, terminating
% 74.67/58.90 eprover: CPU time limit exceeded, terminating
% 77.40/60.91 eprover: CPU time limit exceeded, terminating
% 80.12/62.93 eprover: CPU time limit exceeded, terminating
% 82.83/64.94 eprover: CPU time limit exceeded, terminating
% 85.48/66.96 eprover: CPU time limit exceeded, terminating
% 88.10/68.97 eprover: CPU time limit exceeded, terminating
% 90.84/70.99 eprover: CPU time limit exceeded, terminating
% 93.51/73.00 eprover: CPU time limit exceeded, terminating
% 96.25/75.02 eprover: CPU time limit exceeded, terminating
% 99.00/77.04 eprover: CPU time limit exceeded, terminating
% 101.71/79.05 eprover: CPU time limit exceeded, terminating
% 104.39/81.07 eprover: CPU time limit exceeded, terminating
% 107.10/83.08 eprover: CPU time limit exceeded, terminating
% 109.84/85.10 eprover: CPU time limit exceeded, terminating
% 112.60/87.12 eprover: CPU time limit exceeded, terminating
% 115.27/89.13 eprover: CPU time limit exceeded, terminating
% 118.01/91.15 eprover: CPU time limit exceeded, terminating
% 120.74/93.16 eprover: CPU time limit exceeded, terminating
% 123.42/95.18 eprover: CPU time limit exceeded, terminating
% 126.14/97.19 eprover: CPU time limit exceeded, terminating
% 128.87/99.21 eprover: CPU time limit exceeded, terminating
% 131.57/101.22 eprover: CPU time limit exceeded, terminating
% 134.31/103.24 eprover: CPU time limit exceeded, terminating
% 137.02/105.26 eprover: CPU time limit exceeded, terminating
% 139.79/107.27 eprover: CPU time limit exceeded, terminating
% 142.52/109.29 eprover: CPU time limit exceeded, terminating
% 145.19/111.30 eprover: CPU time limit exceeded, terminating
% 147.88/113.32 eprover: CPU time limit exceeded, terminating
% 150.66/115.33 eprover: CPU time limit exceeded, terminating
% 153.41/117.35 eprover: CPU time limit exceeded, terminating
% 156.08/119.36 eprover: CPU time limit exceeded, terminating
% 160.23/123.47 infinox: equinox: runProcess: runInteractiveProcess: exec: does not exist (No such file or directory)
% 160.23/123.53 Infinox, version 1.0, 2009-07-20.
% 160.23/123.53 +++ PROBLEM: /export/starexec/sandbox2/benchmark/theBenchmark.p
% 160.23/123.53 Reading '/export/starexec/sandbox2/benchmark/theBenchmark.p' ... OK
% 160.23/123.53 +++ SOLVING: /export/starexec/sandbox2/benchmark/theBenchmark.p
% 160.23/123.53 InjNotSurj
% 160.23/123.53 SurjNotInj
% 160.23/123.53 Serial
% 160.23/123.53 Trans
% 160.23/123.53 Auto
%------------------------------------------------------------------------------