[isabelle] Isabelle2016-RC0: cvc4 crashing



Just a quick note to mention I am experiencing fairly frequent
crashes of cvc4 using stock Isabelle2016-RC0 on Ubuntu 14.04.
FWIW, below is the initial text part of the "whoopsie" file.
The cvc4 on Isabelle2015 also exhibited crashes, but not on this
machine, as far as I know.

If anyone needs info on library versions, let me know and I can
probably collect it.

						- Gene Stark

> ProblemType: Crash
> Architecture: amd64
> CrashCounter: 1
> CurrentDesktop: Unity
> Date: Thu Jan 14 06:24:54 2016
> DistroRelease: Ubuntu 14.04
> ExecutablePath: /opt/Isabelle2016-RC0/contrib/cvc4-1.5pre-3/x86_64-linux/cvc4
> ExecutableTimestamp: 1446149565
> ProcCmdline: /opt/Isabelle2016-RC0/contrib/cvc4-1.5pre-3/x86_64-linux/cvc4 --full-saturate-quant --inst-when=full-last-call --inst-no-entail --term-db-mode=relevant --random-seed=1 --lang=smt2 --continued-execution --tlimit 9990 /tmp/isabelle-gene13804/cache-io-1259028
> ProcCwd: /home/gene/Isabelle
> ProcEnviron:
>  TERM=xterm
>  SHELL=/bin/tcsh
>  LD_LIBRARY_PATH=<set>
>  PATH=(custom, no user)
>  LANG=en_US.UTF-8
>  LANGUAGE=en_US
>  XDG_RUNTIME_DIR=<set>
> ProcMaps:
>  00400000-01171000 r-xp 00000000 fc:00 529768                             /opt/Isabelle2016-RC0/contrib/cvc4-1.5pre-3/x86_64-linux/cvc4
>  01370000-01394000 rw-p 00d70000 fc:00 529768                             /opt/Isabelle2016-RC0/contrib/cvc4-1.5pre-3/x86_64-linux/cvc4
>  01394000-013af000 rw-p 00000000 00:00 0 
>  02072000-03b83000 rw-p 00000000 00:00 0                                  [heap]
>  7f0421ad9000-7f0422929000 rw-p 00000000 00:00 0 
>  7ffd85b82000-7ffd85ba6000 rw-p 00000000 00:00 0                          [stack]
>  7ffd85ba7000-7ffd85ba9000 r-xp 00000000 00:00 0                          [vdso]
>  ffffffffff600000-ffffffffff601000 r-xp 00000000 00:00 0                  [vsyscall]
> ProcStatus:
>  Name:  cvc4
>  State: S (sleeping)
>  Tgid:  14827
>  Ngid:  0
>  Pid:   14827
>  PPid:  14826
>  TracerPid:     0
>  Uid:   1000    1000    1000    1000
>  Gid:   1000    1000    1000    1000
>  FDSize:        64
>  Groups:        4 20 24 27 30 46 112 124 135 1000 
>  VmPeak:           56544 kB
>  VmSize:           56544 kB
>  VmLck:        0 kB
>  VmPin:        0 kB
>  VmHWM:    32084 kB
>  VmRSS:    32084 kB
>  VmData:           42488 kB
>  VmStk:      148 kB
>  VmExe:    13764 kB
>  VmLib:        0 kB
>  VmPTE:      108 kB
>  VmSwap:               0 kB
>  Threads:       1
>  SigQ:  1/188460
>  SigPnd:        0000000000000000
>  ShdPnd:        0000000000000000
>  SigBlk:        0000000000000002
>  SigIgn:        0000000000001000
>  SigCgt:        000000000080040a
>  CapInh:        0000000000000000
>  CapPrm:        0000000000000000
>  CapEff:        0000000000000000
>  CapBnd:        0000001fffffffff
>  Seccomp:       0
>  Cpus_allowed:  f
>  Cpus_allowed_list:     0-3
>  Mems_allowed:  00000000,00000001
>  Mems_allowed_list:     0
>  voluntary_ctxt_switches:       2
>  nonvoluntary_ctxt_switches:    34
> Signal: 6
> Uname: Linux 3.13.0-74-generic x86_64
> UserGroups: adm cdrom dialout dip lpadmin plugdev sambashare sudo vboxusers
> _LogindSession: /user/1000.user/c2.session
> CoreDump: base64
>  H4sICAAAAAAC/0NvcmVEdW1wAA==




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.