|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
2.12
|
13.68
|
|||
|
12.84
|
14.46
|
|||
|
13.71
|
14.18
|
|||
|
11.89
|
14.51
|
|||
|
12.22
|
14.76
|
|||
|
12.62
|
13.68
|
|||
|
13.17
|
15.37
|
|||
|
12.23
|
13.49
|
|||
|
13.52
|
14.14
|
|||
|
12.37
|
14.57
|
|||
|
3.38
|
14.44
|
|||
|
11.96
|
14.43
|
|||
|
14.87
|
14.09
|
|||
|
1.91
|
14.59
|
|||
|
12.74
|
10.27
|
|||
|
13.29
|
14.13
|
|||
|
12.56
|
14.47
|
|||
|
13.19
|
15.20
|
|||
|
13.09
|
15.47
|
|||
|
12.77
|
15.00
|
|||
|
14.18
|
15.82
|
|||
|
16.66
|
18.55
|
|||
|
12.89
|
15.49
|
|||
|
14.06
|
18.13
|
|||
|
13.22
|
18.26
|