Results of SL-COMP'18 division qf_shidlia_entl

Overview

Solver config solved time wrong timeout failed unknown max timeout
S2S v2 16 4420.2 0 9 0 36 2400
SLEEK default 11 1.9 45 5 0 0 2400
Songbird v2 56 995.3 0 0 0 5 2400

ComSPEN

Round 3: July 11th

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

Round 2: July 9th

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

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

S2S

Round 4: July 11th

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

Round 3: July 10th

  • Version: s2s (id 20539)
  • Configuration: default
  • Pre-processor: SL-S2S (id 445)
  • Job Id: 29755
  • Page: StarExec
  • Comments: run with 2400 sec of timeout and 4 GB, 9 problems ressourced out, contact asks to replay with new version

Round 2: July 9th

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

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

Sleek

Round 3: July 10th, FINAL?

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

Round 2: July 9th

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

Round 1: July 8th

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

Songbird

Round 4: July 11th, FINAL

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

Round 3: July 10th

  • Version: Songbird (id 20542 deleted)
  • Configuration: songbird.sh
  • Pre-processor: SL-SONGBIRD (id 440)
  • Job Id: 29757
  • Page: StarExec
  • Comments: run with 2400 sec of timeout and 4 GB, 1 problem ressourced out, contact asks to replay with new version

Round 2: July 9th

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

Round 1: July 8th

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

Author: Mihaela Sighireanu

Created: 2018-07-14 Sat 15:27

Validate