Results of SL-COMP'18 division qf_shls_sat
Overview
Solver |
config |
solved |
time |
wrong |
timeout |
failed |
unknown |
Asterix |
v18 |
110 |
1.3 |
0 |
0 |
0 |
0 |
CYCLIST-SLSAT |
default |
110 |
4018.4 |
0 |
0 |
0 |
0 |
Harrsh |
inc |
110 |
275.5 |
0 |
0 |
0 |
0 |
S2S |
v2 |
110 |
2 |
0 |
0 |
0 |
0 |
SLEEK |
default |
110 |
9.1 |
0 |
0 |
0 |
0 |
Songbird |
v2 |
110 |
25.5 |
0 |
0 |
0 |
0 |
SPEN |
TA |
110 |
6.6 |
0 |
0 |
0 |
0 |
Asterix
Round 3: July 10th, FINAL
- Version: ASTERIX (id 20618)
- Configuration: default
- Pre-processor: SL-ASTERIX (451)
- Job Id: 29857
- Page: StarExec
- Comments: run with 600 sec of timeout and 4 GB
Round 2: July 9th
- Version: Asterix-cpp (id 986)
- Configuration: default.sh
- Pre-processor: SL-ASTERIX (435)
- Job Id: 29799
- Page: StarExec
- Comments: run with 600 sec of timeout and 4 GB, all 'unknown'
failed on pre-processor
Round 1: July 8th
- Version: Asterix-cpp (id 986)
- Configuration: default.sh
- Pre-processor: SL-ASTERIX (435)
- Job Id: 29619
- Comments: run with 120 sec of timeout and 1 GB, all 'unknown'
failed on pre-processor
ComSPEN
Round 3: July 11th
- Version: COMSPEN (id TODO)
- Configuration: cspen
- Pre-processor: SL-ASTERIX (451)
- Job Id:
- Page: StarExec
- Comments: run with 600 sec of timeout and 4 GB, waiting for new binary
Round 2: July 9th
- Version: COMSPEN (id 20429)
- Configuration: default
- Pre-processor: SL-COMSPEN (id 447)
- Job Id: 29800
- Page: StarExec
- Comments: run with 600 sec of timeout and 4 GB, fails silently after
a correct pre-processing
Round 1: July 8th, problem with pre-processor
Cyclist-SLSAT
Round 3: July 11th, FINAL
- Version: SLSAT (id 1137)
- Configuration: quiet
- Pre-processor: SL-CYCLIST (id 437)
- Job Id: 29858
- Page: StarExec
- Comments: run with 2400 sec of timeout and 4GB
Round 2: July 9th
- Version: SLSAT (id 1137)
- Configuration: quiet
- Pre-processor: SL-CYCLIST (id 437)
- Job Id: 29801
- Page: StarExec
- Comments: run with 600 sec of timeout and 4GB, 2 problems ressourced out
Round 1: July 8th
- Version: CYCLIST (id 1136)
- Configuration: default
- Pre-processor: SL-CYCLIST (id 437)
- Job Id: 29627
- Page: StarExec
- Comments: run with 120 sec of timeout and 1 GB, 6/110 problems ressourced out
Harrsh
Round 2: July 10th, FINAL
- Version: Harrsh-inc (id 20573)
- Configuration: harrshdefault
- Pre-processor: none
- Job Id: 29802
- Page: StarExec
- Comments: run with 600 sec of timeout and 4GB
Round 1: July 8th, absent
S2S
Round 2: July 10th, FINAL
- Version: S2S v2 (id 20593)
- Configuration: default
- Pre-processor: SL-S2S (id 445)
- Job Id: 29803
- Page: StarExec
- Comments: run with 600 sec of timeout and 4 GB
Round 1: July 8th, absent
SLEEK
Round 2: July 10th, FINAL
- Version: SLEEK (id 20564)
- Configuration: default
- Pre-processors: SL-SLEEK (id 438)
- Job Id: 29804
- Page: StarExec
- Comments: run with 600 sec of timeout and 4 GB
Round 1: July 8th
- Version: SLEEK (id 20432 deleted)
- Configuration: default
- Pre-processor: SL-SLEEK (id 438)
- Job Id: 29623
- Page: StarExec
- Comments: run with 120 sec of timeout and 1 GB, 0 problems ressourced out
Songbird
Round 4: July 11th, FINAL
- Version: Songbird v2 (id )
- Configuration: songbird.sh
- Pre-processor: SL-SONGBIRD (id 440)
- Job Id: 29859
- Page: StarExec
- Comments: run with 600 sec of timeout and 4 GB
Round 3: July 10th
- Version: Songbird (id 20598)
- Configuration: songbird.sh
- Pre-processor: SL-SONGBIRD (id 440)
- Job Id: 29806
- Page: StarExec
- Comments: run with 600 sec of timeout and 4 GB, contact ask to replay with the new version
Round 2: July 9th
- Version: Songbird (id 20548 deleted)
- Configuration: default
- Pre-processor: SL-SONGBIRD (id 440)
- Job Id: 29693
- Page: [[][StarExec]]
- Comments: run with 600 sec of timeout and 4 GB, 0 problems ressourced out,
all solved
Round 1: July 8th
- Version: Songbird (id 20462 deleted)
- Configuration: default
- Pre-processor: SL-SONGBIRD (id 440)
- Job Id: 29629
- Page: StarExec
- Comments: run with 120 sec of timeout and 1 GB, problem with
execution path
SPEN
Round 3: July 10th, FINAL
- Version: SPEN (id 20509)
- Configuration: qfshls
- Pre-processor: SL-SPEN (id 430)
- Job Id: 29808
- Page: StarExec
- run with 600 sec of timeout and 4 GB
Round 1: July 8th
- Version: SPEN (id 20509)
- Configuration: qfshls
- Pre-processor: SL-SPEN (id 430)
- Job Id: 29631
- Page: StarExec
- Comments: run with 120 sec of timeout and 1 GB, O problems ressourced out
Author: Mihaela Sighireanu
Created: 2018-07-14 Sat 15:27
Validate