res-20191208T004717-ef07f4f9-05e1-4d89-935b-bb136ea4ecb2.sqlite
Summary
provers | ||
n_results | 1 | |
uuid | ef07f4f9-05e1-4d89-935b-bb136ea4ecb2 | |
dirs |
| |
timestamp | 2019/12, Sun the 08, at 0h47:17 GMT | |
total_wall_time | 0.050s |
stats
provers | smtlib-read-status |
sat | |
unsat | 0 |
sat+unsat | 1 |
errors | 0 |
valid_proof | 0 |
invalid_proof | 0 |
unknown | 0 |
timeout | 0 |
memory | 0 |
total | 1 |
total_time | 0.010s |
summary
download as csvsee detailed resultsprovers | smtlib-read-status |
improved | 0 |
ok | |
disappoint | 0 |
bad | 0 |
valid proof | 0 |
invalid proof | 0 |
errors | 0 |
total | 1 |