res-20200115T164744-449c5aab-df0b-4c2b-8ccc-e2d1b435f640.sqlite

show individual results
download as csv
show table of results

Summary

provers
n_results
120
uuid
449c5aab-df0b-4c2b-8ccc-e2d1b435f640
dirs
//home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/DAT
timestamp
2020/01, Wed the 15, at 16h47:44 GMT
total_wall_time
none

stats

provers
zip-dev-check
zip-dev
sat
0
0
unsat
0
0
sat+unsat
0
0
errors
valid_proof
0
0
invalid_proof
0
0
unknown
0
0
timeout
0
0
memory
0
0
total
60
60
total_time
0.000s
0.000s

summary

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

comparisons

better:
zip-dev-check
zip-dev
zip-dev-check
×
same: 0
better: 0
worse: 0
zip-dev
same: 0
better: 0
worse: 0
×