Results of SL-COMP'18 division shid_entl
Overview
Solver |
config |
solved |
time |
wrong |
timeout |
failed |
unknown |
max timeout |
CYCLIST |
default |
2 |
0.1 |
0 |
45 |
0 |
26 |
2400 |
S2S |
v2 |
12 |
1.5 |
0 |
4 |
0 |
57 |
2400 |
SLEEK |
default |
29 |
16.9 |
39 |
0 |
0 |
5 |
2400 |
SLIDE |
v5 |
15 |
11.1 |
0 |
0 |
0 |
58 |
2400 |
Songbird |
v2 |
70 |
928.9 |
0 |
1 |
0 |
2 |
2400 |
Round 3: July 10th, FINAL
- Version: CYCLIST (id 1136)
- Configuration: default
- Pre-processor: SL-CYCLIST (id 437)
- Job Id: 29814
- Page: StarExec
- Comments: run with 2400 sec of timeout and 4GB, 45 problems ressourced out
Round 2: July 9th
- Version: CYCLIST (id 1136)
- Configuration: default
- Pre-processor: SL-CYCLIST (id 437)
- Job Id: 29813
- Page: StarExec
- Comments: run with 600 sec of timeout and 4GB, 49 problems ressourced out
Round 1: July 8th
- Version: CYCLIST (id 1136)
- Configuration: default
- Pre-processor: SL-CYCLIST (id 437)
- Job Id: 29641
- Page: StarExec
- Comments: run with 120 sec of timeout and 1 GB, 49/71 problems ressourced out
Round 3: July 11th
- Version: S2S v2 (id 20595)
- Configuration: default
- Pre-processor: SL-S2S (id 445)
- Job Id: 29861
- Page: StarExec
- Comments: run with 2400 sec of timeout and 4GB, 4 problems ressourced out
Round 2: July 9th
- Version: S2S v2 (id 20595)
- Configuration: default
- Pre-processor: SL-S2S (id 445)
- Job Id: 29815
- Page: StarExec
- Comments: run with 600 sec of timeout and 4GB, 4 problems ressourced out
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: 29862
- Page: StarExec
- Comments: run with 2400 sec of timeout and 4GB, O problems ressourced out
Round 2: July 10th
- Version: SLEEK (id 20564)
- Configuration: default
- Pre-processors: SL-SLEEK (id 438)
- Job Id: 29816
- Page: StarExec
- Comments: run with 600 sec of timeout and 4 GB, 0 problem ressourced out
Round 1: July 8th
- Version: SLEEK (id 20432)
- Configuration: default
- Pre-processors: SL-SLEEK (id 438)
- Job Id: 29643
- Page: StarExec
- Comments: run with 120 sec of timeout and 1 GB, 4/73 problems
ressourced out
Round 3: July 11th, FINAL
- Version: slide-2018-v5 (id 20628)
- Configuration: SLDinput
- Pre-processors: SL-SLIDE (id 441)
- Job Id: 29921
- Page: StarExec
- Comments: run with 2400 sec of timeout and 4 GB
Round 2: July 9th
- Version: slide-2018-v4 (id 20428)
- Configuration: SLDinput
- Pre-processors: SL-SLIDE (id 441)
- Job Id: 29817
- Page: StarExec
- Comments: run with 600 sec of timeout and 4 GB, 0 problem ressourced out, contact asks to re-run
Round 1: July 8th
- Version: slide-2018-v4 (20428)
- Configuration: SLDinput
- Pre-processors: SL-SLIDE (id 441)
- Job Id: 29645
- Page: StarExec
- Comments: run with 120 sec of timeout and 1 GB, 0/312 problems ressources out
Round 3: July 11th, FINAL
- Version: Songbird v2 (id 20616)
- Configuration: songbird.sh
- Pre-processor: SL-SONGBIRD (id 440)
- Job Id: 29863
- Page: StarExec
- Comments: run with 2400 sec of timeout and 4 GB, 1 problem resourced out
Round 2: July 9th
- Version: Songbird (id 20584 deleted)
- Configuration: songbird.sh
- Pre-processor: SL-SONGBIRD (id 440)
- Job Id: 29818
- Page: StarExec
- Comments: run with 600 sec of timeout and 4 GB, 1 problem ressourced out
Round 1: July 8th
- Version: Songbird (id 20462 deleted)
- Configuration: deleted
- Pre-processor: SL-SONGBIRD (id 440)
- Job Id: 29647
- Page: StarExec
- Comments: run with 120 sec of timeout and 1 GB, 0/73 problems
ressources out, 73 unknown, problem with execution path
Author: Mihaela Sighireanu
Created: 2018-07-14 Sat 15:27
Validate