Results of SL-COMP'18 division qf_shid_entl
Overview
Solver |
config |
solved |
time |
wrong |
timeout |
failed |
unknown |
max timeout |
CYCLIST |
default |
219 |
2306.1 |
0 |
71 |
0 |
22 |
3600 |
CYCLIST |
default |
219 |
2309.4 |
0 |
75 |
0 |
18 |
2400 |
S2S |
v2 |
216 |
1295.7 |
1 |
62 |
0 |
33 |
2400 |
SLEEK |
default |
196 |
1485.9 |
97 |
16 |
0 |
3 |
3600 |
SLEEK |
default |
196 |
1477.5 |
96 |
17 |
0 |
3 |
2400 |
SLIDE |
v15 |
61 |
68.8 |
0 |
0 |
0 |
251 |
2400 |
Songbird |
v2 |
300 |
1221.6 |
0 |
1 |
0 |
11 |
2400 |
SPEN |
TA |
28 |
1 |
16 |
0 |
0 |
268 |
120 |
SPEN |
PR |
41 |
1.5 |
3 |
0 |
0 |
268 |
120 |
Round 4: July 11th, FINAL
- Version: CYCLIST (id 1136)
- Configuration: default
- Pre-processor: SL-CYCLIST (id 437)
- Job Id: 29914
- Page: StarExec
- Comments: run with 3600 sec of timeout and 4GB
Round 3: July 10th
- Version: CYCLIST (id 1136)
- Configuration: default
- Pre-processor: SL-CYCLIST (id 437)
- Job Id: 29735
- Page: StarExec
- Comments: run with 2400 sec of timeout and 4GB, 75 problems ressourced out
Round 2: July 9th
- Version: CYCLIST (id 1136)
- Configuration: default
- Pre-processor: SL-CYCLIST (id 437)
- Job Id: 29701
- Page: StarExec
- Comments: run with 600 sec of timeout and 4GB, 81/312 ressourced out
Round 1: July 8th
- Version: CYCLIST (id 1136)
- Configuration: default
- Pre-processor: SL-CYCLIST (id 437)
- Job Id: 29581
- Page: StarExec
- Comments: run with 120 sec of timeout and 1 GB, 81/312 ressourced out
Round 4: July 11th, FINAL
- Version: S2S v2 (id )
- Configuration: default
- Pre-processor: SL-S2S (id 445)
- Job Id: 29915
- Page: StarExec
- Comments: run with 2400 sec of timeout and 4GB,
Round 3: July 10th
- Version: S2S (id 20562)
- Configuration: default
- Pre-processor: SL-S2S (id 445)
- Job Id: 29759
- Page: StarExec
- Comments: run with 2400 sec of timeout and 4GB, 36 problems ressourced out, new version for the slver
Round 2: July 9th
- Version: S2S (id 20562)
- Configuration: default
- Pre-processor: SL-S2S (id 445)
- Job Id: 29736
- Page: StarExec
- Comments: run with 600 sec of timeout and 4GB, 18 problems ressourced out
Round 1: July 8th, absent, problem with pre-processor
Round 4: July 11th, FINAL
- Version: SLEEK (id 20564)
- Configuration: default
- Pre-processors: SL-SLEEK (id 438)
- Job Id: 29917
- Page: StarExec
- Comments: run with 3600 sec of timeout and 4GB,
Round 3: July 10th
- Version: SLEEK (id 20564)
- Configuration: default
- Pre-processors: SL-SLEEK (id 438)
- Job Id: 29760
- Page: StarExec
- Comments: run with 2400 sec of timeout and 4 GB, 17 problems ressourced out
Round 2: July 9th
- Version: SLEEK (id 20432)
- Configuration: default
- Pre-processors: SL-SLEEK (id 438)
- Job Id: 29702
- Page: StarExec
- Comments: run with 600 sec of timeout and 4 GB, 19/312 ressourced
out, errors 'fixcalc not found' in output
Round 1: July 8th
- Version: SLEEK (id 2043)
- Configuration: default
- Pre-processors: SL-SLEEK (id 438)
- Job Id: 29583
- Page: StarExec
- Comments: run with 120 sec of timeout and 1 GB, 22/312 problems
ressourced out
Round 3: July 11th
- Version: slide-2018-v5 (id )
- Configuration: SLDinput
- Pre-processors: SL-SLIDE (id 441)
- Job Id: 29918
- 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: 29703
- Page: StarExec
- Comments: run with 600 sec of timeout and 4 GB, 0 ressourced out, 60/312 solved
Round 1: July 8th
- Version: slide-2018-v4
- Configuration: SLDinput
- Pre-processors: SL-SLIDE (id 441)
- Job Id: 29587
- Page: StarExec
- Comments: run with 120 sec of timeout and 1 GB, 0/312 problems ressources out
Round 4: July 11th, FINAL
- Version: Songbird v2 (id )
- Configuration: songbird.sh
- Pre-processor: SL-SONGBIRD (id 440)
- Job Id: 29920
- Page: StarExec
- Comments: run with 2400 sec of timeout and 4 GB
Round 3: July 10th
- Version: Songbird (id 20544)
- Configuration: songbird.sh
- Pre-processor: SL-SONGBIRD (id 440)
- Job Id: 29738
- Page: StarExec
- Comments: run with 2400 sec of timeout and 4 GB, 7 problems ressourced out, solver updated
Round 2: July 9th
- Version: Songbird (id 20552 deleted)
- Configuration: songbird.sh
- Pre-processor: SL-SONGBIRD (id 440)
- Job Id: 29704
- Page: StarExec
- Comments: run with 600 sec of timeout and 4 GB, 8/312 ressourced out, 300/312 solved
Round 1: July 8th
- Version: Songbird (deleted)
- Configuration: deleted
- Pre-processor: SL-SONGBIRD (id 440)
- Job Id: 29586
- Page: StarExec
- Comments: run with 120 sec of timeout and 1 GB, 0/312 problems ressources out, 312 unknown
Round 1: July 8th, FINAL
- Version: SPEN v18 (id 20561)
- Pre-processor: SL-SPEN (id 440)
- Configuration: qfshlid
- Configuration: qfshidlia
- Comments: run with 120 sec of timeout and 1 GB, 0/312 problems
ressourced out, 268 unknown
Author: Mihaela Sighireanu
Created: 2018-07-14 Sat 15:27
Validate