res-20200115T234140-9a79fd4c-97d9-43f4-827d-0d9dea950bde.sqlite

Summary

provers
n_results
41292
bad
24
uuid
9a79fd4c-97d9-43f4-827d-0d9dea950bde
dirs
//home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems
timestamp
2020/01, Wed the 15, at 23h41:40 GMT
total_wall_time
3h46m11.9s

stats

provers
zip-dev-check
zip-dev
sat
534
534
unsat
6433
6432
sat+unsat
6967
6966
errors
valid_proof
0
0
invalid_proof
0
0
unknown
481
479
timeout
memory
0
0
total
20646
20646
total_time
2h12m42.2s
1h35m45.0s

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: 6944
better: 22
worse: 23
zip-dev
same: 6944
better: 23
worse: 22
×