res-20191208T010640-bd6ac999-af38-446a-a39f-6d470efd0c44.sqlite
Summary
provers | ||
n_results | 1 | |
uuid | bd6ac999-af38-446a-a39f-6d470efd0c44 | |
dirs |
| |
timestamp | 2019/12, Sun the 08, at 1h06:40 GMT | |
total_wall_time | 0.199s |
stats
provers | minisat |
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.053s |
summary
download as csvsee detailed resultsprovers | minisat |
improved | 0 |
ok | |
disappoint | 0 |
bad | 0 |
valid proof | 0 |
invalid proof | 0 |
errors | 0 |
total | 1 |