res-20200803T154400-987d6f5d-0c00-4230-ba5b-0aca0e1e2353.sqlite

Summary

provers
n_results
29828
uuid
987d6f5d-0c00-4230-ba5b-0aca0e1e2353
dirs
//home/simon/w/sidekick/tests/QF_UF
timestamp
2020/08, Mon the 03, at 15h44:00 GMT
total_wall_time
3h47m8.4s

stats

provers
z3
sidekick-dev
sidekick
mc2
sat
unsat
sat+unsat
7356
6915
6915
6479
errors
0
0
unknown
0
0
timeout
memory
0
0
0
0
total
7457
7457
7457
7457
total_time
15m44.5s
1h40m10.3s
1h40m32.8s
1h35m4.2s

summary

download as csvsee detailed results
provers
z3
sidekick-dev
sidekick
mc2
improved
ok
0
0
disappoint
0
0
0
0
bad
0
0
0
0
errors
0
0
total
7457
7457
7457
7457
cactus plot of provers

comparisons

better:
z3
sidekick-dev
sidekick
mc2
z3
×
same: 6914
better: 1
worse: 442
same: 6914
better: 1
worse: 442
same: 6397
better: 82
worse: 959
sidekick-dev
same: 6914
better: 442
worse: 1
×
same: 6912
better: 3
worse: 3
same: 6322
better: 157
worse: 593
sidekick
same: 6914
better: 442
worse: 1
same: 6912
better: 3
worse: 3
×
same: 6320
better: 159
worse: 595
mc2
same: 6397
better: 959
worse: 82
same: 6322
better: 593
worse: 157
same: 6320
better: 595
worse: 159
×