|
provers
|
|
|||
|
n_results
|
52752
|
|||
|
uuid
|
44eb5da5-1573-49c8-839e-0855a1cba015
|
|||
|
dirs
|
|
|||
|
timestamp
|
2020/02, Thu the 27, at 0h22:56 GMT
|
|||
|
total_wall_time
|
1h54m3.2s
|
|
provers
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
|
sat
|
7680
|
3715
|
3677
|
|
unsat
|
9542
|
4660
|
4680
|
|
sat+unsat
|
17222
|
8375
|
8357
|
|
errors
|
|||
|
valid_proof
|
0
|
0
|
0
|
|
invalid_proof
|
0
|
0
|
0
|
|
unknown
|
0
|
443
|
545
|
|
timeout
|
|||
|
memory
|
0
|
0
|
0
|
|
total
|
17584
|
17584
|
17584
|
|
total_time
|
4h41m3.4s
|
14h31m26.8s
|
14h41m26.2s
|
|
total_time_solved
|
1h34m50.8s
|
4h59m50.8s
|
5h2m18.9s
|
|
better:
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
||||||
|
z3
|
×
|
|
|
||||||
|
mc2-nogc-dev
|
|
×
|
|
||||||
|
mc2-dev
|
|
|
×
|