|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
5.17
|
15.43
|
|||
|
11.66
|
8.93
|
|||
|
12.52
|
13.68
|
|||
|
13.10
|
14.60
|
|||
|
13.12
|
14.42
|
|||
|
14.09
|
15.33
|
|||
|
12.43
|
15.06
|
|||
|
12.83
|
15.71
|
|||
|
12.36
|
17.76
|
|||
|
13.36
|
15.02
|
|||
|
13.09
|
15.36
|
|||
|
4.29
|
16.16
|
|||
|
12.10
|
14.37
|
|||
|
6.91
|
14.88
|
|||
|
3.99
|
14.15
|
|||
|
12.55
|
14.79
|
|||
|
13.62
|
14.61
|
|||
|
13.68
|
15.86
|
|||
|
2.78
|
14.50
|
|||
|
3.31
|
15.18
|
|||
|
12.43
|
15.38
|
|||
|
12.63
|
14.18
|
|||
|
11.78
|
8.94
|
|||
|
12.30
|
14.17
|
|||
|
11.99
|
14.09
|