res-20191218T012725-40bdc507-4b92-47bb-8145-205b70152296.sqlite

show individual results
download as csv
show table of results

Summary

provers
n_results
150
bad
8
uuid
40bdc507-4b92-47bb-8145-205b70152296
dirs
//home/simon/workspace/smtlib/QF_DT/20172804-Barrett/barrett-jsat
timestamp
2019/12, Wed the 18, at 1h27:25 GMT
total_wall_time
1m29.6s

stats

provers
z3
sidekick
mc2
sat
20
24
0
unsat
30
7
0
sat+unsat
50
31
0
errors
0
0
valid_proof
0
0
0
invalid_proof
0
0
0
unknown
0
0
0
timeout
0
0
memory
0
0
0
total
50
50
50
total_time
3.2s
1.1s
0.000s

summary

download as csv see detailed results
provers
z3
sidekick
mc2
improved
0
0
0
ok
0
disappoint
0
bad
0
0
valid proof
0
0
0
invalid proof
0
0
0
errors
0
0
total
50
50
50
cactus plot of provers

comparisons

better:
z3
sidekick
mc2
z3
×
same: 31
better: 0
worse: 19
same: 0
better: 0
worse: 50
sidekick
same: 31
better: 19
worse: 0
×
same: 0
better: 0
worse: 31
mc2
same: 0
better: 50
worse: 0
same: 0
better: 31
worse: 0
×