res-20191208T004717-ef07f4f9-05e1-4d89-935b-bb136ea4ecb2.sqlite

Summary

provers
n_results
1
uuid
ef07f4f9-05e1-4d89-935b-bb136ea4ecb2
dirs
//home/simon/workspace/sidekick/tests/sat/v3l30062.cvc.smt2
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
unknown
0
timeout
0
memory
0
total
1
total_time
0.010s

summary

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