|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.50
|
2.36
|
|||
|
0.36
|
2.26
|
|||
|
0.33
|
3.73
|
|||
|
0.51
|
1.43
|
|||
|
0.61
|
7.57
|
|||
|
1.05
|
2.24
|
|||
|
0.36
|
3.84
|
|||
|
0.41
|
2.09
|
|||
|
0.30
|
3.09
|
|||
|
0.31
|
5.14
|
|||
|
0.79
|
4.36
|
|||
|
2.39
|
5.35
|
|||
|
0.31
|
2.47
|
|||
|
0.36
|
3.25
|
|||
|
0.96
|
10.38
|
|||
|
0.37
|
8.76
|
|||
|
0.39
|
3.31
|
|||
|
0.65
|
3.64
|
|||
|
0.23
|
1.98
|
|||
|
0.33
|
11.04
|
|||
|
0.35
|
11.41
|
|||
|
3.80
|
6.04
|
|||
|
0.98
|
11.43
|
|||
|
0.41
|
6.97
|
|||
|
0.49
|
4.07
|