|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
11.50
|
11.39
|
|||
|
11.60
|
11.65
|
|||
|
11.87
|
12.43
|
|||
|
12.12
|
11.81
|
|||
|
12.96
|
12.80
|
|||
|
11.48
|
11.65
|
|||
|
11.97
|
11.98
|
|||
|
13.76
|
12.98
|
|||
|
11.59
|
11.86
|
|||
|
11.60
|
11.77
|
|||
|
7.97
|
12.08
|
|||
|
12.49
|
12.23
|
|||
|
11.56
|
11.73
|
|||
|
11.45
|
11.51
|
|||
|
9.08
|
12.18
|
|||
|
11.47
|
11.42
|
|||
|
12.02
|
11.94
|
|||
|
12.84
|
11.98
|
|||
|
0.26
|
11.66
|
|||
|
2.24
|
19.11
|
|||
|
0.14
|
11.79
|
|||
|
1.50
|
11.59
|
|||
|
1.39
|
11.88
|
|||
|
7.08
|
9.77
|
|||
|
0.59
|
8.30
|