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