0.00/0.06	% Problem    : theBenchmark.p : TPTP v0.0.0. Released v0.0.0.
0.00/0.06	% Command    : eprover --delete-bad-limit=2000000000 --definitional-cnf=24 -s --print-statistics -R --print-version --proof-object --auto-schedule --cpu-limit=%d %s
0.03/0.37	% Computer   : n061.star.cs.uiowa.edu
0.03/0.37	% Model      : x86_64 x86_64
0.03/0.37	% CPU        : Intel(R) Xeon(R) CPU E5-2609 0 @ 2.40GHz
0.03/0.37	% Memory     : 32218.625MB
0.03/0.37	% OS         : Linux 3.10.0-693.2.2.el7.x86_64
0.03/0.37	% CPULimit   : 300
0.03/0.37	% DateTime   : Fri Jul 13 15:56:56 CDT 2018
0.03/0.37	% CPUTime    : 
0.03/0.37	# Version: 2.2pre001
0.03/0.38	# No SInE strategy applied
0.03/0.38	# Trying AutoSched0 for 151 seconds
151.00/151.39	# AutoSched0-Mode selected heuristic G_E___208_C18_F1_SE_CS_SP_PS_S0Y
151.00/151.39	# and selection function SelectMaxLComplexAvoidPosPred.
151.00/151.39	#
151.00/151.39	# Preprocessing time       : 76.768 s
151.55/151.91	# No success with AutoSched0
151.55/151.91	# Trying AutoSched1 for 73 seconds
224.49/224.91	# AutoSched1-Mode selected heuristic G_E___200_B02_F1_SE_CS_SP_PI_S0S
224.49/224.91	# and selection function SelectComplexG.
224.49/224.91	#
225.03/225.40	# No success with AutoSched1
225.03/225.40	# Trying AutoSched2 for 23 seconds
248.24/248.62	# No success with AutoSched2
248.24/248.62	# Trying AutoSched3 for 17 seconds
265.37/265.81	# No success with AutoSched3
265.37/265.81	# Trying AutoSched4 for 12 seconds
277.57/277.96	# No success with AutoSched4
277.57/277.96	# Trying AutoSched5 for 8 seconds
285.67/286.07	# No success with AutoSched5
285.67/286.07	# Trying AutoSched6 for 4 seconds
289.72/290.14	# No success with AutoSched6
289.72/290.14	# Trying AutoSched7 for 11 seconds
300.07/300.46	
300.07/300.46	# Failure: Resource limit exceeded (time)
300.07/300.46	# SZS status ResourceOut
300.07/300.46	eprover: CPU time limit exceeded, terminating
300.07/300.59	EOF