Categories
     18  Unknown
      4  AllSpecificationsHoldResult
      4  RESULT: Ultimate could not prove your program: Toolchain returned no result.
      4  An exception occured during the execution of Ultimate: The toolchain threw an exception

Actual results
      4  RESULT: Ultimate ...  RESULT: Ultimate could not prove your program: Toolchain returned no result.:
      4  An exception occu...  RESULT: An exception occured during the execution of Ultimate: The toolchain threw an exception:
      4  AllSpecifications...    - AllSpecificationsHoldResult: All specifications hold:
      1  Unknown               results/equality-vmcai19.2018-10-13_1209.logfiles/HeapSeparator.speedup-poc03-20.bpl.log:
      1  Unknown               results/equality-vmcai19.2018-10-13_1209.logfiles/HeapSeparator.speedup-poc03-18.bpl.log:
      1  Unknown               results/equality-vmcai19.2018-10-13_1209.logfiles/HeapSeparator.speedup-poc03-16.bpl.log:
      1  Unknown               results/equality-vmcai19.2018-10-13_1209.logfiles/HeapSeparator.speedup-poc03-14.bpl.log:
      1  Unknown               results/equality-vmcai19.2018-10-13_1209.logfiles/HeapSeparator.speedup-poc03-12.bpl.log:
      1  Unknown               results/equality-vmcai19.2018-10-13_1209.logfiles/HeapSeparator.speedup-poc03-10.bpl.log:
      1  Unknown               results/equality-vmcai19.2018-10-13_1209.logfiles/Automizer.speedup-poc03-20.bpl.log:
      1  Unknown               results/equality-vmcai19.2018-10-13_1209.logfiles/Automizer.speedup-poc03-18.bpl.log:
      1  Unknown               results/equality-vmcai19.2018-10-13_1209.logfiles/Automizer.speedup-poc03-16.bpl.log:
      1  Unknown               results/equality-vmcai19.2018-10-13_1209.logfiles/Automizer.speedup-poc03-14.bpl.log:
      1  Unknown               results/equality-vmcai19.2018-10-13_1209.logfiles/Automizer.speedup-poc03-12.bpl.log:
      1  Unknown               results/equality-vmcai19.2018-10-13_1209.logfiles/Automizer.speedup-poc03-10.bpl.log:
      1  Unknown               results/equality-vmcai19.2018-10-13_1209.logfiles/Automizer+HeapSeparator.speedup-poc03-20.bpl.log:
      1  Unknown               results/equality-vmcai19.2018-10-13_1209.logfiles/Automizer+HeapSeparator.speedup-poc03-18.bpl.log:
      1  Unknown               results/equality-vmcai19.2018-10-13_1209.logfiles/Automizer+HeapSeparator.speedup-poc03-16.bpl.log:
      1  Unknown               results/equality-vmcai19.2018-10-13_1209.logfiles/Automizer+HeapSeparator.speedup-poc03-14.bpl.log:
      1  Unknown               results/equality-vmcai19.2018-10-13_1209.logfiles/Automizer+HeapSeparator.speedup-poc03-12.bpl.log:
      1  Unknown               results/equality-vmcai19.2018-10-13_1209.logfiles/Automizer+HeapSeparator.speedup-poc03-10.bpl.log: