res-20191210T011035-2e62881b-66a9-4319-b439-1e31f4d0c3fd.sqlite
Summary
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 |
stats
provers |
sat |
unsat |
sat+unsat |
errors |
valid_proof |
invalid_proof |
unknown |
timeout |
memory |
total |
total_time |
summary
download as csvsee detailed resultsprovers |
improved |
ok |
disappoint |
bad |
valid proof |
invalid proof |
errors |
total |