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 | |
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 |