|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
11.68
|
14.96
|
|||
|
3.18
|
0.92
|
|||
|
3.70
|
0.96
|
|||
|
2.62
|
1.07
|
|||
|
4.14
|
15.30
|
|||
|
11.43
|
6.98
|
|||
|
11.30
|
5.36
|
|||
|
11.40
|
10.24
|
|||
|
11.40
|
15.13
|
|||
|
11.42
|
9.04
|
|||
|
11.36
|
16.39
|
|||
|
0.03
|
0.47
|
|||
|
0.02
|
0.87
|
|||
|
0.02
|
1.16
|
|||
|
0.06
|
13.43
|
|||
|
0.03
|
1.32
|
|||
|
0.02
|
0.11
|
|||
|
12.54
|
22.38
|
|||
|
11.59
|
24.59
|
|||
|
12.05
|
23.04
|
|||
|
11.69
|
25.55
|
|||
|
13.01
|
18.73
|
|||
|
11.61
|
22.22
|
|||
|
4.24
|
14.78
|
|||
|
7.60
|
15.39
|