|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.10
|
12.54
|
|||
|
0.09
|
8.73
|
|||
|
11.59
|
12.51
|
|||
|
3.10
|
12.37
|
|||
|
0.35
|
13.20
|
|||
|
0.06
|
1.91
|
|||
|
0.47
|
12.71
|
|||
|
0.10
|
12.75
|
|||
|
12.29
|
10.28
|
|||
|
1.87
|
9.98
|
|||
|
0.28
|
9.89
|
|||
|
0.06
|
5.61
|
|||
|
0.31
|
5.11
|
|||
|
0.08
|
12.58
|
|||
|
12.93
|
11.86
|
|||
|
1.11
|
12.74
|
|||
|
0.31
|
11.80
|
|||
|
0.09
|
13.33
|
|||
|
0.46
|
12.77
|
|||
|
0.13
|
12.42
|
|||
|
12.89
|
13.35
|
|||
|
2.79
|
12.50
|
|||
|
1.68
|
13.28
|
|||
|
0.09
|
10.67
|
|||
|
0.63
|
10.18
|