0.11/0.34 % Problem : theBenchmark.p : TPTP v0.0.0. Released v0.0.0. 0.11/0.34 % Command : eprover --delete-bad-limit=2000000000 --definitional-cnf=24 -s --print-statistics -R --print-version --proof-object --auto-schedule --cpu-limit=%d %s 0.16/5.56 % Computer : n006.cluster.edu 0.16/5.56 % Model : x86_64 x86_64 0.16/5.56 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz 0.16/5.56 % Memory : 8042.1875MB 0.16/5.56 % OS : Linux 3.10.0-693.el7.x86_64 0.16/5.56 % CPULimit : 960 0.16/5.56 % WCLimit : 120 0.16/5.56 % DateTime : Thu Jul 2 14:18:58 EDT 2020 0.16/5.56 % CPUTime : 0.16/5.56 # Version: 2.5pre002 7.41/12.85 # No SInE strategy applied 7.41/12.85 # Trying AutoSched0 for 56 seconds 63.45/68.93 # No success with AutoSched0 63.45/68.93 # Trying AutoSched1 for 24 seconds 87.40/93.00 # No success with AutoSched1 87.40/93.00 # Trying AutoSched2 for 8 seconds 95.47/101.06 # No success with AutoSched2 95.47/101.06 # Trying AutoSched3 for 6 seconds 101.51/107.10 # No success with AutoSched3 101.51/107.10 # Trying AutoSched4 for 4 seconds 105.57/111.13 # No success with AutoSched4 105.57/111.13 # Trying AutoSched5 for 3 seconds 108.57/114.14 # No success with AutoSched5 108.57/114.14 # Trying AutoSched6 for 1 seconds 109.62/115.16 # No success with AutoSched6 109.62/115.16 # Trying AutoSched7 for 1 seconds 110.60/116.18 # No success with AutoSched7 110.60/116.18 # Trying AutoSched8 for 1 seconds 111.65/117.20 # No success with AutoSched8 111.65/117.20 # Trying AutoSched9 for 8 seconds 114.49/120.05 Alarm clock 114.49/120.05 EOF