|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
8.02
|
11.89
|
|||
|
4.08
|
12.25
|
|||
|
3.34
|
12.17
|
|||
|
0.63
|
11.53
|
|||
|
0.28
|
12.69
|
|||
|
0.21
|
11.90
|
|||
|
0.23
|
12.69
|
|||
|
0.29
|
12.48
|
|||
|
0.36
|
11.76
|
|||
|
0.30
|
12.57
|
|||
|
0.46
|
11.54
|
|||
|
0.29
|
11.77
|
|||
|
0.44
|
12.61
|
|||
|
0.26
|
11.69
|
|||
|
0.39
|
11.58
|
|||
|
0.31
|
11.93
|
|||
|
5.42
|
13.05
|
|||
|
0.65
|
12.45
|
|||
|
3.92
|
10.38
|
|||
|
4.15
|
10.46
|
|||
|
4.52
|
11.25
|
|||
|
4.14
|
13.07
|
|||
|
7.25
|
13.40
|
|||
|
10.49
|
13.24
|
|||
|
4.52
|
12.59
|