root
show
res-20191228T142548-b66098f0-f79b-4e90-a4c8-794322702d7f.sqlite
show individual results
download as csv
show table of results
Summary
provers
z3
sidekick-dev
n_results
13976
bad
33
uuid
b66098f0-f79b-4e90-a4c8-794322702d7f
dirs
//home/simon/workspace/sidekick/tests/QF_DT/20172804-Barrett/barrett-jsat
timestamp
2019/12, Sat the 28, at 14h25:48 GMT
total_wall_time
none
stats
provers
z3
sidekick-dev
sat
3232
2275
unsat
3762
2123
sat+unsat
6994
4398
errors
1
307
valid_proof
0
0
invalid_proof
0
0
unknown
0
1648
timeout
0
628
memory
0
0
total
6995
6981
total_time
3m33.8s
1m10s
summary
download as csv
see detailed results
provers
z3
sidekick-dev
improved
4
1
ok
6986
4370
disappoint
1
2580
bad
4
29
valid proof
0
0
invalid proof
0
0
errors
1
307
total
6995
6981
comparisons
better:
z3
sidekick-dev
z3
×
same: 4396
better: 1
worse: 2583
sidekick-dev
same: 4396
better: 2583
worse: 1
×