provers
|
|
|
n_results
|
15
|
|
uuid
|
e6fca7a3-5031-4315-b41e-da383890988a
|
|
dirs
|
|
|
timestamp
|
2019/12, Sun the 08, at 0h04:26 GMT
|
|
total_wall_time
|
1.4s
|
provers
|
sidekick-dev
|
sat
|
15
|
unsat
|
0
|
sat+unsat
|
15
|
errors
|
0
|
valid_proof
|
0
|
invalid_proof
|
0
|
unknown
|
0
|
timeout
|
0
|
memory
|
0
|
total
|
15
|
total_time
|
1.1s
|
provers
|
sidekick-dev
|
improved
|
0
|
ok
|
|
disappoint
|
0
|
bad
|
0
|
valid proof
|
0
|
invalid proof
|
0
|
errors
|
0
|
total
|
15
|