|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
12.37
|
10.68
|
|||
|
11.33
|
12.45
|
|||
|
11.45
|
16.03
|
|||
|
3.71
|
7.69
|
|||
|
12.38
|
17.56
|
|||
|
15.16
|
12.91
|
|||
|
13.54
|
11.42
|
|||
|
11.33
|
13.66
|
|||
|
11.42
|
13.94
|
|||
|
12.23
|
17.61
|
|||
|
12.34
|
10.63
|
|||
|
12.09
|
10.83
|
|||
|
11.41
|
10.45
|
|||
|
11.61
|
13.00
|
|||
|
11.29
|
10.18
|
|||
|
12.07
|
9.86
|
|||
|
11.41
|
10.21
|
|||
|
11.38
|
9.38
|
|||
|
11.65
|
14.97
|
|||
|
11.76
|
14.14
|
|||
|
11.68
|
13.39
|
|||
|
12.19
|
15.40
|
|||
|
11.55
|
13.89
|
|||
|
11.71
|
16.64
|
|||
|
12.21
|
15.10
|