0.00/0.04 % Problem : theBenchmark.p : TPTP v0.0.0. Released v0.0.0. 0.00/0.04 % Command : java -Xss128m -Xmx4g -Xms1g -jar /export/starexec/sandbox2/solver/bin/leo3.jar %s -t %d -p --atp cvc4=/export/starexec/sandbox2/solver/bin/externals/cvc4 --atp e=/export/starexec/sandbox2/solver/bin/externals/eprover --atp iprover=/export/starexec/sandbox2/solver/bin/externals/iprover 0.03/0.23 % Computer : n153.star.cs.uiowa.edu 0.03/0.23 % Model : x86_64 x86_64 0.03/0.23 % CPU : Intel(R) Xeon(R) CPU E5-2609 0 @ 2.40GHz 0.03/0.23 % Memory : 32218.625MB 0.03/0.23 % OS : Linux 3.10.0-693.2.2.el7.x86_64 0.03/0.23 % CPULimit : 300 0.03/0.23 % DateTime : Sat Jul 14 06:01:40 CDT 2018 0.03/0.23 % CPUTime : 18.19/7.59 % [INFO] Running in sequential loop mode. 18.94/7.81 % [CONFIG] Using configuration: timeout(300) with strategy 19.29/7.89 % [INFO] iprover registered as external prover. 19.29/7.89 % [INFO] e registered as external prover. 19.29/7.90 % [INFO] cvc4 registered as external prover. 19.29/7.90 % [INFO] Parsing finished. Scanning for conjecture ... 19.82/8.04 % [INFO] Found a conjecture and 5248 axioms. Running axiom selection ... 28.84/10.87 % [INFO] Axiom selection finished. Selected 3675 axioms (removed 1573 axioms). 33.39/12.91 % [INFO] Type checking passed. Searching for refutation ... 300.02/157.91 EOF