res-20220104T181924-96e3bcba-64f4-4d56-b591-a95ffa8973c4.sqlite

show individual results
download as csv
show table of results

Summary

provers
n_results
2568
uuid
96e3bcba-64f4-4d56-b591-a95ffa8973c4
dirs
//home/simon/w/sidekick2/tests/QF_UFLRA
timestamp
2022/01, Tue the 04, at 18h19:24 GMT
total_wall_time
43m27.4s

stats

provers
z3
sidekick-dev
sat
732
374
unsat
496
492
sat+unsat
1228
866
errors
0
valid_proof
0
0
invalid_proof
0
0
unknown
0
54
timeout
memory
0
0
total
1284
1284
total_time
5m18.9s
10m54.6s

summary

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

comparisons

better:
z3
sidekick-dev
z3
×
same: 860
better: 6
worse: 368
sidekick-dev
same: 860
better: 368
worse: 6
×