Results for SL-COMP'18 division qf_shid_sat
Overview
| Solver |
config |
solved |
time |
wrong |
timeout |
failed |
unknown |
max timeout |
| CYCLIST |
SLSAT |
90 |
5.1 |
9 |
0 |
0 |
0 |
600 |
| Harrsh |
inc |
72 |
246.6 |
0 |
0 |
0 |
27 |
2400 |
| S2S |
v2 |
71 |
706.3 |
0 |
28 |
0 |
0 |
2400 |
| SLEEK |
default |
73 |
693.2 |
9 |
17 |
0 |
0 |
2400 |
| Songbird |
v2 |
60 |
300.5 |
0 |
18 |
0 |
21 |
2400 |
| SPEN |
shlid |
3 |
0.1 |
2 |
0 |
0 |
94 |
600 |
Round 2: July 9th, FINAL
- Version: SLSAT (id 1137)
- Configuration: quiet
- Pre-processor: SL-CYCLIST (id 437)
- Job Id: 29706
- Page: StarExec
- Comments: run with 600 sec of timeout and 4GB, 0 ressourced out, 90/99 solved
Round 1: July 8th
- Version: SLSAT (id 1137)
- Configuration: default
- Pre-processor: SL-CYCLIST (id 437)
- Job Id: 29572
- Page: StarExec
- Comments: run with 120 sec of timeout and 1 GB, 0 ressourced out, 90 solved
Round 3: July 11th, FINAL
- Version: Harrsh-inc (id 20573?)
- Configuration: harrshdefault
- Pre-processor: none
- Job Id: 29922
- Page: StarExec
- Comments: run with 2400 sec of timeout and 4GB
Round 2: July 9th
- Version: Harrsh (id 20535)
- Configuration: harrshdefault
- Pre-processor: none
- Job Id: 29707
- Page: StarExec
- Comments: run with 600 sec of timeout and 4GB, 0 ressourced out, 69/99 solved, contact asks to re-run with new version
Round 1: July 8th, absent
Round 4: July 11th, FINAL
- Version: S2S v2 (id )
- Configuration: default
- Pre-processor: SL-S2S (id 445)
- Job Id: 29923
- 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: 29761
- Page: StarExec
- Comments: run with 2400 sec of timeout and 4 GB, 28 ressourced out, contact asks to re-run with new version
Round 2: July 9th
- Version: S2S (id 20562)
- Configuration: default
- Pre-processor: SL-S2S (id 445)
- Job Id: 29741
- Page: StarExec
- Comments: run with 600 sec of timeout and 4 GB, 28 problems ressourced out
Round 1: July 8th, absent
Round 4: July 11th, FINAL
- Version: SLEEK (id 20564)
- Configuration: default
- Pre-processors: SL-SLEEK (id 438)
- Job Id: 29924
- Page: StarExec
- Comments: run with 3600 sec of timeout and 4 GB
Round 3: July 10th
- Version: SLEEK (id 20564)
- Configuration: default
- Pre-processors: SL-SLEEK (id 438)
- Job Id: 29763
- Page: StarExec
- Comments: run with 2400 sec of timeout and 4 GB, 17 problems ressourced out
Round 2: July 9th
- Version: SLEEK (id 20432 deleted)
- Configuration: default
- Pre-processors: SL-SLEEK (id 438)
- Job Id: 29709
- Page: StarExec
- Comments: run with 600 sec of timeout and 4 GB, 17/99 ressourced out
Round 1: July 8th
- Version: SLEEK (id 20432)
- Configuration: default
- Pre-processor: SL-SLEEK (id 438)
- Job Id: 29568
- Page: StarExec
- Comments: run with 120 sec of timeout and 1 GB, 18/99 ressourced out, 90 solved
Songbird
Round 4: July 11th, FINAL
- Version: Songbird v2 (id )
- Configuration: songbird.sh
- Pre-processor: SL-SONGBIRD (id 440)
- Job Id: 29925
- Page: StarExec
- Comments: run with 2400 sec of timeout and 4 GB
Round 3: July 10th
- Version: Songbird (id 20545)
- Configuration: songbird.sh
- Pre-processor: SL-SONGBIRD (id 440)
- Job Id: 29742
- Page: StarExec
- Comments: run with 2400 sec of timeout and 4 GB, 36 problems ressourced out, contact asks to re-run with new version
Round 2: July 9th
- Version: Songbird (id 20545)
- Configuration: songbird.sh
- Pre-processor: SL-SONGBIRD (id 440)
- Job Id: 29710
- Page: StarExec
- Comments: run with 600 sec of timeout and 4 GB, 36/99 ressourced out
Round 1: July 8th
- Version: Songbird (deleted)
- Configuration: deleted
- Pre-processor: SL-SONGBIRD (id 440)
- Job Id: 29575
- Page: StarExec
- Comments: run with 120 sec of timeout and 1 GB, problem with
execution path
SPEN
Round 2: July 9th, FINAL
- Version: SPEN (id 20561)
- Configuration: qfshlid
- Pre-processor: SL-SPEN
- Job Id: 29743
- Page: StarExec
- Comments: run with 600 sec of timeout and 4 GB, 0 ressourced out,
3/99 solved
Author: Mihaela Sighireanu
Created: 2018-07-14 Sat 15:27
Validate