problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
1.45
|
20.83
|
|||
0.65
|
0.37
|
|||
1.34
|
1.08
|
|||
0.90
|
0.58
|
|||
0.68
|
0.52
|
|||
0.89
|
0.94
|
|||
2.42
|
2.21
|
|||
0.76
|
0.60
|
|||
0.81
|
0.96
|
|||
0.74
|
16.99
|
|||
0.46
|
19.12
|
|||
1.00
|
28.01
|
|||
0.37
|
22.21
|
|||
0.74
|
15.19
|
|||
0.60
|
17.21
|
|||
0.51
|
15.66
|
|||
1.86
|
22.77
|
|||
0.75
|
21.14
|
|||
1.37
|
20.14
|
|||
0.62
|
19.47
|
|||
0.82
|
19.32
|
|||
0.54
|
16.86
|
|||
0.83
|
21.59
|
|||
0.62
|
17.75
|
|||
1.02
|
13.77
|