Success case

bashlog.txt

dev-dsk-lebjuney-1d-d3fc5ff7 % make sematest
../tools/run-sematest.sh . 32 "/home/lebjuney/hol-light-ocaml4.14/hollight "
- Child 1 (pid 8752) has started (log path: /tmp/tmp.qeBbXPDRRr)
- Child 2 (pid 8756) has started (log path: /tmp/tmp.I0ALk9exvX)
- Child 3 (pid 8761) has started (log path: /tmp/tmp.DGJxWS09ar)
- Child 4 (pid 8767) has started (log path: /tmp/tmp.uCaV3R0nnS)
- Child 5 (pid 8771) has started (log path: /tmp/tmp.uzG2Tnfrgw)
- Child 6 (pid 8778) has started (log path: /tmp/tmp.TuTNQssTIo)
- Child 7 (pid 8784) has started (log path: /tmp/tmp.hKGajyyESl)
- Child 8 (pid 8790) has started (log path: /tmp/tmp.pWQ4Q0Aguq)
- Child 9 (pid 8797) has started (log path: /tmp/tmp.AiObQRjmbo)
- Child 10 (pid 8802) has started (log path: /tmp/tmp.V5L1UBSDAK)
- Child 11 (pid 8809) has started (log path: /tmp/tmp.6bhF5pzhpp)
- Child 12 (pid 8815) has started (log path: /tmp/tmp.ns5Of5YGOR)
- Child 13 (pid 8821) has started (log path: /tmp/tmp.ruvE4PmGzM)
- Child 14 (pid 8826) has started (log path: /tmp/tmp.VKz1pkkors)
- Child 15 (pid 8833) has started (log path: /tmp/tmp.7iDfjHztJq)
- Child 16 (pid 8840) has started (log path: /tmp/tmp.pT6NU8D9nL)
- Child 17 (pid 8847) has started (log path: /tmp/tmp.v2Zcr44Un5)
- Child 18 (pid 8853) has started (log path: /tmp/tmp.1XJYjRgS9z)
- Child 19 (pid 8861) has started (log path: /tmp/tmp.xEkYvNIkTp)
- Child 20 (pid 8866) has started (log path: /tmp/tmp.Qhy9Bu4tUa)
- Child 21 (pid 8874) has started (log path: /tmp/tmp.W0kxykbnCy)
- Child 22 (pid 8881) has started (log path: /tmp/tmp.F5KX34VLYY)
- Child 23 (pid 8895) has started (log path: /tmp/tmp.QYAdXj5nb2)
- Child 24 (pid 8903) has started (log path: /tmp/tmp.cpUPgQIqMd)
- Child 25 (pid 8910) has started (log path: /tmp/tmp.GuCVn3ZHkt)
- Child 26 (pid 8916) has started (log path: /tmp/tmp.u9BdwqyE9b)
- Child 27 (pid 8925) has started (log path: /tmp/tmp.TahowqMIlu)
- Child 28 (pid 8933) has started (log path: /tmp/tmp.61lG4CcBUm)
- Child 29 (pid 8937) has started (log path: /tmp/tmp.BwqVVKdPl7)
- Child 30 (pid 8944) has started (log path: /tmp/tmp.KIo0z8o7EJ)
- Child 31 (pid 8956) has started (log path: /tmp/tmp.qqTIMqp3Tf)
- Child 32 (pid 8958) has started (log path: /tmp/tmp.ROMcPE2VDJ)
- Last 7 lines of simulator 1's log (path: /tmp/tmp.qeBbXPDRRr):
Stepping to state s1
CPU time (user): 9.110952
OK: arm_USRA_VEC Q15 Q7 6 8 64
Finished (time limit: 20.000000s, tested instances: 2)
- : unit = ()
val it : unit = ()
#
- Simulator 1 finished successfully
- Last 7 lines of simulator 2's log (path: /tmp/tmp.I0ALk9exvX):
Stepping to state s1
CPU time (user): 38.270599
OK: arm_UMLAL_VEC Q7 Q19 Q31 8
Finished (time limit: 20.000000s, tested instances: 3)
- : unit = ()
val it : unit = ()
#
- Simulator 2 finished successfully
- Last 7 lines of simulator 3's log (path: /tmp/tmp.DGJxWS09ar):
Stepping to state s1
CPU time (user): 0.663984
OK: arm_CCMP X9 (rvalue (word 2)) (word 15) Condition_EQ
Finished (time limit: 20.000000s, tested instances: 2)
- : unit = ()
val it : unit = ()
#
- Simulator 3 finished successfully
- Last 7 lines of simulator 4's log (path: /tmp/tmp.uCaV3R0nnS):
Stepping to state s1
CPU time (user): 0.378058
OK: arm_UMOV W15 Q14 1 4
Finished (time limit: 20.000000s, tested instances: 2)
- : unit = ()
val it : unit = ()
#
- Simulator 4 finished successfully
- Last 7 lines of simulator 5's log (path: /tmp/tmp.uzG2Tnfrgw):
Stepping to state s1
CPU time (user): 0.365758
OK: arm_EOR W5 W1 (rvalue (word 65535))
Finished (time limit: 20.000000s, tested instances: 3)
- : unit = ()
val it : unit = ()
#
- Simulator 5 finished successfully
- Last 7 lines of simulator 6's log (path: /tmp/tmp.TuTNQssTIo):
Stepping to state s1
CPU time (user): 0.883919
OK: arm_BICS X17 X28 (Shiftedreg X13 ASR 49)
Finished (time limit: 20.000000s, tested instances: 2)
- : unit = ()
val it : unit = ()
#
- Simulator 6 finished successfully
- Last 7 lines of simulator 7's log (path: /tmp/tmp.hKGajyyESl):
Stepping to state s1
CPU time (user): 0.864172
OK: arm_ADD_VEC Q18 Q14 Q24 16 128
Finished (time limit: 20.000000s, tested instances: 2)
- : unit = ()
val it : unit = ()
#
- Simulator 7 finished successfully
- Last 7 lines of simulator 8's log (path: /tmp/tmp.pWQ4Q0Aguq):
Stepping to state s1
CPU time (user): 0.401481
OK: arm_AND_VEC Q29 Q0 Q21 64
Finished (time limit: 20.000000s, tested instances: 2)
- : unit = ()
val it : unit = ()
#
- Simulator 8 finished successfully
- Last 7 lines of simulator 9's log (path: /tmp/tmp.AiObQRjmbo):
Stepping to state s1
CPU time (user): 0.382711
OK: arm_ORR X7 X24 (rvalue (word 8444378152304670))
Finished (time limit: 20.000000s, tested instances: 3)
- : unit = ()
val it : unit = ()
#
- Simulator 9 finished successfully
- Last 7 lines of simulator 10's log (path: /tmp/tmp.V5L1UBSDAK):
Stepping to state s1
CPU time (user): 0.595161
OK: arm_USRA_VEC Q21 Q5 11 64 128
Finished (time limit: 20.000000s, tested instances: 2)
- : unit = ()
val it : unit = ()
#
- Simulator 10 finished successfully
- Last 7 lines of simulator 11's log (path: /tmp/tmp.6bhF5pzhpp):
Stepping to state s1
CPU time (user): 12.398151
OK: arm_USRA_VEC Q24 Q5 6 8 128
Finished (time limit: 20.000000s, tested instances: 2)
- : unit = ()
val it : unit = ()
#
- Simulator 11 finished successfully
- Last 7 lines of simulator 12's log (path: /tmp/tmp.ns5Of5YGOR):
Stepping to state s1
CPU time (user): 0.668654
OK: arm_CCMP X21 XZR (word 9) Condition_NE
Finished (time limit: 20.000000s, tested instances: 2)
- : unit = ()
val it : unit = ()
#
- Simulator 12 finished successfully
- Last 7 lines of simulator 13's log (path: /tmp/tmp.ruvE4PmGzM):
Stepping to state s1
CPU time (user): 0.408961
OK: arm_ORR_VEC Q6 Q27 Q26 128
Finished (time limit: 20.000000s, tested instances: 2)
- : unit = ()
val it : unit = ()
#
- Simulator 13 finished successfully
- Last 7 lines of simulator 14's log (path: /tmp/tmp.VKz1pkkors):
Stepping to state s1
CPU time (user): 0.948624
OK: arm_SLI_VEC Q14 Q10 7 16
Finished (time limit: 20.000000s, tested instances: 2)
- : unit = ()
val it : unit = ()
#
- Simulator 14 finished successfully
- Last 7 lines of simulator 15's log (path: /tmp/tmp.7iDfjHztJq):
Stepping to state s1
CPU time (user): 0.382804
OK: arm_UMADDL X8 W14 W8 X17
Finished (time limit: 20.000000s, tested instances: 2)
- : unit = ()
val it : unit = ()
#
- Simulator 15 finished successfully
- Last 7 lines of simulator 16's log (path: /tmp/tmp.pT6NU8D9nL):
Stepping to state s1
CPU time (user): 15.919303
OK: arm_REV64_VEC Q13 Q0 8
Finished (time limit: 20.000000s, tested instances: 1)
- : unit = ()
val it : unit = ()
#
- Simulator 16 finished successfully
- Last 7 lines of simulator 17's log (path: /tmp/tmp.v2Zcr44Un5):
Stepping to state s1
CPU time (user): 0.380509
OK: arm_EOR X22 XZR (rvalue (word 18302631084623397375))
Finished (time limit: 20.000000s, tested instances: 2)
- : unit = ()
val it : unit = ()
#
- Simulator 17 finished successfully
- Last 7 lines of simulator 18's log (path: /tmp/tmp.1XJYjRgS9z):
Stepping to state s1
CPU time (user): 0.388169
OK: arm_UMOV X15 Q31 0 8
Finished (time limit: 20.000000s, tested instances: 2)
- : unit = ()
val it : unit = ()
#
- Simulator 18 finished successfully
- Last 7 lines of simulator 19's log (path: /tmp/tmp.xEkYvNIkTp):
Stepping to state s1
CPU time (user): 0.39458
OK: arm_EXT Q7 Q18 Q9 88
Finished (time limit: 20.000000s, tested instances: 3)
- : unit = ()
val it : unit = ()
#
- Simulator 19 finished successfully
- Last 7 lines of simulator 20's log (path: /tmp/tmp.Qhy9Bu4tUa):
Stepping to state s1
CPU time (user): 0.859205
OK: arm_USRA_VEC Q4 Q14 17 32 64
Finished (time limit: 20.000000s, tested instances: 2)
- : unit = ()
val it : unit = ()
#
- Simulator 20 finished successfully
- Last 7 lines of simulator 21's log (path: /tmp/tmp.W0kxykbnCy):
Stepping to state s1
CPU time (user): 0.518363
OK: arm_SHRN Q11 Q6 1 16
Finished (time limit: 20.000000s, tested instances: 2)
- : unit = ()
val it : unit = ()
#
- Simulator 21 finished successfully
- Last 7 lines of simulator 22's log (path: /tmp/tmp.F5KX34VLYY):
Stepping to state s1
CPU time (user): 0.746222
OK: arm_CCMN W19 (rvalue (word 24)) (word 10) Condition_CS
Finished (time limit: 20.000000s, tested instances: 2)
- : unit = ()
val it : unit = ()
#
- Simulator 22 finished successfully
- Last 7 lines of simulator 23's log (path: /tmp/tmp.QYAdXj5nb2):
Stepping to state s1
CPU time (user): 0.486721
OK: arm_SHRN Q14 Q30 7 16
Finished (time limit: 20.000000s, tested instances: 2)
- : unit = ()
val it : unit = ()
#
- Simulator 23 finished successfully
- Last 7 lines of simulator 24's log (path: /tmp/tmp.cpUPgQIqMd):
Stepping to state s1
CPU time (user): 0.365494
OK: arm_SUB X1 X14 (rvalue (word 8564736))
Finished (time limit: 20.000000s, tested instances: 3)
- : unit = ()
val it : unit = ()
#
- Simulator 24 finished successfully
- Last 7 lines of simulator 25's log (path: /tmp/tmp.GuCVn3ZHkt):
Stepping to state s1
CPU time (user): 1.123296
OK: arm_USRA_VEC Q16 Q20 16 32 128
Finished (time limit: 20.000000s, tested instances: 2)
- : unit = ()
val it : unit = ()
#
- Simulator 25 finished successfully
- Last 7 lines of simulator 26's log (path: /tmp/tmp.u9BdwqyE9b):
Stepping to state s1
CPU time (user): 1.424978
OK: arm_MUL_VEC Q19 Q14 Q23 8
Finished (time limit: 20.000000s, tested instances: 2)
- : unit = ()
val it : unit = ()
#
- Simulator 26 finished successfully
- Last 7 lines of simulator 27's log (path: /tmp/tmp.TahowqMIlu):
Stepping to state s1
CPU time (user): 0.841324
OK: arm_USRA_VEC Q22 Q17 13 32 64
Finished (time limit: 20.000000s, tested instances: 2)
- : unit = ()
val it : unit = ()
#
- Simulator 27 finished successfully
- Last 7 lines of simulator 28's log (path: /tmp/tmp.61lG4CcBUm):
Stepping to state s1
CPU time (user): 8.752474
OK: arm_USRA_VEC Q21 Q31 3 8 64
Finished (time limit: 20.000000s, tested instances: 1)
- : unit = ()
val it : unit = ()
#
- Simulator 28 finished successfully
- Last 7 lines of simulator 29's log (path: /tmp/tmp.BwqVVKdPl7):
Stepping to state s1
CPU time (user): 0.645143
OK: arm_CCMN X4 X30 (word 9) Condition_GE
Finished (time limit: 20.000000s, tested instances: 2)
- : unit = ()
val it : unit = ()
#
- Simulator 29 finished successfully
- Last 7 lines of simulator 30's log (path: /tmp/tmp.KIo0z8o7EJ):
Stepping to state s1
CPU time (user): 0.380916
OK: arm_DUP_GEN Q11 X3
Finished (time limit: 20.000000s, tested instances: 3)
- : unit = ()
val it : unit = ()
#
- Simulator 30 finished successfully
- Last 7 lines of simulator 31's log (path: /tmp/tmp.qqTIMqp3Tf):
Stepping to state s1
CPU time (user): 0.393227
OK: arm_EXT Q21 Q4 Q16 48
Finished (time limit: 20.000000s, tested instances: 2)
- : unit = ()
val it : unit = ()
#
- Simulator 31 finished successfully
- Last 7 lines of simulator 32's log (path: /tmp/tmp.ROMcPE2VDJ):
Stepping to state s1
CPU time (user): 0.395257
OK: arm_ORR W22 W13 (rvalue (word 3758096415))
Finished (time limit: 20.000000s, tested instances: 2)
- : unit = ()
val it : unit = ()
#
- Simulator 32 finished successfully