res-20200728T202850-cfc2bc5b-16d2-45d9-b310-146d9e9ce864.sqlite
Summary
|
provers
|
|
||
|
n_results
|
16000
|
||
|
uuid
|
cfc2bc5b-16d2-45d9-b310-146d9e9ce864
|
||
|
dirs
|
|
||
|
timestamp
|
2020/07, Tue the 28, at 20h28:50 GMT
|
||
|
total_wall_time
|
2m32.9s
|
stats
|
provers
|
z3
|
sidekick-dev
|
|
sat
|
3578
|
3578
|
|
unsat
|
4422
|
4422
|
|
sat+unsat
|
8000
|
8000
|
|
errors
|
0
|
0
|
|
valid_proof
|
0
|
0
|
|
invalid_proof
|
0
|
0
|
|
unknown
|
0
|
0
|
|
timeout
|
0
|
0
|
|
memory
|
0
|
0
|
|
total
|
8000
|
8000
|
|
total_time
|
3m34.8s
|
1m41.9s
|
summary
download as csv see detailed resultscomparisons
|
better:
|
z3
|
sidekick-dev
|
|||
|
z3
|
×
|
|
|||
|
sidekick-dev
|
|
×
|