|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.78
|
4.70
|
|||
|
1.68
|
12.70
|
|||
|
1.05
|
10.83
|
|||
|
1.47
|
10.23
|
|||
|
0.36
|
7.22
|
|||
|
1.51
|
10.48
|
|||
|
0.63
|
10.85
|
|||
|
0.86
|
12.45
|
|||
|
0.62
|
12.29
|
|||
|
0.13
|
3.99
|
|||
|
0.14
|
4.44
|
|||
|
0.96
|
12.04
|
|||
|
0.81
|
8.39
|
|||
|
1.09
|
12.25
|
|||
|
1.32
|
10.63
|
|||
|
0.52
|
10.29
|
|||
|
0.80
|
10.41
|
|||
|
1.03
|
12.93
|
|||
|
0.66
|
10.63
|
|||
|
0.93
|
12.00
|
|||
|
0.16
|
0.74
|
|||
|
1.19
|
13.80
|
|||
|
0.75
|
12.03
|
|||
|
0.62
|
12.54
|
|||
|
0.94
|
10.31
|