provers
|
|
||
n_results
|
16000
|
||
bad
|
1
|
||
uuid
|
61c1d2d9-01be-4762-a545-63f0e5cae5ac
|
||
dirs
|
|
||
timestamp
|
2021/03, Thu the 18, at 15h39:50 GMT
|
||
total_wall_time
|
2m29.2s
|
provers
|
z3
|
sidekick-dev
|
sat
|
3578
|
3577
|
unsat
|
4422
|
4423
|
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
|
3m38.2s
|
1m48s
|
better:
|
z3
|
sidekick-dev
|
|||
z3
|
×
|
|
|||
sidekick-dev
|
|
×
|