|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
3.29
|
14.11
|
|||
|
12.32
|
14.19
|
|||
|
13.06
|
14.66
|
|||
|
12.25
|
14.93
|
|||
|
12.74
|
15.14
|
|||
|
12.44
|
13.83
|
|||
|
13.30
|
14.98
|
|||
|
12.79
|
13.95
|
|||
|
13.46
|
17.55
|
|||
|
12.95
|
14.81
|
|||
|
3.39
|
14.39
|
|||
|
12.62
|
14.20
|
|||
|
13.98
|
15.03
|
|||
|
1.93
|
13.91
|
|||
|
14.40
|
17.85
|
|||
|
13.07
|
14.29
|
|||
|
12.19
|
13.84
|
|||
|
12.60
|
17.04
|
|||
|
12.89
|
17.61
|
|||
|
12.56
|
14.76
|
|||
|
13.41
|
16.74
|
|||
|
16.70
|
22.44
|
|||
|
12.59
|
16.38
|
|||
|
14.23
|
15.74
|
|||
|
13.05
|
17.39
|