res-20200207T152813-a0616608-a693-43ce-a91e-37ba17945e3d.sqlite

show individual results
download as csv
show table of results

Summary

provers
n_results
41292
bad
24
uuid
a0616608-a693-43ce-a91e-37ba17945e3d
dirs
//home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems
timestamp
2020/02, Fri the 07, at 15h28:13 GMT
total_wall_time
3h46m5.4s

stats

provers
zip-dev-check
zip-dev
sat
534
535
unsat
6424
6423
sat+unsat
6958
6958
errors
valid_proof
0
0
invalid_proof
0
0
unknown
480
482
timeout
memory
0
0
total
20646
20646
total_time
2h13m6.6s
1h36m49.9s

summary

download as csv see detailed results
provers
zip-dev-check
zip-dev
improved
ok
disappoint
bad
valid proof
0
0
invalid proof
0
0
errors
total
20646
20646
cactus plot of provers

comparisons

better:
zip-dev-check
zip-dev
zip-dev-check
×
same: 6933
better: 25
worse: 25
zip-dev
same: 6933
better: 25
worse: 25
×