|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.51
|
15.61
|
|||
|
0.04
|
16.19
|
|||
|
2.60
|
7.63
|
|||
|
0.68
|
16.20
|
|||
|
1.63
|
15.84
|
|||
|
0.37
|
13.65
|
|||
|
11.71
|
14.27
|
|||
|
1.02
|
9.52
|
|||
|
12.56
|
20.49
|
|||
|
8.65
|
15.43
|
|||
|
12.08
|
14.34
|
|||
|
11.83
|
13.74
|
|||
|
13.62
|
15.30
|
|||
|
2.58
|
9.91
|
|||
|
0.46
|
15.50
|
|||
|
0.03
|
0.01
|
|||
|
0.78
|
18.43
|
|||
|
1.30
|
10.80
|
|||
|
0.02
|
0.01
|
|||
|
0.38
|
15.23
|
|||
|
0.36
|
14.77
|
|||
|
0.02
|
0.01
|
|||
|
0.03
|
0.01
|
|||
|
0.04
|
0.01
|
|||
|
0.04
|
0.01
|