Results of SL-COMP'18 division qf_shlid_entl
Overview
Solver |
config |
solved |
time |
wrong |
timeout |
failed |
unknown |
max timeout |
CYCLIST |
default |
24 |
187.2 |
0 |
31 |
0 |
5 |
600 |
S2S |
v2 |
60 |
4.9 |
0 |
0 |
0 |
0 |
2400 |
SLEEK |
default |
45 |
1285.2 |
7 |
8 |
0 |
0 |
2400 |
SLIDE |
v5 |
7 |
2.2 |
0 |
0 |
0 |
53 |
600 |
Songbird |
v2 |
51 |
133.2 |
0 |
1 |
0 |
0 |
600 |
SPEN |
TA |
25 |
0.9 |
15 |
0 |
0 |
20 |
600 |
SPEN |
PR |
28 |
1.4 |
2 |
0 |
0 |
20 |
600 |
COMSPEN
Round 3: July 11th
- Version: ComSPEN (id )
- Configuration: cspen
- Pre-processor: SL-ASTERIX (id 451)
- Job Id:
- Page: [[
- Comments: run with 2400 sec of timeout and 4GB
Round 2: July 9th
- Version: ComSPEN (id 20429)
- Configuration: default
- Pre-processor: SL-COMSPEN (id 446)
- Job Id: 29765
- Page: StarExec
- Comments: run with 600 sec of timeout and 4GB, problems with the pre-processor and no output
Round 1: July 8th, problem with pre-processor
Round 3: July 11th, FINAL
- Version: CYCLIST (id 1136)
- Configuration: default
- Pre-processor: SL-CYCLIST (id 437)
- Job Id: 29928
- Page: StarExec
- Comments: run with 2400 sec of timeout and 4GB,
Round 2: July 9th
- Version: CYCLIST (id 1136)
- Configuration: default
- Pre-processor: SL-CYCLIST (id 437)
- Job Id: 29766
- Page: StarExec
- Comments: run with 600 sec of timeout and 4GB, 31 problems ressourced out
Round 1: July 8th
- Version: CYCLIST (id 1136)
- Configuration: default
- Pre-processor: SL-CYCLIST (id 437)
- Job Id: 29594
- Page: StarExec
- Comments: run with 120 sec of timeout and 1 GB, 31/312 problems
ressourced out
Round 3: July 11th, FINAL
- Version: S2S v2 (id )
- Configuration: default
- Pre-processor: SL-S2S (id 445)
- Job Id: 29929
- Page: StarExec
- Comments: run with 2400 sec of timeout and 4GB
Round 2: July 9th
- Version: S2S (id 20539)
- Configuration: default
- Pre-processor: SL-S2S (id 445)
- Job Id: 29767
- Page: StarExec
- Comments: run with 600 sec of timeout and 4GB, 0 problem ressourced out, contact asks to re-run with new version
Round 1: July 8th, absent, problem with pre-processor
Round 3: July 11th, FINAL
- Version: SLEEK (id )
- Configuration: default
- Pre-processors: SL-SLEEK (id 438)
- Job Id: 29930
- Page: StarExec
- Comments: run with 2400 sec of timeout and 4 GB
Round 2: July 9th
- Version: SLEEK (id 20564)
- Configuration: default
- Pre-processors: SL-SLEEK (id 438)
- Job Id: 29768
- Page: StarExec
- Comments: run with 600 sec of timeout and 4 GB, 9 problems ressourced out
Round 1: July 8th
- Version: SLEEK (id 20432)
- Configuration: default
- Pre-processors: SL-SLEEK (id 438)
- Job Id: 29593
- Page: StarExec
- Comments: run with 120 sec of timeout and 1 GB, 9/60 problems
ressourced out
Round 2: July 11th, FINAL
- Version: slide-2018-v5 (id )
- Configuration: SLDinput
- Pre-processors: SL-SLIDE (id 441)
- Job Id: 29931
- Page: StarExec
- Comments: run with 600 sec of timeout and 1 GB,
Round 1: July 8th
- Version: slide-2018-v4 (id 20428)
- Configuration: SLDinput
- Pre-processors: SL-SLIDE (id 441)
- Job Id: 29598
- Page: StarExec
- Comments: run with 120 sec of timeout and 1 GB, 0/312 problems
ressourced out
Round 3: July 11th, FINAL
- Version: Songbird v2 (id )
- Configuration: songbird.sh
- Pre-processor: SL-SONGBIRD (id 440)
- Job Id: 29932
- Page: StarExec
- Comments: run with 600 sec of timeout and 4 GB
Round 2: July 10th
- Version: Songbird v2 (id 20608)
- Configuration: songbird.sh
- Pre-processor: SL-SONGBIRD (id 440)
- Job Id: 29829
- Page:
- Comments: run with 600 sec of timeout and 4 GB, 1 problem ressourced out, run done by the contact
Round 1: July 8th
- Version: Songbird (id 20462)
- Configuration: songbird.sh
- Pre-processor: SL-SONGBIRD (id 440)
- Job Id: 29600
- Page: StarExec
- Comments: run with 120 sec of timeout and 1 GB, all results 'unknown'
Round 2: July 9th, FINAL
- Version: SPEN v18 (id 20509)
- Pre-processor: SL-SPEN (id 440)
- Configuration: qfshlid
- Configuration: qfshidlia
- Comments: run with 600 sec of timeout and 4 GB
Round 1: July 8th
- Version: SPEN v18 (id 20509)
- Pre-processor: SL-SPEN (id 440)
- Configuration: qfshlid
- Job Id: 29602
- Page: StarExec
- Comments: run with 120 sec of timeout and 1 GB, 0/60 problems
ressourced out, 19 unknown
Author: Mihaela Sighireanu
Created: 2018-07-14 Sat 15:27
Validate