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