|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
6.13
|
14.01
|
|||
|
11.42
|
7.34
|
|||
|
12.63
|
14.25
|
|||
|
12.14
|
14.63
|
|||
|
13.32
|
16.26
|
|||
|
13.33
|
16.32
|
|||
|
12.55
|
14.13
|
|||
|
13.36
|
16.25
|
|||
|
14.37
|
17.88
|
|||
|
12.17
|
14.80
|
|||
|
13.02
|
13.67
|
|||
|
4.04
|
17.36
|
|||
|
11.81
|
13.77
|
|||
|
9.20
|
10.19
|
|||
|
5.88
|
13.90
|
|||
|
13.19
|
14.34
|
|||
|
12.85
|
13.94
|
|||
|
12.82
|
14.38
|
|||
|
2.11
|
14.13
|
|||
|
3.34
|
14.40
|
|||
|
12.49
|
14.13
|
|||
|
13.30
|
13.85
|
|||
|
11.65
|
8.74
|
|||
|
12.10
|
14.13
|
|||
|
12.40
|
14.32
|