Results of SL-COMP'18 division qf_shid_entl

Overview

Solver config solved time wrong timeout failed unknown max timeout
CYCLIST default 219 2306.1 0 71 0 22 3600
CYCLIST default 219 2309.4 0 75 0 18 2400
S2S v2 216 1295.7 1 62 0 33 2400
SLEEK default 196 1485.9 97 16 0 3 3600
SLEEK default 196 1477.5 96 17 0 3 2400
SLIDE v15 61 68.8 0 0 0 251 2400
Songbird v2 300 1221.6 0 1 0 11 2400
SPEN TA 28 1 16 0 0 268 120
SPEN PR 41 1.5 3 0 0 268 120

CYCLIST-SL

Round 4: July 11th, FINAL

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

Round 3: July 10th

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

Round 2: July 9th

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

Round 1: July 8th

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

S2S

Round 4: July 11th, FINAL

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

Round 3: July 10th

  • Version: S2S (id 20562)
  • Configuration: default
  • Pre-processor: SL-S2S (id 445)
  • Job Id: 29759
  • Page: StarExec
  • Comments: run with 2400 sec of timeout and 4GB, 36 problems ressourced out, new version for the slver

Round 2: July 9th

  • Version: S2S (id 20562)
  • Configuration: default
  • Pre-processor: SL-S2S (id 445)
  • Job Id: 29736
  • Page: StarExec
  • Comments: run with 600 sec of timeout and 4GB, 18 problems ressourced out

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

Sleek

Round 4: July 11th, FINAL

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

Round 3: July 10th

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

Round 2: July 9th

  • Version: SLEEK (id 20432)
  • Configuration: default
  • Pre-processors: SL-SLEEK (id 438)
  • Job Id: 29702
  • Page: StarExec
  • Comments: run with 600 sec of timeout and 4 GB, 19/312 ressourced out, errors 'fixcalc not found' in output

Round 1: July 8th

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

Slide

Round 3: July 11th

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

Round 2: July 9th

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

Round 1: July 8th

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

Songbird

Round 4: July 11th, FINAL

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

Round 3: July 10th

  • Version: Songbird (id 20544)
  • Configuration: songbird.sh
  • Pre-processor: SL-SONGBIRD (id 440)
  • Job Id: 29738
  • Page: StarExec
  • Comments: run with 2400 sec of timeout and 4 GB, 7 problems ressourced out, solver updated

Round 2: July 9th

  • Version: Songbird (id 20552 deleted)
  • Configuration: songbird.sh
  • Pre-processor: SL-SONGBIRD (id 440)
  • Job Id: 29704
  • Page: StarExec
  • Comments: run with 600 sec of timeout and 4 GB, 8/312 ressourced out, 300/312 solved

Round 1: July 8th

  • Version: Songbird (deleted)
  • Configuration: deleted
  • Pre-processor: SL-SONGBIRD (id 440)
  • Job Id: 29586
  • Page: StarExec
  • Comments: run with 120 sec of timeout and 1 GB, 0/312 problems ressources out, 312 unknown

SPEN

Round 1: July 8th, FINAL

  • Version: SPEN v18 (id 20561)
  • Pre-processor: SL-SPEN (id 440)
  • Configuration: qfshlid
  • Configuration: qfshidlia
  • Comments: run with 120 sec of timeout and 1 GB, 0/312 problems ressourced out, 268 unknown

Author: Mihaela Sighireanu

Created: 2018-07-14 Sat 15:27

Validate