0.03/0.12 % Problem : theBenchmark.p : TPTP v0.0.0. Released v0.0.0. 0.03/0.12 % Command : enigmatic-eprover.py %s %d 1 0.13/0.33 % Computer : n021.cluster.edu 0.13/0.33 % Model : x86_64 x86_64 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz 0.13/0.33 % Memory : 8042.1875MB 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64 0.13/0.33 % CPULimit : 960 0.13/0.33 % WCLimit : 120 0.13/0.33 % DateTime : Thu Jul 2 11:57:18 EDT 2020 0.13/0.33 % CPUTime : 0.18/0.44 # ENIGMATIC: Selected SinE mode: 1.13/1.35 # Parsing /export/starexec/sandbox2/benchmark/theBenchmark.p 1.13/1.35 # Filter: axfilter_auto 0 goes into file theBenchmark_axfilter_auto 0.p 1.13/1.35 # Filter: axfilter_auto 1 goes into file theBenchmark_axfilter_auto 1.p 1.13/1.35 # Filter: axfilter_auto 2 goes into file theBenchmark_axfilter_auto 2.p 107.93/21.51 eprover: CPU time limit exceeded, terminating 197.08/32.80 eprover: CPU time limit exceeded, terminating 199.57/33.12 eprover: CPU time limit exceeded, terminating 293.12/44.91 eprover: CPU time limit exceeded, terminating 461.54/66.22 eprover: CPU time limit exceeded, terminating 462.05/66.26 eprover: CPU time limit exceeded, terminating 471.46/67.51 eprover: CPU time limit exceeded, terminating 554.73/78.07 eprover: CPU time limit exceeded, terminating 557.65/78.41 eprover: CPU time limit exceeded, terminating 567.01/79.61 eprover: CPU time limit exceeded, terminating 571.20/80.12 eprover: CPU time limit exceeded, terminating 647.64/89.92 eprover: CPU time limit exceeded, terminating 650.87/90.33 eprover: CPU time limit exceeded, terminating 655.01/90.89 eprover: CPU time limit exceeded, terminating 664.59/92.08 eprover: CPU time limit exceeded, terminating 740.32/101.77 eprover: CPU time limit exceeded, terminating 746.13/102.48 eprover: CPU time limit exceeded, terminating 756.50/103.81 eprover: CPU time limit exceeded, terminating 761.33/104.50 eprover: CPU time limit exceeded, terminating 842.67/114.76 eprover: CPU time limit exceeded, terminating 857.07/116.64 eprover: CPU time limit exceeded, terminating 884.86/120.12 Alarm clock 884.86/120.52 EOF