Results of SL-COMP'18 division qf_shls_sat

Overview

Solver config solved time wrong timeout failed unknown
Asterix v18 110 1.3 0 0 0 0
CYCLIST-SLSAT default 110 4018.4 0 0 0 0
Harrsh inc 110 275.5 0 0 0 0
S2S v2 110 2 0 0 0 0
SLEEK default 110 9.1 0 0 0 0
Songbird v2 110 25.5 0 0 0 0
SPEN TA 110 6.6 0 0 0 0

Asterix

Round 3: July 10th, FINAL

  • Version: ASTERIX (id 20618)
  • Configuration: default
  • Pre-processor: SL-ASTERIX (451)
  • Job Id: 29857
  • Page: StarExec
  • Comments: run with 600 sec of timeout and 4 GB

Round 2: July 9th

  • Version: Asterix-cpp (id 986)
  • Configuration: default.sh
  • Pre-processor: SL-ASTERIX (435)
  • Job Id: 29799
  • Page: StarExec
  • Comments: run with 600 sec of timeout and 4 GB, all 'unknown' failed on pre-processor

Round 1: July 8th

  • Version: Asterix-cpp (id 986)
  • Configuration: default.sh
  • Pre-processor: SL-ASTERIX (435)
  • Job Id: 29619
  • Comments: run with 120 sec of timeout and 1 GB, all 'unknown' failed on pre-processor

ComSPEN

Round 3: July 11th

  • Version: COMSPEN (id TODO)
  • Configuration: cspen
  • Pre-processor: SL-ASTERIX (451)
  • Job Id:
  • Page: StarExec
  • Comments: run with 600 sec of timeout and 4 GB, waiting for new binary

Round 2: July 9th

  • Version: COMSPEN (id 20429)
  • Configuration: default
  • Pre-processor: SL-COMSPEN (id 447)
  • Job Id: 29800
  • Page: StarExec
  • Comments: run with 600 sec of timeout and 4 GB, fails silently after a correct pre-processing

Round 1: July 8th, problem with pre-processor

Cyclist-SLSAT

Round 3: July 11th, FINAL

  • Version: SLSAT (id 1137)
  • Configuration: quiet
  • Pre-processor: SL-CYCLIST (id 437)
  • Job Id: 29858
  • Page: StarExec
  • Comments: run with 2400 sec of timeout and 4GB

Round 2: July 9th

  • Version: SLSAT (id 1137)
  • Configuration: quiet
  • Pre-processor: SL-CYCLIST (id 437)
  • Job Id: 29801
  • Page: StarExec
  • Comments: run with 600 sec of timeout and 4GB, 2 problems ressourced out

Round 1: July 8th

  • Version: CYCLIST (id 1136)
  • Configuration: default
  • Pre-processor: SL-CYCLIST (id 437)
  • Job Id: 29627
  • Page: StarExec
  • Comments: run with 120 sec of timeout and 1 GB, 6/110 problems ressourced out

Harrsh

Round 2: July 10th, FINAL

  • Version: Harrsh-inc (id 20573)
  • Configuration: harrshdefault
  • Pre-processor: none
  • Job Id: 29802
  • Page: StarExec
  • Comments: run with 600 sec of timeout and 4GB

Round 1: July 8th, absent

S2S

Round 2: July 10th, FINAL

  • Version: S2S v2 (id 20593)
  • Configuration: default
  • Pre-processor: SL-S2S (id 445)
  • Job Id: 29803
  • Page: StarExec
  • Comments: run with 600 sec of timeout and 4 GB

Round 1: July 8th, absent

SLEEK

Round 2: July 10th, FINAL

  • Version: SLEEK (id 20564)
  • Configuration: default
  • Pre-processors: SL-SLEEK (id 438)
  • Job Id: 29804
  • Page: StarExec
  • Comments: run with 600 sec of timeout and 4 GB

Round 1: July 8th

  • Version: SLEEK (id 20432 deleted)
  • Configuration: default
  • Pre-processor: SL-SLEEK (id 438)
  • Job Id: 29623
  • Page: StarExec
  • Comments: run with 120 sec of timeout and 1 GB, 0 problems ressourced out

Songbird

Round 4: July 11th, FINAL

  • Version: Songbird v2 (id )
  • Configuration: songbird.sh
  • Pre-processor: SL-SONGBIRD (id 440)
  • Job Id: 29859
  • Page: StarExec
  • Comments: run with 600 sec of timeout and 4 GB

Round 3: July 10th

  • Version: Songbird (id 20598)
  • Configuration: songbird.sh
  • Pre-processor: SL-SONGBIRD (id 440)
  • Job Id: 29806
  • Page: StarExec
  • Comments: run with 600 sec of timeout and 4 GB, contact ask to replay with the new version

Round 2: July 9th

  • Version: Songbird (id 20548 deleted)
  • Configuration: default
  • Pre-processor: SL-SONGBIRD (id 440)
  • Job Id: 29693
  • Page: [[][StarExec]]
  • Comments: run with 600 sec of timeout and 4 GB, 0 problems ressourced out, all solved

Round 1: July 8th

  • Version: Songbird (id 20462 deleted)
  • Configuration: default
  • Pre-processor: SL-SONGBIRD (id 440)
  • Job Id: 29629
  • Page: StarExec
  • Comments: run with 120 sec of timeout and 1 GB, problem with execution path

SPEN

Round 3: July 10th, FINAL

  • Version: SPEN (id 20509)
  • Configuration: qfshls
  • Pre-processor: SL-SPEN (id 430)
  • Job Id: 29808
  • Page: StarExec
  • run with 600 sec of timeout and 4 GB

Round 1: July 8th

  • Version: SPEN (id 20509)
  • Configuration: qfshls
  • Pre-processor: SL-SPEN (id 430)
  • Job Id: 29631
  • Page: StarExec
  • Comments: run with 120 sec of timeout and 1 GB, O problems ressourced out

Author: Mihaela Sighireanu

Created: 2018-07-14 Sat 15:27

Validate