|
provers
|
|
|||
|
n_results
|
52752
|
|||
|
uuid
|
36c72818-46ec-47ae-a9ff-5a5c196a9e0f
|
|||
|
dirs
|
|
|||
|
timestamp
|
2020/02, Mon the 10, at 20h59:26 GMT
|
|||
|
total_wall_time
|
1h50m36s
|
|
provers
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
|
sat
|
7682
|
3721
|
3680
|
|
unsat
|
9543
|
4670
|
4684
|
|
sat+unsat
|
17225
|
8391
|
8364
|
|
errors
|
|||
|
valid_proof
|
0
|
0
|
0
|
|
invalid_proof
|
0
|
0
|
0
|
|
unknown
|
0
|
435
|
565
|
|
timeout
|
|||
|
memory
|
0
|
0
|
0
|
|
total
|
17584
|
17584
|
17584
|
|
total_time
|
4h42m4.4s
|
14h27m11.1s
|
14h38m4.3s
|
|
total_time_solved
|
1h35m26.4s
|
5h1m28.7s
|
4h59m46.8s
|
|
better:
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
||||||
|
z3
|
×
|
|
|
||||||
|
mc2-nogc-dev
|
|
×
|
|
||||||
|
mc2-dev
|
|
|
×
|