res-20191208T000426-e6fca7a3-5031-4315-b41e-da383890988a.sqlite

show individual results
download as csv
show table of results

Summary

provers
n_results
15
uuid
e6fca7a3-5031-4315-b41e-da383890988a
dirs
//home/simon/workspace/sidekick/tests/sat
timestamp
2019/12, Sun the 08, at 0h04:26 GMT
total_wall_time
1.4s

stats

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

summary

download as csvsee detailed results
provers
sidekick-dev
improved
0
ok
disappoint
0
bad
0
valid proof
0
invalid proof
0
errors
0
total
15
cactus plot of provers