|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.15
|
2.55
|
|||
|
0.31
|
7.96
|
|||
|
0.34
|
4.71
|
|||
|
1.31
|
11.01
|
|||
|
0.05
|
4.20
|
|||
|
0.67
|
4.10
|
|||
|
0.10
|
4.54
|
|||
|
0.05
|
3.86
|
|||
|
0.08
|
1.91
|
|||
|
0.55
|
2.34
|
|||
|
0.14
|
5.17
|
|||
|
0.08
|
3.36
|
|||
|
0.14
|
3.14
|
|||
|
0.19
|
3.70
|
|||
|
0.08
|
2.31
|
|||
|
0.38
|
5.44
|
|||
|
0.97
|
8.63
|
|||
|
2.07
|
5.97
|
|||
|
0.05
|
3.09
|
|||
|
0.05
|
4.50
|
|||
|
0.05
|
5.54
|
|||
|
0.06
|
6.70
|
|||
|
0.07
|
7.22
|
|||
|
0.11
|
8.27
|
|||
|
0.13
|
10.77
|