Results of SL-COMP'18 division qf_shidlia_sat

Overview

Solver config solved time wrong timeout failed unknown max timeout
S2S v2 33 19.1 0 0 0 0 600
SLEEK default 19 11.6 14 0 0 0 600
Songbird v2 18 12.3 0 3 0 12 2400
Songbird v1 18 12.5 0 15 0 0 600

ComSPEN

Round 3: July 11th

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

Round 2: July 9th

  • Version: ComSPEN (id 20429)
  • Configuration: default
  • Pre-processor: SL-COMSPEN (id 446)
  • Job Id: 29727
  • Page: StarExec
  • Comments: run with 600 sec of timeout and 4 GB, all 'unknown' since no output, propblem with pre-processor and the dynamic library

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

S2S

Round 3: July 11th

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

Round 2: July 9th,

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

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

Sleek

Round 2: July 9th, FINAL?

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

Round 1: July 8th

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

Songbird

Round 4: July 10th, FINAL

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

Round 3: July 10th

  • Version: Songbird (id 20543)
  • Configuration: songbird.sh
  • Pre-processor: SL-SONGBIRD (id 440)
  • Job Id: 29758
  • Page: StarExec
  • Comments: run with 2400 sec of timeout and 4 GB, 15 problems ressourced out, contact asked to re-run the benchmark with the new version

Round 2: July 9th

  • Version: Songbird (id 20543)
  • Configuration: songbird.sh
  • Pre-processor: SL-SONGBIRD (id 440)
  • Job Id: 29731
  • Page: StarExec
  • Comments: run with 600 sec of timeout and 4 GB, 15 problems ressourced out

Round 1: July 8th

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

Author: Mihaela Sighireanu

Created: 2018-07-14 Sat 15:27

Validate