|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
1.15
|
16.45
|
|||
|
12.56
|
13.76
|
|||
|
12.08
|
9.49
|
|||
|
13.43
|
10.88
|
|||
|
1.63
|
9.05
|
|||
|
3.36
|
14.38
|
|||
|
12.28
|
14.75
|
|||
|
4.18
|
13.50
|
|||
|
12.91
|
15.15
|
|||
|
1.29
|
9.14
|
|||
|
3.14
|
14.43
|
|||
|
12.81
|
13.45
|
|||
|
12.21
|
10.12
|
|||
|
14.85
|
10.69
|
|||
|
12.48
|
9.69
|
|||
|
12.49
|
14.42
|
|||
|
14.02
|
13.76
|
|||
|
12.79
|
13.62
|
|||
|
12.65
|
14.97
|
|||
|
7.65
|
13.65
|
|||
|
5.78
|
15.22
|
|||
|
3.08
|
14.86
|
|||
|
5.85
|
14.62
|
|||
|
12.84
|
14.93
|
|||
|
13.58
|
14.14
|