|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.50
|
16.35
|
|||
|
11.92
|
15.27
|
|||
|
0.68
|
16.80
|
|||
|
11.82
|
16.58
|
|||
|
0.47
|
16.91
|
|||
|
11.83
|
15.91
|
|||
|
0.72
|
10.66
|
|||
|
12.02
|
16.76
|
|||
|
2.24
|
16.90
|
|||
|
12.57
|
16.85
|
|||
|
0.74
|
18.38
|
|||
|
11.58
|
16.86
|
|||
|
1.35
|
10.44
|
|||
|
12.17
|
17.18
|
|||
|
1.21
|
17.11
|
|||
|
12.98
|
18.29
|
|||
|
1.25
|
17.20
|
|||
|
11.98
|
17.93
|
|||
|
1.39
|
17.85
|
|||
|
12.00
|
17.60
|
|||
|
1.60
|
18.48
|
|||
|
11.93
|
17.45
|
|||
|
1.90
|
17.64
|
|||
|
12.17
|
10.57
|
|||
|
1.31
|
17.11
|