Results of SL-COMP'18 division shidlia_entl
Overview
Solver |
config |
solved |
time |
wrong |
timeout |
failed |
unknown |
max timeout |
S2S |
v2 |
15 |
10564.9 |
0 |
98 |
0 |
68 |
2400 |
SLEEK |
default |
16 |
3 |
126 |
0 |
0 |
29 |
600/2400 |
Songbird |
v2 |
152 |
4248.2 |
0 |
0 |
0 |
15 |
2400 |
ComSPEN
Round 3: July 10th
- Version: ComSPEN (id 20429)
- Configuration: cspen
- Pre-processor: SL-ASTERIX (id 451)
- Job Id: 29877
- Page: StarExec
- Comments: run with 600 sec of timeout and 4 GB, fails silently
Round 2: July 9th
- Version: ComSPEN (id 20429)
- Configuration: default
- Pre-processor: SL-COMSPEN (id 446)
- Job Id: 29809
- 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, FINAL
- Version: s2s v2 (id )
- Configuration: default
- Pre-processor: SL-S2S (id 445)
- Job Id: 29884
- Page: StarExec
- Comments: run with 2400 sec of timeout and 4 GB
Round 3: July 10th
- Version: s2s v2 (id 20594)
- Configuration: default
- Pre-processor: SL-S2S (id 445)
- Job Id: 29810
- Page: StarExec
- Comments: run with 600 sec of timeout and 4 GB, 120 problems ressourced out
Round 1 and 2: July 8th and 9th, 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: 29893
- Page: StarExec
- Comments: run with 2400 sec of timeout and 4 GB
Round 3: July 10th
- Version: Sleek (id 20564)
- Configuration: default
- Pre-processors: SL-SLEEK (id 438)
- Job Id: 29811
- Page: StarExec
- Comments: run with 600 sec of timeout and 4 GB, 0 problems ressourced out
Round 1: July 8th
- Version: SLEEK (id 20432)
- Configuration: default
- Pre-processors: SL-SLEEK (id 438)
- Job Id: 29637
- Page: StarExec
- Comments: run with 120 sec of timeout and 1 GB, 24 ressourced out
Songbird
Round 4: July 11th, FINAL
- Version: Songbird v2 (id )
- Configuration: songbird.sh
- Pre-processor: SL-SONGBIRD (id 440)
- Job Id: 29900
- Page: StarExec
- Comments: run with 2400 sec of timeout and 4 GB
Round 3: July 10th
- Version: Songbird (id 20583)
- Configuration: songbird.sh
- Pre-processor: SL-SONGBIRD (id 440)
- Job Id: 29812
- Page: StarExec
- Comments: run with 2400 sec of timeout and 4 GB, 0 problems ressourced out, contact asked for replay with new version of the solver
Round 2: July 9th
- Version: Songbird (id 20549)
- Configuration: songbird.sh
- Pre-processor: SL-SONGBIRD (id 440)
- Job Id: 29694
- Page: StarExec
- Comments: run with 600 sec of timeout and 4 GB, 8 problems ressourced out,
13 unknown and 160/181 solved.
Round 1: July 8th
- Version: Songbird (id 20462 deleted)
- Configuration: deleted
- Pre-processor: SL-SONGBIRD (id 440)
- Job Id: 29639
- 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