res-20220112T143715-921dc3ad-f9fa-493d-8a08-540eecad9827.sqlite

show individual results
download as csv
show table of results

Summary

provers
n_results
6442
uuid
921dc3ad-f9fa-493d-8a08-540eecad9827
dirs
//home/simon/w/batsat/benchs/basic
timestamp
2022/01, Wed the 12, at 14h37:15 GMT
total_wall_time
8m51.6s

stats

provers
minisat
batsat
sat
2116
2117
unsat
1089
1079
sat+unsat
3205
3196
errors
0
0
valid_proof
0
0
invalid_proof
0
0
unknown
16
25
timeout
0
0
memory
0
0
total
3221
3221
total_time
13m8.3s
13m38.4s

summary

download as csv see detailed results
provers
minisat
batsat
improved
ok
disappoint
0
0
bad
0
0
valid proof
0
0
invalid proof
0
0
errors
0
0
total
3221
3221
cactus plot of provers

comparisons

better:
minisat
batsat
minisat
×
same: 3193
better: 3
worse: 12
batsat
same: 3193
better: 12
worse: 3
×