provers
|
|
|||
n_results
|
237
|
|||
bad
|
4
|
|||
uuid
|
abb8dfe0-c6f8-4ff7-bf76-c930614453ae
|
|||
dirs
|
|
|||
timestamp
|
2020/02, Fri the 07, at 15h59:55 GMT
|
|||
total_wall_time
|
3m37.2s
|
better:
|
z3
|
mc2-nogc-dev
|
mc2-dev
|
||||||
z3
|
×
|
|
|
||||||
mc2-nogc-dev
|
|
×
|
|
||||||
mc2-dev
|
|
|
×
|