res-20191208T004735-f70b3cc5-5637-48ff-88db-fdf4d3231529.sqlite

show individual results
download as csv
show table of results

Summary

provers
n_results
1
uuid
f70b3cc5-5637-48ff-88db-fdf4d3231529
dirs
//home/simon/workspace/logitest/../sidekick/tests/sat/v3l30062.cvc.smt2
timestamp
2019/12, Sun the 08, at 0h47:35 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.012s

summary

download as csvsee detailed results
provers
smtlib-read-status
improved
0
ok
disappoint
0
bad
0
valid proof
0
invalid proof
0
errors
0
total
1
cactus plot of provers