Results of SL-COMP'18 division qf_shlid_entl

Overview

Solver config solved time wrong timeout failed unknown max timeout
CYCLIST default 24 187.2 0 31 0 5 600
S2S v2 60 4.9 0 0 0 0 2400
SLEEK default 45 1285.2 7 8 0 0 2400
SLIDE v5 7 2.2 0 0 0 53 600
Songbird v2 51 133.2 0 1 0 0 600
SPEN TA 25 0.9 15 0 0 20 600
SPEN PR 28 1.4 2 0 0 20 600

COMSPEN

Round 3: July 11th

  • Version: ComSPEN (id )
  • Configuration: cspen
  • Pre-processor: SL-ASTERIX (id 451)
  • Job Id:
  • Page: [[
  • Comments: run with 2400 sec of timeout and 4GB

Round 2: July 9th

  • Version: ComSPEN (id 20429)
  • Configuration: default
  • Pre-processor: SL-COMSPEN (id 446)
  • Job Id: 29765
  • Page: StarExec
  • Comments: run with 600 sec of timeout and 4GB, problems with the pre-processor and no output

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

CYCLIST-SL

Round 3: July 11th, FINAL

  • Version: CYCLIST (id 1136)
  • Configuration: default
  • Pre-processor: SL-CYCLIST (id 437)
  • Job Id: 29928
  • Page: StarExec
  • Comments: run with 2400 sec of timeout and 4GB,

Round 2: July 9th

  • Version: CYCLIST (id 1136)
  • Configuration: default
  • Pre-processor: SL-CYCLIST (id 437)
  • Job Id: 29766
  • Page: StarExec
  • Comments: run with 600 sec of timeout and 4GB, 31 problems ressourced out

Round 1: July 8th

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

S2S

Round 3: July 11th, FINAL

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

Round 2: July 9th

  • Version: S2S (id 20539)
  • Configuration: default
  • Pre-processor: SL-S2S (id 445)
  • Job Id: 29767
  • Page: StarExec
  • Comments: run with 600 sec of timeout and 4GB, 0 problem ressourced out, contact asks to re-run with new version

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

Sleek

Round 3: July 11th, FINAL

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

Round 2: July 9th

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

Round 1: July 8th

  • Version: SLEEK (id 20432)
  • Configuration: default
  • Pre-processors: SL-SLEEK (id 438)
  • Job Id: 29593
  • Page: StarExec
  • Comments: run with 120 sec of timeout and 1 GB, 9/60 problems ressourced out

Slide

Round 2: July 11th, FINAL

  • Version: slide-2018-v5 (id )
  • Configuration: SLDinput
  • Pre-processors: SL-SLIDE (id 441)
  • Job Id: 29931
  • Page: StarExec
  • Comments: run with 600 sec of timeout and 1 GB,

Round 1: July 8th

  • Version: slide-2018-v4 (id 20428)
  • Configuration: SLDinput
  • Pre-processors: SL-SLIDE (id 441)
  • Job Id: 29598
  • Page: StarExec
  • Comments: run with 120 sec of timeout and 1 GB, 0/312 problems ressourced out

Songbird

Round 3: July 11th, FINAL

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

Round 2: July 10th

  • Version: Songbird v2 (id 20608)
  • Configuration: songbird.sh
  • Pre-processor: SL-SONGBIRD (id 440)
  • Job Id: 29829
  • Page:
  • Comments: run with 600 sec of timeout and 4 GB, 1 problem ressourced out, run done by the contact

Round 1: July 8th

  • Version: Songbird (id 20462)
  • Configuration: songbird.sh
  • Pre-processor: SL-SONGBIRD (id 440)
  • Job Id: 29600
  • Page: StarExec
  • Comments: run with 120 sec of timeout and 1 GB, all results 'unknown'

SPEN

Round 2: July 9th, FINAL

  • Version: SPEN v18 (id 20509)
  • Pre-processor: SL-SPEN (id 440)
  • Configuration: qfshlid
  • Configuration: qfshidlia
  • Comments: run with 600 sec of timeout and 4 GB

Round 1: July 8th

  • Version: SPEN v18 (id 20509)
  • Pre-processor: SL-SPEN (id 440)
  • Configuration: qfshlid
  • Job Id: 29602
  • Page: StarExec
  • Comments: run with 120 sec of timeout and 1 GB, 0/60 problems ressourced out, 19 unknown

Author: Mihaela Sighireanu

Created: 2018-07-14 Sat 15:27

Validate