|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.78
|
11.02
|
|||
|
1.03
|
9.56
|
|||
|
0.80
|
1.79
|
|||
|
0.65
|
8.59
|
|||
|
0.48
|
9.72
|
|||
|
0.51
|
1.79
|
|||
|
0.52
|
7.79
|
|||
|
0.68
|
1.36
|
|||
|
0.39
|
7.84
|
|||
|
0.17
|
2.08
|
|||
|
0.16
|
2.93
|
|||
|
0.15
|
0.71
|
|||
|
0.75
|
4.80
|
|||
|
0.67
|
6.31
|
|||
|
0.52
|
4.84
|
|||
|
0.12
|
1.04
|
|||
|
0.37
|
3.05
|
|||
|
0.27
|
3.43
|
|||
|
0.39
|
2.74
|
|||
|
0.97
|
12.27
|
|||
|
0.09
|
1.35
|
|||
|
0.09
|
0.83
|
|||
|
0.61
|
1.17
|
|||
|
1.20
|
12.70
|
|||
|
0.49
|
0.97
|