res-20200207T152727-26a00cbe-5029-4161-b2f6-5600516a52c1.sqlite
Summary
|
provers
|
|
||
|
n_results
|
4
|
||
|
uuid
|
26a00cbe-5029-4161-b2f6-5600516a52c1
|
||
|
dirs
|
|
||
|
timestamp
|
2020/02, Fri the 07, at 15h27:27 GMT
|
||
|
total_wall_time
|
none
|
stats
|
provers
|
zip-dev-check
|
zip-dev
|
|
sat
|
2
|
2
|
|
unsat
|
0
|
0
|
|
sat+unsat
|
2
|
2
|
|
errors
|
0
|
0
|
|
valid_proof
|
0
|
0
|
|
invalid_proof
|
0
|
0
|
|
unknown
|
0
|
0
|
|
timeout
|
0
|
0
|
|
memory
|
0
|
0
|
|
total
|
2
|
2
|
|
total_time
|
0.043s
|
0.044s
|
summary
download as csv see detailed resultscomparisons
|
better:
|
zip-dev-check
|
zip-dev
|
|||
|
zip-dev-check
|
×
|
|
|||
|
zip-dev
|
|
×
|