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
3103
3030
3028
2841
unsat
4253
3885
3887
3638
sat+unsat
7356
6915
6915
6479
errors
0
0
valid_proof
0
0
0
0
invalid_proof
0
0
0
0
unknown
0
106
111
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 csv see detailed results
provers
z3
sidekick-dev
sidekick
mc2
improved
ok
0
0
disappoint
0
0
0
0
bad
0
0
0
0
valid proof
0
0
0
0
invalid proof
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
×