|
problem
|
z3
|
sidekick-dev
|
z3.time
|
sidekick-dev.time
|
|
2.81
|
15.61
|
|||
|
11.67
|
12.47
|
|||
|
11.29
|
11.31
|
|||
|
12.75
|
12.45
|
|||
|
2.36
|
14.68
|
|||
|
2.49
|
12.82
|
|||
|
11.86
|
11.65
|
|||
|
5.33
|
12.00
|
|||
|
11.78
|
12.16
|
|||
|
1.29
|
9.18
|
|||
|
2.11
|
11.41
|
|||
|
12.74
|
12.33
|
|||
|
13.51
|
12.73
|
|||
|
11.36
|
11.44
|
|||
|
11.49
|
11.65
|
|||
|
11.44
|
11.61
|
|||
|
11.42
|
11.51
|
|||
|
14.74
|
14.95
|
|||
|
12.00
|
12.01
|
|||
|
6.16
|
12.20
|
|||
|
5.74
|
11.37
|
|||
|
1.42
|
11.85
|
|||
|
10.06
|
13.78
|
|||
|
12.69
|
13.11
|
|||
|
11.39
|
11.30
|