|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
11.97
|
10.80
|
|||
|
0.44
|
15.72
|
|||
|
1.34
|
10.05
|
|||
|
2.04
|
16.86
|
|||
|
11.86
|
16.00
|
|||
|
0.65
|
16.39
|
|||
|
2.48
|
17.04
|
|||
|
1.80
|
16.82
|
|||
|
12.07
|
14.83
|
|||
|
0.80
|
15.30
|
|||
|
1.79
|
17.62
|
|||
|
3.34
|
17.54
|
|||
|
12.18
|
16.35
|
|||
|
0.43
|
17.21
|
|||
|
1.29
|
16.87
|
|||
|
2.51
|
16.61
|
|||
|
12.13
|
16.49
|
|||
|
2.24
|
15.96
|
|||
|
1.99
|
17.44
|
|||
|
3.25
|
17.52
|
|||
|
0.08
|
1.19
|
|||
|
0.08
|
6.70
|
|||
|
0.05
|
11.06
|
|||
|
0.07
|
10.76
|
|||
|
0.12
|
3.94
|