Results of SL-COMP'18 division shid_entl

Overview

Solver config solved time wrong timeout failed unknown max timeout
CYCLIST default 2 0.1 0 45 0 26 2400
S2S v2 12 1.5 0 4 0 57 2400
SLEEK default 29 16.9 39 0 0 5 2400
SLIDE v5 15 11.1 0 0 0 58 2400
Songbird v2 70 928.9 0 1 0 2 2400

CYCLIST-SL

Round 3: July 10th, FINAL

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

Round 2: July 9th

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

Round 1: July 8th

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

S2S

Round 3: July 11th

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

Round 2: July 9th

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

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: 29862
  • Page: StarExec
  • Comments: run with 2400 sec of timeout and 4GB, O problems ressourced out

Round 2: July 10th

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

Round 1: July 8th

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

Slide

Round 3: July 11th, FINAL

  • Version: slide-2018-v5 (id 20628)
  • Configuration: SLDinput
  • Pre-processors: SL-SLIDE (id 441)
  • Job Id: 29921
  • 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: 29817
  • Page: StarExec
  • Comments: run with 600 sec of timeout and 4 GB, 0 problem ressourced out, contact asks to re-run

Round 1: July 8th

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

Songbird

Round 3: July 11th, FINAL

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

Round 2: July 9th

  • Version: Songbird (id 20584 deleted)
  • Configuration: songbird.sh
  • Pre-processor: SL-SONGBIRD (id 440)
  • Job Id: 29818
  • Page: StarExec
  • Comments: run with 600 sec of timeout and 4 GB, 1 problem ressourced out

Round 1: July 8th

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

Author: Mihaela Sighireanu

Created: 2018-07-14 Sat 15:27

Validate