|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.09
|
0.98
|
|||
|
0.06
|
1.08
|
|||
|
0.60
|
9.17
|
|||
|
0.23
|
2.79
|
|||
|
1.00
|
12.07
|
|||
|
0.96
|
12.18
|
|||
|
0.20
|
3.96
|
|||
|
0.60
|
9.82
|
|||
|
0.34
|
9.99
|
|||
|
0.22
|
4.29
|
|||
|
1.01
|
8.58
|
|||
|
0.21
|
2.53
|
|||
|
0.20
|
2.30
|
|||
|
0.55
|
4.76
|
|||
|
0.12
|
2.99
|
|||
|
0.46
|
2.48
|
|||
|
0.12
|
3.63
|
|||
|
0.19
|
3.53
|
|||
|
0.16
|
2.47
|
|||
|
0.48
|
5.14
|
|||
|
0.38
|
4.58
|
|||
|
0.64
|
7.96
|
|||
|
0.36
|
8.30
|
|||
|
0.82
|
6.97
|
|||
|
0.43
|
2.28
|