|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
0.91
|
11.61
|
|||
|
0.97
|
11.58
|
|||
|
2.01
|
11.52
|
|||
|
2.29
|
11.80
|
|||
|
0.69
|
11.55
|
|||
|
0.67
|
9.24
|
|||
|
0.69
|
4.78
|
|||
|
0.62
|
11.86
|
|||
|
0.65
|
4.41
|
|||
|
0.73
|
5.32
|
|||
|
0.80
|
5.23
|
|||
|
0.81
|
6.04
|
|||
|
0.89
|
0.63
|
|||
|
0.84
|
0.78
|
|||
|
0.70
|
5.05
|
|||
|
0.60
|
5.43
|
|||
|
0.70
|
5.38
|
|||
|
0.63
|
8.20
|
|||
|
0.78
|
11.40
|
|||
|
0.64
|
10.71
|
|||
|
1.01
|
6.75
|
|||
|
0.85
|
11.56
|
|||
|
0.83
|
1.13
|
|||
|
0.75
|
1.13
|
|||
|
0.78
|
11.46
|