|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
7.50
|
0.58
|
|||
|
9.33
|
0.75
|
|||
|
6.03
|
0.51
|
|||
|
6.38
|
1.34
|
|||
|
12.69
|
2.58
|
|||
|
12.03
|
2.99
|
|||
|
11.83
|
3.11
|
|||
|
12.12
|
18.06
|
|||
|
12.16
|
23.13
|
|||
|
12.63
|
23.07
|
|||
|
13.36
|
22.08
|
|||
|
11.97
|
22.06
|
|||
|
11.99
|
18.70
|
|||
|
12.18
|
21.34
|
|||
|
13.18
|
25.25
|
|||
|
12.00
|
27.74
|
|||
|
11.42
|
32.80
|
|||
|
11.71
|
30.11
|
|||
|
13.19
|
29.64
|
|||
|
13.09
|
28.02
|
|||
|
16.59
|
31.50
|
|||
|
2.34
|
2.30
|
|||
|
1.62
|
0.88
|
|||
|
2.69
|
1.65
|
|||
|
11.49
|
10.94
|