|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
2.98
|
5.77
|
|||
|
12.52
|
10.88
|
|||
|
1.63
|
5.60
|
|||
|
12.01
|
10.15
|
|||
|
11.62
|
14.07
|
|||
|
13.04
|
14.92
|
|||
|
10.91
|
14.72
|
|||
|
12.14
|
13.54
|
|||
|
3.53
|
14.57
|
|||
|
11.95
|
14.02
|
|||
|
13.45
|
15.08
|
|||
|
12.02
|
14.66
|
|||
|
12.73
|
13.95
|
|||
|
14.85
|
14.68
|
|||
|
13.74
|
14.93
|
|||
|
12.02
|
14.57
|
|||
|
12.36
|
14.01
|
|||
|
12.71
|
14.45
|
|||
|
12.75
|
16.11
|
|||
|
16.02
|
10.28
|
|||
|
15.84
|
18.83
|
|||
|
13.50
|
14.35
|
|||
|
15.22
|
14.93
|
|||
|
16.20
|
17.33
|
|||
|
15.15
|
14.79
|