provers
|
|
n_results
|
0
|
uuid
|
2e62881b-66a9-4319-b439-1e31f4d0c3fd
|
dirs
|
|
timestamp
|
2019/12, Tue the 10, at 1h10:35 GMT
|
total_wall_time
|
0.030s
|
provers
|
sat
|
unsat
|
sat+unsat
|
errors
|
valid_proof
|
invalid_proof
|
unknown
|
timeout
|
memory
|
total
|
total_time
|
provers
|
improved
|
ok
|
disappoint
|
bad
|
valid proof
|
invalid proof
|
errors
|
total
|